Computing triangular systems and regular systems

An algorithm for isolating the real solutions of semi-algebraic systems

Journal of Symbolic Computation

Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study

ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry

Improvements to a triangulation-decomposition algorithm for ordinary differential systems in higher degree cases

ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation

Geometry theorem proving by decomposing polynomial system into strong regular sets

Journal of Computer Science and Technology

Stability analysis of biological systems with real solution classification

Proceedings of the 2005 international symposium on Symbolic and algebraic computation

Real solution isolation using interval arithmetic

Computers & Mathematics with Applications

When does (T) equal sat(T)?

Proceedings of the twenty-first international symposium on Symbolic and algebraic computation

Counting positive solutions for polynomial systems with real coefficients

Computers & Mathematics with Applications

Regular Decompositions

Computer Mathematics

Properties of regular systems and algorithmic improvements for regular decomposition

Computers & Mathematics with Applications

Notes on triangular sets and triangulation-decomposition algorithms I: polynomial systems

SNSC'01 Proceedings of the 2nd international conference on Symbolic and numerical scientific computation

Decomposing polynomial sets into simple sets over finite fields: The zero-dimensional case

Computers & Mathematics with Applications

Some notes upon "When does equal sat(T)?"

AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics

On the regularity property of differential polynomials modulo regular differential chains

CASC'11 Proceedings of the 13th international conference on Computer algebra in scientific computing

When does equal sat(T)?

Journal of Symbolic Computation

Solving parametric piecewise polynomial systems

Journal of Computational and Applied Mathematics

Computing intersection and self-intersection loci of parametrized surfaces using regular systems and Gröbner bases

Computer Aided Geometric Design

Comprehensive triangular decomposition

CASC'07 Proceedings of the 10th international conference on Computer Algebra in Scientific Computing

A new algorithmic scheme for computing characteristic sets

Journal of Symbolic Computation

Decomposing polynomial sets into simple sets over finite fields: The positive-dimensional case

Theoretical Computer Science