Recent advances in real geometric reasoning

J. Davenport, Matthew England

Research output: Contribution to conferencePaper

1 Citation (Scopus)
14 Downloads (Pure)

Abstract

In the 1930s Tarski showed that real quantifier elimination was possible, and in 1975 Collins gave a remotely practicable method, albeit with doubly-exponential 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 languageEnglish
Pages37-52
DOIs
Publication statusPublished - 2015

Bibliographical note

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-21362-0_3.

Keywords

  • computing
  • geometric reasoning

Fingerprint Dive into the research topics of 'Recent advances in real geometric reasoning'. Together they form a unique fingerprint.

  • Cite this