Fri, 24 Jul 2009 13:56:02 +0200 | Philipp Meyer | Functionality for sum of squares to call a remote csdp prover | file | diff | annotate |
Thu, 23 Jul 2009 18:44:09 +0200 | wenzelm | local simpset_of; | file | diff | annotate |
Tue, 09 Jun 2009 11:10:33 +0200 | chaieb | Tuned sos tactic to reject non SOS goals | file | diff | annotate |
Wed, 13 May 2009 17:13:33 +0100 | chaieb | Now deals with division | file | diff | annotate |
Tue, 12 May 2009 17:32:49 +0100 | chaieb | A decision method for universal multivariate real arithmetic with add | file | diff | annotate |