Local quantifier elimination

DOI10.1145/345542.345589zbMath1326.68350OpenAlexW2035631589MaRDI QIDQ3454748

Andreas Dolzmann, Volker Weispfenning

Publication date: 26 November 2015

Published in: Proceedings of the 2000 international symposium on Symbolic and algebraic computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/345542.345589

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (1)

Computing integrals over polynomially defined regions and their boundaries in 2 and 3 dimensions

This page was built for publication: Local quantifier elimination