Nicolas Faroß, Thomas Sturm 0001. Pseudo-complex Quantifier Elimination. In François Boulier, Chenqi Mou, Timur M. Sadykov 0001, Ali Kemal Uncu, editors, Computer Algebra in Scientific Computing - 28th International Workshop, CASC 2026, Bath, UK, August 31 - September 4, 2026, Proceedings. Volume 16844 of Lecture Notes in Computer Science, pages 112-132, Springer, 2026. [doi]
Abstract is missing.