10 citations · 11 across the 6 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.SC2023★ 1 cited
FMplex: Exploring a Bridge between Fourier-Motzkin and Simplex
Valentin Promies, Jasper Nalbach, Erika Ábrahám +1
In this paper we present a quantifier elimination method for conjunctions of linear real arithmetic constraints. Our algorithm is based on the Fourier-Motzkin variable elimination…
cs.SC2023
Exploiting Strict Constraints in the Cylindrical Algebraic Covering
Philipp Bär, Jasper Nalbach, Erika Ábrahám +1
One of the few available complete methods for checking the satisfiability of sets of polynomial constraints over the reals is the cylindrical algebraic covering (CAlC) method. In t…