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