Gröbner bases and primary decomposition of polynomial ideals
Journal of Symbolic Computation
On an installation of Buchberger's algorithm
Journal of Symbolic Computation
“One sugar cube, please” or selection strategies in the Buchberger algorithm
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
The Chinese remainder problem, multivariate interpolation, and Gröbner bases
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
Gro¨bner bases: a computational approach to commutative algebra
Gro¨bner bases: a computational approach to commutative algebra
On the intrinsic complexity of elimination theory
Journal of Complexity - Special issue: invited articles dedicated to J. F. Traub on the occasion of his 60th birthday
Solving Polynomial Systems Using a Branch and Prune Approach
SIAM Journal on Numerical Analysis
On the stability of Groübner bases under specializations
Journal of Symbolic Computation
Algebraic solution of the load-flow problem for a 4-nodes electrical network
Selected papers from the 1996 or 1997 IMACS-ACA conference on Non-standard applications of computer algebra
Gröbner bases specialization through Hilbert functions: the homogeneous case
ACM SIGSAM Bulletin
A new algorithm for discussing Gröbner bases with parameters
Journal of Symbolic Computation
Properties of Gröbner bases under specializations
EUROCAL '87 Proceedings of the European Conference on Computer Algebra
A new efficient algorithm for computing Gröbner bases without reduction to zero (F5)
Proceedings of the 2002 international symposium on Symbolic and algebraic computation
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)
A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases
Proceedings of the 2006 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
Gröbner bases for families of affine or projective schemes
Journal of Symbolic Computation
ACM Communications in Computer Algebra
Minimal canonical comprehensive Gröbner systems
Journal of Symbolic Computation
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
Hilbert stratification and parametric 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
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
Journal of Symbolic Computation
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
An efficient method for computing comprehensive Gröbner bases
Journal of Symbolic Computation
CICM'13 Proceedings of the 2013 international conference on Intelligent Computer Mathematics
Automatic deduction in (dynamic) geometry: Loci computation
Computational Geometry: Theory and Applications
Hi-index | 0.00 |
Grobner bases are the computational method par excellence for studying polynomial systems. In the case of parametric polynomial systems one has to determine the reduced Grobner basis in dependence of the values of the parameters. In this article, we present the algorithm GrobnerCover which has as inputs a finite set of parametric polynomials, and outputs a finite partition of the parameter space into locally closed subsets together with polynomial data, from which the reduced Grobner basis for a given parameter point can immediately be determined. The partition of the parameter space is intrinsic and particularly simple if the system is homogeneous.