src/HOL/Library/Sum_Of_Squares.thy
2009-06-09 chaieb 2009-06-09 Tuned sos tactic to reject non SOS goals
2009-05-13 chaieb 2009-05-13 Now deals with division
2009-05-12 chaieb 2009-05-12 A decision method for universal multivariate real arithmetic with add ition, multiplication and ordering using semidefinite programming