A new algorithm for discussing Gröbner bases with parameters.
From MaRDI portal
Publication:1599542
DOI10.1006/jsco.2001.0504zbMath1068.13016MaRDI QIDQ1599542
Publication date: 11 June 2002
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/56870e052ccd45ac00f45b6a8d24dcdf94b6824c
68W30: Symbolic computation and algebraic computation
13P10: Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)
Related Items
Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems, Finding all Nash equilibria of a finite game using polynomial algebra, On systems of algebraic equations with parametric exponents. II, Minimal canonical comprehensive Gröbner systems, Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem, Dynamic balancing of planar mechanisms using toric geometry, An alternative approach to comprehensive Gröbner bases, Canonical comprehensive Gröbner bases, Improving the DISPGB algorithm using the discriminant ideal, Gröbner bases for families of affine or projective schemes, On the Computation of Elimination Ideals of Boolean Polynomial Rings, On the Computation of Comprehensive Boolean Gröbner Bases
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the construction of Gröbner bases using syzygies
- A theorem on refining division orders by the reverse lexicographic order
- On an installation of Buchberger's algorithm
- An algorithm for solving parametric linear systems
- Some results on Gröbner bases over commutative rings
- Comprehensive Gröbner bases
- On lucky ideals for Gröbner basis computations
- On lucky primes
- On Gröbner bases under specialization
- On the stability of Gröbner bases under specializations
- Algebraic solution of the load-flow problem for a 4-nodes electrical network
- On flatness of generic projections
- Dynamic evaluation and algebraic closure in Axiom
- Solving the load flow problem using Gröbner basis
- Solving systems of algebraic equations by using gröbner bases
- Properties of Gröbner bases under specializations