Tue, 29 Sep 2009 16:24:36 +0200 | wenzelm | explicit indication of Unsynchronized.ref; | file | diff | annotate |
Tue, 22 Sep 2009 11:26:46 +0200 | Philipp Meyer | used standard fold function and type aliases | file | diff | annotate |
Mon, 21 Sep 2009 15:05:26 +0200 | Philipp Meyer | sos method generates and uses proof certificates | file | diff | annotate |
Wed, 26 Aug 2009 11:40:28 +0200 | boehmes | added further conversions and conversionals | file | diff | annotate |
Thu, 09 Jul 2009 22:01:41 +0200 | wenzelm | renamed functor TableFun to Table, and GraphFun to Graph; | file | diff | annotate |
Tue, 12 May 2009 17:32:50 +0100 | chaieb | A generic arithmetic prover based on Positivstellensatz certificates --- also implements Fourrier-Motzkin elimination as a special case Fourrier-Motzkin elimination | file | diff | annotate |