TY  - RPRT
TI  - Enhanced CAD-Based Quantifier Elimination With Multiple Equational Constraints
AU  - James H. Davenport
AU  - Matthew England
AU  - Scott McCallum
PY  - 2026
UR  - https://arxiv.org/abs/2604.23873
ID  - 2604.23873
ER  -