research
∙
07/31/2023
SMT-Solving Induction Proofs of Inequalities
This paper accompanies a new dataset of non-linear real arithmetic probl...
share
research
∙
02/14/2023
A Poly-algorithmic Approach to Quantifier Elimination
Cylindrical Algebraic Decomposition (CAD) was the first practical means ...
research
∙
02/11/2023
Lazard-style CAD and Equational Constraints
McCallum-style Cylindrical Algebra Decomposition (CAD) is a major improv...
research
∙
02/08/2023
A Unified Approach to Unimodality of Gaussian Polynomials
In 2013, Pak and Panova proved the strict unimodality property of q-bino...
research
∙
10/28/2019