Software for Discussing Parametric Polynomial Systems: The Gröbner Cover (Q2879154)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Software for Discussing Parametric Polynomial Systems: The Gröbner Cover |
scientific article |
Statements
Software for Discussing Parametric Polynomial Systems: The Gröbner Cover (English)
0 references
8 September 2014
0 references
Gröbner cover
0 references
parametric polynomial
0 references
canonical algorithm
0 references
automatic theorem discovering
0 references
