We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.HO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > History and Overview

Title: Lecture notes on complexity of quantifier elimination over the reals

Abstract: These are lecture notes for a course I gave in mid-1990s for MSc students at the University of Bath. It presents an algorithm with singly exponential complexity for the existential theory of the reals, in the spirit of J. Renegar. The aim was to convey the main underlying ideas, so many of the proofs and finer details of algorithms are either missing or just sketched. I changed nothing in the original notes except adding references, bibliography, and correcting obvious typos.
Comments: 21 pages
Subjects: History and Overview (math.HO); Symbolic Computation (cs.SC); Logic (math.LO)
Cite as: arXiv:2112.00456 [math.HO]
  (or arXiv:2112.00456v1 [math.HO] for this version)

Submission history

From: Nicolai Vorobjov [view email]
[v1] Wed, 1 Dec 2021 12:30:21 GMT (21kb)

Link back to: arXiv, form interface, contact.