| Publication | Date of Publication | Type |
|---|
Iterated Resultants and Rational Functions in Real Quantifier Elimination
| 2023-12-23 | Paper |
Lazard's CAD exploiting equality constraints
ACM Communications in Computer Algebra | 2023-01-11 | Paper |
Enhancements to Lazard's method for cylindrical algebraic decomposition
| 2022-12-21 | Paper |
scientific article; zbMATH DE number 7179440 (Why is no real title available?)
| 2020-03-11 | Paper |
Validity proof of Lazard's method for CAD construction
Journal of Symbolic Computation | 2018-12-28 | Paper |
Cylindrical algebraic decompositions for Boolean combinations
Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation | 2017-02-10 | Paper |
On propagation of equational constraints in CAD-based quantifier elimination
Proceedings of the 2001 international symposium on Symbolic and algebraic computation | 2017-02-03 | Paper |
Truth table invariant cylindrical algebraic decomposition
Journal of Symbolic Computation | 2016-02-19 | Paper |
On using Lazard's projection in CAD construction
Journal of Symbolic Computation | 2015-08-19 | Paper |
On using bi-equational constraints in CAD construction
Proceedings of the 2005 international symposium on Symbolic and algebraic computation | 2015-07-16 | 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 |
Deciding polynomial-transcendental problems
Journal of Symbolic Computation | 2011-12-21 | Paper |
The computation of polynomial greatest common divisors over an algebraic number field
Lecture Notes in Computer Science | 2011-04-16 | Paper |
Iterated discriminants
Journal of Symbolic Computation | 2009-07-01 | Paper |
Deciding polynomial-exponential problems
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation | 2009-01-20 | Paper |
Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators
Towards Mechanized Mathematical Assistants | 2007-11-28 | Paper |
Quantifier elimination for approximate Beals-Kartashova factorization
| 2007-01-07 | Paper |
scientific article; zbMATH DE number 2151199 (Why is no real title available?)
| 2005-04-04 | Paper |
Local box adjacency algorithms for cylindrical algebraic decompositions
Journal of Symbolic Computation | 2002-06-11 | Paper |
Factors of iterated resultants and discriminants
Journal of Symbolic Computation | 1999-12-16 | Paper |
scientific article; zbMATH DE number 1157658 (Why is no real title available?)
| 1998-10-01 | Paper |
On testing a bivariate polynomial for analytic reducibility
Journal of Symbolic Computation | 1998-09-20 | Paper |
scientific article; zbMATH DE number 1157652 (Why is no real title available?)
| 1998-09-13 | Paper |
scientific article; zbMATH DE number 1157653 (Why is no real title available?)
| 1998-09-13 | Paper |
scientific article; zbMATH DE number 784883 (Why is no real title available?)
| 1995-08-14 | Paper |
Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition
The Computer Journal | 1994-06-20 | Paper |
The computation of polynomial greatest common divisors over an algebraic number field
Journal of Symbolic Computation | 1989-01-01 | Paper |
An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
Journal of Symbolic Computation | 1988-01-01 | Paper |
A polynomial-time algorithm for the topological type of real algebraic curve
Journal of Symbolic Computation | 1988-01-01 | Paper |
An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space
Journal of Symbolic Computation | 1988-01-01 | Paper |
scientific article; zbMATH DE number 3921970 (Why is no real title available?)
| 1985-01-01 | Paper |
Cylindrical Algebraic Decomposition I: The Basic Algorithm
SIAM Journal on Computing | 1984-01-01 | Paper |
A polynomial-time algorithm for the topological type of real algebraic curve - extended abstract
Rocky Mountain Journal of Mathematics | 1984-01-01 | Paper |
scientific article; zbMATH DE number 3880114 (Why is no real title available?)
| 1982-01-01 | Paper |
