563

A decision method for elementary algebra and geometry
– Alfred Tarski
 1948

225

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

80

Real Quantifier Elimination is Doubly Exponential
– J H Davenport, J Heintz
 1988

13

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

24

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

179

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

26

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

104

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

56

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

12

Real World Verification
– André Platzer, Jandavid Quesel

42

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

66

A nullstellensatz and a positivstellensatz in semialgebraic geometry
– G Stengle
 1974

373

Quantifier elimination for real closed fields by cylindrical algebraic decomposition
– G E Collins
 1975

3668

Convex optimization
– S Boyd, L Vandenberghe
 2004

7

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

18

Comparison of Several Decision Algorithms for the Existential Theory of the Reals
– Hoon Hong
 1991

10

Combined Decision Techniques for the Existential Theory of the Reals
– Grant Olney Passmore, Paul B. Jackson
 2009

15

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

21

Rigorous analysis of nonlinear motion in particle accelerators
– K Makino
 1998
