Thirty Years of Virtual Substitution (Q5120170)
From MaRDI portal
scientific article; zbMATH DE number 7245492
Language | Label | Description | Also known as |
---|---|---|---|
English | Thirty Years of Virtual Substitution |
scientific article; zbMATH DE number 7245492 |
Statements
Thirty Years of Virtual Substitution (English)
0 references
9 September 2020
0 references
real quantifier elimination
0 references
virtual substitution
0 references