Software for Discussing Parametric Polynomial Systems: The Gröbner Cover

DOI10.1007/978-3-662-44199-2_62zbMath1434.13002OpenAlexW268292388MaRDI QIDQ2879154

Michael Wibmer, Antonio Montes

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

Gröbner coverparametric polynomialautomatic theorem discoveringcanonical algorithm

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to commutative algebra (13-04) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Invariant algebraic sets and symmetrization of polynomial systems

Uses Software

• SINGULAR
• GeoGebra
• grobcov.lib

This page was built for publication: Software for Discussing Parametric Polynomial Systems: The Gröbner Cover