Some examples for solving systems of algebraic equations by calculating groebner bases
Journal of Symbolic Computation
Ritt-Wu's decomposition algorithm and geometry theorem proving
CADE-10 Proceedings of the tenth international conference on Automated deduction
An algorithm for finding all isolated zeros of polynomial systems
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
A theory for parametric linear systems
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
Computations with parametric equations
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
A new method for solving algebraic systems of positive dimension
Discrete Applied Mathematics - Special volume on applied algebra, algebraic algorithms, and error-correcting codes
Techniques for Ritt-Wu''s Decomposition Algorithm
Techniques for Ritt-Wu''s Decomposition Algorithm
An algorithm for solving partial differential parametric systems
Discrete Applied Mathematics - Discrete mathematics and theoretical computer science (DMTCS)
Triangular decompositions of polynomial systems: from theory to practice
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
An Algorithm for Transforming Regular Chain into Normal Chain
Computer Mathematics
Decomposition of ordinary difference polynomials
Journal of Symbolic Computation
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
Algorithms for computing triangular decompositions of polynomial systems
Proceedings of the 36th international symposium on Symbolic and algebraic computation
Computing comprehensive Gröbner systems and comprehensive Gröbner bases simultaneously
Proceedings of the 36th international symposium on Symbolic and algebraic computation
Stability of parametric decomposition
ICMS'06 Proceedings of the Second international conference on Mathematical Software
Some properties of triangular sets and improvement upon algorithm charser
AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
Algorithms for computing triangular decomposition of polynomial systems
Journal of Symbolic Computation
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
Journal of Symbolic Computation
Hi-index | 0.00 |