Towards fast one-block quantifier elimination through generalised critical values

DOI10.1145/3457341.3457348zbMath1499.03027OpenAlexW3085975745MaRDI QIDQ5102039

Jérémy Berthomieu, Andrew Ferguson, Mohab Safey El Din

Publication date: 6 September 2022

Published in: ACM Communications in Computer Algebra (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

This page was built for publication: Towards fast one-block quantifier elimination through generalised critical values