ALGORITHMS IN REAL ALGEBRAIC GEOMETRY: A SURVEY SAUGATA BASU Abstract. We survey both old and new developments in the theory of algorithms in real algebraic geometry – starting from effective quantifier elimination in - Tarski–Seidenberg theorem - Document - PDFSEARCH.IO

First Page	Meta Content
	ALGORITHMS IN REAL ALGEBRAIC GEOMETRY: A SURVEY SAUGATA BASU Abstract. We survey both old and new developments in the theory of algorithms in real algebraic geometry – starting from effective quantifier elimination in Add to Reading List Document Date: 2011-07-21 09:04:59 Open Document File Size: 398,00 KB Share Result on Facebook City Davenport / / Currency pence / / IndustryTerm cylindrical algebraic decomposition algorithm / attempt to survey these applications / exponential algorithms / elementary recursive algorithm / quantifier elimination algorithm / main algorithmic tool / homotopy continuation algorithms / algorithmic applications / numerical algorithms / low dimensional applications / probabilistic algorithms / interior-point algorithms / singly-exponential algorithms / recent algorithms / / Position author / General / / Technology singly-exponential algorithms / doubly exponential algorithms / cylindrical algebraic decomposition algorithm / homotopy continuation algorithms / singly exponential algorithms / quantifier elimination algorithm / interior-point algorithms / elementary recursive algorithm / / SocialTag Real algebraic geometry Field theory Algebraic geometry Cylindrical algebraic decomposition Real closed field Algebraic extension Algebraic variety Tarski–Seidenberg theorem Field Abstract algebra

ALGORITHMS IN REAL ALGEBRAIC GEOMETRY: A SURVEY SAUGATA BASU Abstract. We survey both old and new developments in the theory of algorithms in real algebraic geometry – starting from effective quantifier elimination in Add to Reading List