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