4 papers
Pseudo-Complex Quantifier Elimination
Nicolas FaroÃ, Nicolas Faroß, Thomas Sturm
We describe the design of a quantifier elimination framework for the complex numbers in the language of ordered rings supplemented with symbols for the imaginary unit, real parts,…
Algorithmic Problems in Categories of Partitions
Nicolas FaroÃ, Sebastian Volz
Categories of partitions are combinatorial structures arising from the representation theory of certain compact quantum groups and are linked to classical diagram algebras such as…
On the Number of Real Types of Univariate Polynomials
Nicolas FaroÃ, Nicolas Faroß, Thomas Sturm
The real type of a finite family of univariate polynomials characterizes the combined sign behavior of the polynomials over the real line. We derive an explicit formula for the num…
Projective Versions of Spatial Partition Quantum Groups
Nicolas FaroÃ
We generalize categories of spatial partitions in the sense of Cébron-Weber by introducing new base partitions. This allows us to construct additional examples of free orthogonal…