{"id":"arxiv/2604.23873","url":"https://arxiv.org/abs/2604.23873","tags":["cs.SC","math.AG"],"score":0,"title":"Enhanced CAD-Based Quantifier Elimination With Multiple Equational Constraints","domain":"cs.SC","source":"arxiv","authors":["James H. Davenport","Matthew England","Scott McCallum"],"reviews":0,"subject":"cs.SC","summary":"This paper presents two enhancements to cylindrical algebraic decomposition (CAD) based quantifier elimination (QE) for cases in which multiple equational constraints are present in the given input formula $φ^*$. The first enhancement provides more detail in the output when there is a conceptual partition of the set of variables of $φ^*$ into parameters and unknowns. In such cases, we describe how to partition the parameter space so that: (1) in each open set of the partition the number $ν$ of associated unknowns is a finite constant or is infinite; and (2) for each such open set for which…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-04-26","reactions":{}}