Software for discussing parametric polynomial systems: the Gröbner cover
From MaRDI portal
Publication:2879154
Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Software, source code, etc. for problems pertaining to commutative algebra (13-04) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Recommendations
Cited in
(9)- The Gröbner cover
- Invariant algebraic sets and symmetrization of polynomial systems
- Computing the canonical representation of constructible sets
- Generalizing the Steiner-Lehmus theorem using the Gröbner cover
- Gröbner bases for polynomial systems with parameters
- scientific article; zbMATH DE number 5679790 (Why is no real title available?)
- Software using the Gröbner cover for geometrical loci computation and classification
- Software for computing the Gröbner cover of a parametric ideal
- Presentation of the book The Gröbner cover
This page was built for publication: Software for discussing parametric polynomial systems: the Gröbner cover
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2879154)