2021/12/01 by Nicolai Vorobjov, Vorobjov, Nicolai
Computer Science · Mathematics · #Advanced Optimization Algorithms Research #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #FOS: Mathematics #History and Overview (math.HO) #Logic (math.LO) #Numerical Methods and Algorithms #Symbolic Computation (cs.SC)
paper · pdf · doi:10.48550/arxiv.2112.00456
openalex publication_date 2021/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.