1 citations · 1 across the 3 of their papers we have counts for
5 papers
Pseudo-Complex Quantifier Elimination
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ß, 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 q…
Quantum Automorphism Groups of Hypergraphs
Nicolas Faroß
We introduce a quantum automorphism group for hypergraphs, which turns out to generalize the quantum automorphism group of Bichon for classical graphs. Further, we show that our qu…