An effective algorithm for quantifier elimination over algebraically closed fields using straight line programs (Q1295548)
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: An effective algorithm for quantifier elimination over algebraically closed fields using straight line programs |
scientific article; zbMATH DE number 1308194
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An effective algorithm for quantifier elimination over algebraically closed fields using straight line programs |
scientific article; zbMATH DE number 1308194 |
Statements
An effective algorithm for quantifier elimination over algebraically closed fields using straight line programs (English)
0 references
16 August 1999
0 references
quantifier elimination
0 references
0 references
0 references
0 references
