Enhanced CAD-Based Quantifier Elimination With Multiple Equational Constraints

MaRDI QIDQ7245801arXivFDO

Authors James H. Davenport, Matthew England, Scott McCallum

Publication date 2026

Published in arXiv

Mathematics Subject Classification ID

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

arXiv classification

cs.SC

This page was built for publication: Enhanced CAD-Based Quantifier Elimination With Multiple Equational Constraints

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7245801)