No label defined (Q4895199)
From MaRDI portal
scientific article; zbMATH DE number 934500
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 934500 |
Statements
24 November 1996
0 references
Solotareff's approximation problem
0 references
quantifier elimination program
0 references
qepcad
0 references