A new algorithm for the geometric decomposition of a variety
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Computing canonical representatives of regular differential ideals
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
On computer-assisted classification of coupled integrable equations
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Triviality and Dimension of a System of Algebraic Differential Equations
Journal of Automated Reasoning
On computer-assisted classification of coupled integrable equations
Journal of Symbolic Computation - Computer algebra: Selected papers from ISSAC 2001
An algorithm for isolating the real solutions of semi-algebraic systems
Journal of Symbolic Computation
Decomposing Algebraic Varieties
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
Computation of canonical forms for ternary cubics
Proceedings of the 2002 international symposium on Symbolic and algebraic computation
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
Algorithms for polynomial GCD computation over algebraic function fields
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
Lifting techniques for triangular decompositions
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
Stability analysis of biological systems with real solution classification
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
The RegularChains library in MAPLE
ACM SIGSAM Bulletin
Solving Kaltofen's challenge on Zolotarev's approximation problem
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
Real solution isolation using interval arithmetic
Computers & Mathematics with Applications
On approximate triangular decompositions in dimension zero
Journal of Symbolic Computation
Differential forms in computational algebraic geometry
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
Component-level parallelization of triangular decompositions
Proceedings of the 2007 international workshop on Parallel symbolic computation
Change of order for regular chains in positive dimension
Theoretical Computer Science
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
An Algorithm for Transforming Regular Chain into Normal Chain
Computer Mathematics
Thirty years of Polynomial System Solving, and now?
Journal of Symbolic Computation
A characteristic set method for ordinary difference polynomial systems
Journal of Symbolic Computation
On the complexity of counting components of algebraic varieties
Journal of Symbolic Computation
Computations modulo regular chains
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
Computing differential characteristic sets by change of ordering
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
Notes on triangular sets and triangulation-decomposition algorithms II: differential 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
Almost linear time operations with triangular sets
ACM Communications in Computer Algebra
Algorithms for computing triangular decompositions of polynomial systems
Proceedings of the 36th international symposium on Symbolic and algebraic computation
An algorithm for computing set-theoretic generators of an algebraic variety
Proceedings of the 36th international symposium on Symbolic and algebraic computation
Solving bivariate polynomial systems on a GPU
ACM Communications in Computer Algebra
Inverting matrices modulo regular chains
ACM Communications in Computer Algebra
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
Journal of Symbolic Computation
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
Characteristic set algorithms for equation solving in finite fields
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
On the complexity of computing with zero-dimensional triangular sets
Journal of Symbolic Computation
Triangular decomposition of semi-algebraic systems
Journal of Symbolic Computation
On Fulton's algorithm for computing intersection multiplicities
CASC'12 Proceedings of the 14th international conference on Computer Algebra in Scientific Computing
Decomposing polynomial sets into simple sets over finite fields: The positive-dimensional case
Theoretical Computer Science
Modular Composition Modulo Triangular Sets and Applications
Computational Complexity
Hi-index | 0.00 |