3 papers
cs.SC2026
Enhanced CAD-Based Quantifier Elimination With Multiple Equational Constraints
James H. Davenport, Matthew England, Scott McCallum
This paper presents two enhancements to cylindrical algebraic decomposition (CAD) based quantifier elimination (QE) for cases in which multiple equational constraints are present i…
cs.LG2025
Linear Regression in p-adic metric spaces
Gregory D. Baker, Scott McCallum, Dirk Pattinson
Many real-world machine learning problems involve inherently hierarchical data, yet traditional approaches rely on Euclidean metrics that fail to capture the discrete, branching na…
cs.SC2024
Iterated Resultants and Rational Functions in Real Quantifier Elimination
James H. Davenport, Matthew England, Scott McCallum +1
This paper builds and extends on the authors' previous work related to the algorithmic tool, Cylindrical Algebraic Decomposition (CAD), and one of its core applications, Real Quant…