Real quantifier elimination is doubly exponential 论文

1988Journal of Symbolic Computation引用 325
DOI
Coding theory and cryptographyPolynomial and algebraic computationDigital Filter Design and Implementation
Polynomial and algebraic computationCoding theory and cryptographyDigital Filter Design and Implementation
关系图谱

Real quantifier elimination is doubly exponential · 作者

J

Joos Heintz

J

James H. Davenport