Quantifier Elimination for Quartics (Q5302907)
From MaRDI portal
scientific article; zbMATH DE number 5492010
Language | Label | Description | Also known as |
---|---|---|---|
English | Quantifier Elimination for Quartics |
scientific article; zbMATH DE number 5492010 |
Statements
Quantifier Elimination for Quartics (English)
0 references
15 January 2009
0 references