568

A Decision Method for Elementary Algebra and Geometry
– A Tarski
 1948

222

Semidefinite Programming Relaxations for Semialgebraic Problems
– Pablo A. Parrilo
 2001

24

A proofproducing decision procedure for real arithmetic
– Sean Mclaughlin, John Harrison
 2005

80

Real quantifier elimination is doubly exponential
– DH88 J H Davenport, J Heinz
 1988

13

An algebraic approach for the unsatisfiability of nonlinear constraints
– Ashish Tiwari

181

Partial cylindrical algebraic decomposition for quantifier elimination
– G E Collins, H Hong
 1991

29

KeYmaera: A hybrid theorem prover for hybrid systems
– André Platzer, JanDavid Quesel
 2008

42

Quantifier Elimination for Real Algebra  the Quadratic Case and Beyond
– Volker Weispfenning
 1993

69

A Nullstellensatz and a Positivstellensatz in semialgebraic geometry
– G Stengle
 1973

377

Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition  Preliminary Report
– G E Collins
 1974

3657

Convex Optimization
– Stephen Boyd, Lieven Vandenberghe
 2004

7

Formal Global Optimisation with Taylor Models,” in IJCAR, ser
– R Zumkeller
 2006

15

models and other validated functional inclusion methods
– K Makino, M Berz, Taylor

20

Rigorous Analysis of Nonlinear Motion in Particle Accelerators
– K Makino
 1998

56

QEPCAD B: A program for computing with semialgebraic sets using CADs
– Christopher W. Brown
 2003

105

REDLOG Computer Algebra Meets Computer Logic
– Andreas Dolzmann, Thomas Sturm
 1996

35

An Algorithm for Finding the Basis Elements of the Residue Class Ring of a Zero Dimensional Polynomial Ideal
– B Buchberger
 1965

41

Differential Dynamic Logic for Hybrid Systems
– André Platzer
 2007

31

Computing differential invariants of hybrid systems as fixedpoints
– André Platzer, Edmund M. Clarke
 2008
