Verifying nonlinear real formulas via sums of squares (2007)

by J Harrison
Venue:Theorem Proving in Higher Order Logics, LNCS 4732