Software for discussing parametric polynomial systems: the Gröbner cover

DOI10.1007/978-3-662-44199-2_62MaRDI QIDQ2879154zbMATH OpenOpenAlexFDO

Authors Antonio Montes, Michael Wibmer

Publication date 8 September 2014

Published in Mathematical Software – ICMS 2014 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-44199-2_62

zbMATH Keywords

parametric polynomialautomatic theorem discoveringcanonical algorithmGröbner cover

Mathematics Subject Classification ID

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

• The Gröbner cover
• Presentation of the book The Gröbner cover
• Gröbner bases for polynomial systems with parameters
• Publication:4945804
• Software for computing the Gröbner cover of a parametric ideal

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

Describes a project that uses

Uses Software

• grobcov.lib
• GeoGebra
• SINGULAR

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)