Logo

Mathematical Sciences Research Institute

Home » Workshop » Schedules » Real quantifier elimination for solving algebraic

Real quantifier elimination for solving algebraic

Algorithmic, Combinatorial and Applicable Real Algebraic Geometry April 12, 2004 - April 16, 2004

April 15, 2004 (02:30 PM PDT - 03:15 PM PDT)
Speaker(s): Hirokazu Anai
Location: MSRI: Simons Auditorium
Primary Mathematics Subject Classification No Primary AMS MSC
Secondary Mathematics Subject Classification No Secondary AMS MSC
Video
No Video Uploaded
Abstract No Abstract Uploaded
Supplements No Notes/Supplements Uploaded
Video/Audio Files
No Video Files Uploaded