24

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

13

Positive polynomials in scalar and matrix variables, the spectral theorem, and optimization
– J. William Helton, Mihai Putinar

1

The role of Hilbert problems in real algebraic geometry
– MarieFrancoise Roy
 1999

112

A proof of the Kepler conjecture
– Thomas C. Hales
 1994

7

A convex polynomial that is not sosconvex
– Amir Ali Ahmadi, Pablo A. Parrilo

12

Real World Verification
– André Platzer, Jandavid Quesel


15424: Foundations of CyberPhysical Systems Lecture Notes on Dynamical Systems & Dynamic Axioms
– André Platzer


Documenta Math. 433 Around Hilbert’s 17th Problem
– Konrad Schmüdgen


Real Algebraic Geometry in Convex Optimization
– Cynthia Vinzant, Cynthia Vinzant, Cynthia Vinzant

10

Combining decision procedures for the reals
– Jeremy Avigad, Harvey Friedman

10

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

8

LMI approximations for cones of positive semidefinite forms
– Luis F. Zuluaga, Juan Vera, Javier Peña

4

Boolean relation theory and . . .
– Harvey M. Friedman
 2011

96

Some Concrete Aspects Of Hilbert's 17th Problem
– Bruce Reznick
 1996


BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY
– Frank Sottile
 2013

5

Computer Algebra for Special Function Inequalities
– Manuel Kauers

28

Testing Stability by Quantifier Elimination
– Hoon Hong, Richard Liska, Stanly Steinberg
 1997

9

Tilings with congruent tiles
– Grünbaum, G. C. Shephard
 1980

18

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