| 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 |