## 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: | 19 - 2 self |