1 citations · 1 across the 1 of their papers we have counts for
Showing cs.SCShow all
2 papers · 1 filter
cs.SC2024
Semantics of Division for Polynomial Solvers
Christopher W. Brown
How to handle division in systems that compute with logical formulas involving what would otherwise be polynomial constraints over the real numbers is a surprisingly difficult ques…
cs.SC2014★ 1 cited
Model-based construction of Open Non-uniform Cylindrical Algebraic Decompositions
Christopher W. Brown
In this paper we introduce the notion of an Open Non-uniform Cylindrical Algebraic Decomposition (NuCAD), and present an efficient model-based algorithm for constructing an Open Nu…