| Publication | Date of Publication | Type |
|---|
Semantics of division for polynomial solvers
Journal of Symbolic Computation | 2025-06-24 | Paper |
| Supporting proving and discovering geometric inequalities in GeoGebra by using Tarski | 2024-12-17 | Paper |
Faithful real-time animation of parametrized (semi-) algebraic expressions via cylindrical algebraic decomposition
ACM Communications in Computer Algebra | 2024-05-13 | Paper |
Levelwise construction of a single cylindrical algebraic cell
Journal of Symbolic Computation | 2024-02-05 | Paper |
Computing with Tarski formulas and semi-algebraic sets in a web browser
Journal of Symbolic Computation | 2023-08-10 | Paper |
Is computer algebra ready for conjecturing and proving geometric inequalities in the classroom?
Mathematics in Computer Science | 2023-06-22 | Paper |
| Enhancements to Lazard's method for cylindrical algebraic decomposition | 2022-12-21 | Paper |
Applying machine learning to heuristics for real polynomial constraint solving
Lecture Notes in Computer Science | 2022-10-13 | Paper |
| Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski | 2022-01-03 | Paper |
Projection and Quantifier Elimination Using Non-uniform Cylindrical Algebraic Decomposition
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
From simplification to a partial theory solver for non-linear real polynomial constraints
Journal of Symbolic Computation | 2020-03-24 | Paper |
| Polynomial constraints and unsat cores in \textsc{Tarski} | 2018-08-17 | Paper |
Constructing a single open cell in a cylindrical algebraic decomposition
Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation | 2017-02-10 | Paper |
Open non-uniform cylindrical algebraic decompositions
Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation | 2016-09-29 | Paper |
Improved projection for CAD's of R <sup>3</sup>
Proceedings of the 2000 international symposium on Symbolic and algebraic computation | 2015-11-26 | Paper |
Black-box/white-box simplification and applications to quantifier elimination
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation | 2015-09-17 | Paper |
On using bi-equational constraints in CAD construction
Proceedings of the 2005 international symposium on Symbolic and algebraic computation | 2015-07-16 | Paper |
Constructing a single cell in cylindrical algebraic decomposition
Journal of Symbolic Computation | 2015-05-04 | Paper |
Fast simplifications for Tarski formulas based on monomial inequalities
Journal of Symbolic Computation | 2012-05-23 | Paper |
Fast simplifications for Tarski formulas
Proceedings of the 2009 international symposium on Symbolic and algebraic computation | 2012-05-13 | Paper |
On delineability of varieties in CAD-based quantifier elimination with two equational constraints
Proceedings of the 2009 international symposium on Symbolic and algebraic computation | 2012-05-13 | Paper |
| The complexity of quantifier elimination and cylindrical algebraic decomposition | 2009-01-20 | Paper |
Efficient Preprocessing Methods for Quantifier Elimination
Computer Algebra in Scientific Computing | 2008-07-04 | Paper |
Algorithmic methods for investigating equilibria in epidemic modeling
Journal of Symbolic Computation | 2007-10-23 | Paper |
QEPCAD B
ACM SIGSAM Bulletin | 2004-09-01 | Paper |
Improved projection for cylindrical algebraic decomposition
Journal of Symbolic Computation | 2002-01-02 | Paper |
Simple CAD construction and its applications
Journal of Symbolic Computation | 2001-07-22 | Paper |
| scientific article; zbMATH DE number 1262462 (Why is no real title available?) | 1999-08-23 | Paper |
