Verifying nonlinear real formulas via sums of squares (2007)
by
John Harrison
| Venue: | Theorem Proving in Higher Order Logics, TPHOLs 2007, volume 4732 of Lect. Notes in Comp. Sci |
| Citations: | 12 - 1 self |
Document Versions
| Verifying nonlinear real formulas via sums of squares –John Harrison — 2007 — Theorem Proving in Higher Order Logics, TPHOLs 2007, volume 4732 of Lect. Notes in Comp. Sci |
