| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 7267629 (Why is no real title available?) | 2020-10-27 | Paper |
CAD Adjacency Computation Using Validated Numerics
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
Comparison of CAD-based methods for computation of rational function limits
Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
Univariate real root isolation in an extension field and applications
Journal of Symbolic Computation | 2018-12-28 | Paper |
Univariate real root isolation over a single logarithmic extension of real algebraic numbers
Applications of Computer Algebra | 2018-04-05 | Paper |
Cylindrical algebraic decomposition using local projections
Journal of Symbolic Computation | 2016-02-19 | Paper |
| Cylindrical algebraic decomposition using local projections | 2015-11-11 | Paper |
Computation with semialgebraic sets represented by cylindrical algebraic formulas
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation | 2015-09-17 | 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 |
Univariate real root isolation in an extension field
Proceedings of the 36th international symposium on Symbolic and algebraic computation | 2015-06-09 | Paper |
Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation | 2015-03-27 | Paper |
Univariate real root isolation in multiple extension fields
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation | 2015-03-27 | Paper |
Real root isolation for tame elementary functions
Proceedings of the 2009 international symposium on Symbolic and algebraic computation | 2012-05-13 | Paper |
Real root isolation for exp-log-arctan functions
Journal of Symbolic Computation | 2012-03-22 | Paper |
Cylindrical decomposition for systems transcendental in the first variable
Journal of Symbolic Computation | 2011-12-07 | Paper |
| Improving the performance of the continued fractions method using new bounds of positive roots | 2009-08-10 | Paper |
| FLQ, the fastest quadratic complexity bound on the values of positive roots of polynomials | 2009-02-03 | Paper |
| Real root isolation for exp-log functions | 2009-01-20 | Paper |
| A comparative study of two real root isolation methods | 2008-11-17 | Paper |
| On the various bisection methods derived from Vincent's theorem | 2008-09-25 | Paper |
Advances on the Continued Fractions Method Using Better Estimations of Positive Root Bounds
Computer Algebra in Scientific Computing | 2008-07-01 | Paper |
Cylindrical algebraic decomposition using validated numerics
Journal of Symbolic Computation | 2007-10-23 | Paper |
| Frobenius numbers by lattice point enumeration | 2007-03-28 | Paper |
Implementations of a new theorem for computing bounds for positive roots of polynomials
Computing | 2007-01-08 | Paper |
Solving systems of strict polynomial inequalities
Journal of Symbolic Computation | 2001-06-13 | Paper |
A real polynomial decision algorithm using arbitrary-precision floating point arithmetic
Reliable Computing | 2000-11-13 | Paper |
| scientific article; zbMATH DE number 1440927 (Why is no real title available?) | 2000-08-28 | Paper |
Computing in the field of complex algebraic numbers
Journal of Symbolic Computation | 1999-02-15 | Paper |
| scientific article; zbMATH DE number 976063 (Why is no real title available?) | 1998-04-20 | Paper |
Euler characteristic in semialgebraic and other o-minimal groups
Journal of Pure and Applied Algebra | 1994-12-01 | Paper |
One-dimensional groups definable in o-minimal structures
Journal of Pure and Applied Algebra | 1994-12-01 | Paper |
A real analytic constructive proof of the lojasiewicz theorem
Communications in Algebra | 1994-11-30 | Paper |
The growth of regular functions on algebraic sets
Annales Polonici Mathematici | 1992-09-27 | Paper |
