61 citations · 693 across the 58 of their papers we have counts for
5 papers · 1 filter
Levelwise construction of a single cylindrical algebraic cell
Jasper Nalbach, Erika Ábrahám, Philippe Specht +3
Satisfiability Modulo Theories (SMT) solvers check the satisfiability of quantifier-free first-order logic formulas. We consider the theory of non-linear real arithmetic where the…
SC-Square: Future Progress with Machine Learning?
Matthew England
The algorithms employed by our communities are often underspecified, and thus have multiple implementation choices, which do not effect the correctness of the output, but do impact…
SC-Square: Overview to 2021
Matthew England
This extended abstract was written to accompany an invited talk at the 2021 SC-Square Workshop, where the author was asked to give an overview of SC-Square progress to date. The au…
New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis
Tereso del Río, Matthew England
It is well known that the variable ordering can be critical to the efficiency or even tractability of the cylindrical algebraic decomposition (CAD) algorithm. We propose new heuris…
Resultant Tools for Parametric Polynomial Systems with Application to Mathematical Biology
AmirHosein Sadeghimanesh, Matthew England
To decompose the parameter space of a parametric system of polynomial equations with respect to the number of real solutions that the system attains, first the discriminant variety…