Aspect graphs of algebraic surfaces
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
On the symbolic insimplification of the general 6R-manipulator kinematic equations
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Stabilization of polynomial systems solving with Groebner bases
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Guarded expressions in practice
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Singular systems of polynomials
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Approaches to parallel quantifier elimination
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Discrete comprehensive Gröbner bases
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
A new algorithm for discussing Gröbner bases with parameters
Journal of Symbolic Computation
Journal of Symbolic Computation - Effective methods in rings of differential operators
An alternative approach to comprehensive Gröbner bases
Proceedings of the 2002 international symposium on Symbolic and algebraic computation
Canonical comprehensive Gröbner bases
Proceedings of the 2002 international symposium on Symbolic and algebraic computation
Cohomology, stratifications and parametric Gröbner bases in characteristic zero
Journal of Symbolic Computation - Special issue: Algebra and computer analysis
Computer algebra handbook
An alternative approach to comprehensive Gröbner bases
Journal of Symbolic Computation - Special issue: International symposium on symbolic and algebraic computation (ISSAC 2002)
Canonical comprehensive Gröbner bases
Journal of Symbolic Computation - Special issue: International symposium on symbolic and algebraic computation (ISSAC 2002)
Non-linear loop invariant generation using Gröbner bases
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An algorithm for solving partial differential parametric systems
Discrete Applied Mathematics - Discrete mathematics and theoretical computer science (DMTCS)
On systems of algebraic equations with parametric exponents
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
Complexity of the resolution of parametric systems of polynomial equations and inequations
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
Uniform Gröbner bases for ideals generated by polynomials with parametric exponents
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
Linear spaces, transversal polymatroids and ASL domains
Journal of Algebraic Combinatorics: An International Journal
Computation of discrete comprehensive Gröbner bases using modular dynamic evaluation
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
A speed-up of the algorithm for computing comprehensive Gröbner systems
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
On the parallel computation of comprehensive Gröbner systems
Proceedings of the 2007 international workshop on Parallel symbolic computation
PGB: a package for computing parametric Gröbner and related objects
ACM Communications in Computer Algebra
On the Computation of Elimination Ideals of Boolean Polynomial Rings
Computer Mathematics
Computation of inverses in residue class rings of parametric polynomial ideals
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
A parametric representation of totally mixed Nash equilibria
Computers & Mathematics with Applications
On the Computation of Comprehensive Boolean Gröbner Bases
CASC '09 Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing
A Study on Gröbner Basis with Inexact Input
CASC '09 Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing
Cylinders through five points: complex and real enumerative geometry
ADG'06 Proceedings of the 6th international conference on Automated deduction in geometry
Automatic discovery of geometry theorems using minimal canonical comprehensive Gröbner systems
ADG'06 Proceedings of the 6th international conference on Automated deduction in geometry
A new algorithm for computing comprehensive Gröbner systems
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
A “Joint+Marginal” Approach to Parametric Polynomial Optimization
SIAM Journal on Optimization
CT-RSA'11 Proceedings of the 11th international conference on Topics in cryptology: CT-RSA 2011
Computing comprehensive Gröbner systems and comprehensive Gröbner bases simultaneously
Proceedings of the 36th international symposium on Symbolic and algebraic computation
Computing a structured Gröbner basis approximately
Proceedings of the 36th international symposium on Symbolic and algebraic computation
Software for computing the Gröbner cover of a parametric ideal
ACM Communications in Computer Algebra
Stability of parametric decomposition
ICMS'06 Proceedings of the Second international conference on Mathematical Software
Proving geometric theorems by partitioned-parametric gröbner bases
ADG'04 Proceedings of the 5th international conference on Automated Deduction in Geometry
Hilbert stratification and parametric gröbner bases
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
Quantifier elimination for constraint logic programming
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
Computation of full comprehensive gröbner bases
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
Comprehensive triangular decomposition
CASC'07 Proceedings of the 10th international conference on Computer Algebra in Scientific Computing
Comprehensive involutive systems
CASC'12 Proceedings of the 14th international conference on Computer Algebra in Scientific Computing
Stability conditions of monomial bases and comprehensive gröbner systems
CASC'12 Proceedings of the 14th international conference on Computer Algebra in Scientific Computing
Approximately singular systems and ill-conditioned polynomial systems
CASC'12 Proceedings of the 14th international conference on Computer Algebra in Scientific Computing
Computer algebra methods in the study of nonlinear differential systems
Computational Mathematics and Mathematical Physics
Automatic deduction in (dynamic) geometry: Loci computation
Computational Geometry: Theory and Applications
| Hi-index | 0.00 |