Tue, 12 May 2009 20:07:05 +0200 merged
haftmann [Tue, 12 May 2009 20:07:05 +0200] rev 31126
merged
Tue, 12 May 2009 19:30:33 +0200 transferred code generator preprocessor into separate module
haftmann [Tue, 12 May 2009 19:30:33 +0200] rev 31125
transferred code generator preprocessor into separate module
Tue, 12 May 2009 17:09:36 +0200 marginally tuned
haftmann [Tue, 12 May 2009 17:09:36 +0200] rev 31124
marginally tuned
Tue, 12 May 2009 17:09:36 +0200 examples using code_pred
haftmann [Tue, 12 May 2009 17:09:36 +0200] rev 31123
examples using code_pred
Tue, 12 May 2009 17:09:35 +0200 added dummy values keyword
haftmann [Tue, 12 May 2009 17:09:35 +0200] rev 31122
added dummy values keyword
Tue, 12 May 2009 16:11:36 +0200 tuned exception code
haftmann [Tue, 12 May 2009 16:11:36 +0200] rev 31121
tuned exception code
Tue, 12 May 2009 17:32:50 +0100 A generic arithmetic prover based on Positivstellensatz certificates --- also implements Fourrier-Motzkin elimination as a special case Fourrier-Motzkin elimination
chaieb [Tue, 12 May 2009 17:32:50 +0100] rev 31120
A generic arithmetic prover based on Positivstellensatz certificates --- also implements Fourrier-Motzkin elimination as a special case Fourrier-Motzkin elimination
Tue, 12 May 2009 17:32:49 +0100 A decision method for universal multivariate real arithmetic with add
chaieb [Tue, 12 May 2009 17:32:49 +0100] rev 31119
A decision method for universal multivariate real arithmetic with add ition, multiplication and ordering using semidefinite programming
Tue, 12 May 2009 17:32:49 +0100 Isolated decision procedure for noms and the general arithmetic solver
chaieb [Tue, 12 May 2009 17:32:49 +0100] rev 31118
Isolated decision procedure for noms and the general arithmetic solver
Tue, 12 May 2009 17:32:49 +0100 Added files Sum_Of_Squares.thy, positivstellensatz.ML and sum_of_squares.ML to Library
chaieb [Tue, 12 May 2009 17:32:49 +0100] rev 31117
Added files Sum_Of_Squares.thy, positivstellensatz.ML and sum_of_squares.ML to Library
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip