An alternative approach to comprehensive Gröbner bases
From MaRDI portal
Publication:1878492
DOI10.1016/S0747-7171(03)00098-1zbMath1053.13013MaRDI QIDQ1878492
Publication date: 20 August 2004
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Polynomials over commutative rings (13B25)
Related Items
Gröbner systems conversion ⋮ Testing binomiality of chemical reaction networks using comprehensive Gröbner systems ⋮ Exploring the potential energy landscape over a large parameter-space ⋮ Comprehensive Gröbner basis theory for a parametric polynomial ideal and the associated completion algorithm ⋮ Gröbner bases for polynomial systems with parameters ⋮ Automatic deduction in (dynamic) geometry: Loci computation ⋮ An extended GCRD algorithm for parametric univariate polynomial matrices and application to parametric Smith form ⋮ Solving the perspective-three-point problem using comprehensive Gröbner systems ⋮ On the computation of parametric Gröbner bases for modules and syzygies ⋮ Generic Gröbner basis of a parametric ideal and its application to a comprehensive Gröbner system ⋮ Boolean Gröbner bases ⋮ Automated reducible geometric theorem proving and discovery by Gröbner basis method ⋮ A survey on algorithms for computing comprehensive Gröbner systems and comprehensive Gröbner bases ⋮ Improving the DISPGB algorithm using the discriminant ideal ⋮ Gröbner bases for families of affine or projective schemes ⋮ Minimal polynomial systems for parametric matrices ⋮ Algebraic local cohomology with parameters and parametric standard bases for zero-dimensional ideals ⋮ On the Computation of Elimination Ideals of Boolean Polynomial Rings ⋮ Comprehensive Gröbner Bases in a Java Computer Algebra System ⋮ Minimal canonical comprehensive Gröbner systems ⋮ On the Computation of Comprehensive Boolean Gröbner Bases ⋮ On Parametric Border Bases ⋮ CSSg method for several genericities of parametric systems
Cites Work