Faster one block quantifier elimination for regular polynomial systems of equations (Q6666546)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Faster one block quantifier elimination for regular polynomial systems of equations |
scientific article; zbMATH DE number 7970482
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Faster one block quantifier elimination for regular polynomial systems of equations |
scientific article; zbMATH DE number 7970482 |
Statements
Faster one block quantifier elimination for regular polynomial systems of equations (English)
0 references
20 January 2025
0 references
effective real algebraic geometry
0 references
polynomial system solving
0 references
quantifier elimination
0 references
0 references
0 references
0 references
