Real quantifier elimination for solving algebraic
Algorithmic, Combinatorial and Applicable Real Algebraic Geometry April 12, 2004 - April 16, 2004
Location: SLMath: Eisenbud Auditorium
Primary Mathematics Subject Classification
No Primary AMS MSC
Secondary Mathematics Subject Classification
No Secondary AMS MSC