Verifying nonlinear real formulas via sums of squares (2007)

Cached

Download Links

by John Harrison
Venue:Theorem Proving in Higher Order Logics, TPHOLs 2007, volume 4732 of Lect. Notes in Comp. Sci
Citations:19 - 2 self

Active Bibliography

24 A proof-producing 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 – Marie-Francoise Roy - 1999
112 A proof of the Kepler conjecture – Thomas C. Hales - 1994
7 A convex polynomial that is not sos-convex – Amir Ali Ahmadi, Pablo A. Parrilo
12 Real World Verification – André Platzer, Jan-david Quesel
15-424: Foundations of Cyber-Physical 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