Projects per year
Abstract
In the 1930s Tarski showed that real quantifier elimination was possible, and in 1975 Collins gave a remotely practicable method, albeit with doublyexponential complexity, which was later shown to be inherent. We discuss some of the recent major advances in Collins' method: such as an alternative approach based on passing via the complexes, and advances which come closer to "solving the question asked" rather than "solving all problems to do with these polynomials".
Original language  English 

Title of host publication  Automated Deduction in Geometry 
Subtitle of host publication  10th International Workshop, ADG 2014, Coimbra, Portugal, July 911, 2014, Revised Selected Papers 
Editors  F. Botana, P. Quaresma 
Publisher  Springer 
Pages  3752 
Number of pages  16 
ISBN (Print)  9783319213613 
DOIs  
Publication status  Published  31 Aug 2015 
Event  10th International Workshop on Automated Deduction in Geometry (ADG), 2014  University of Coimbra , Coimbra, Portugal Duration: 9 Jul 2011 → 11 Jul 2011 
Publication series
Name  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 

Volume  9201 
Workshop
Workshop  10th International Workshop on Automated Deduction in Geometry (ADG), 2014 

Country  Portugal 
City  Coimbra 
Period  9/07/11 → 11/07/11 
Fingerprint Dive into the research topics of 'Recent advances in real geometric reasoning'. Together they form a unique fingerprint.
Projects
 1 Finished

Real Geometry and Connectedness via Triangular Description
Davenport, J., Bradford, R., England, M. & Wilson, D.
Engineering and Physical Sciences Research Council
1/10/11 → 31/12/15
Project: Research council