| Fri, 09 May 2014 08:13:36 +0200 |
haftmann |
prefer separate command for approximation
|
file |
diff |
annotate
|
| Sun, 18 Aug 2013 19:59:19 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| Tue, 13 Aug 2013 16:25:47 +0200 |
wenzelm |
standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
|
file |
diff |
annotate
|
| Tue, 24 Jul 2012 17:34:46 +0200 |
wenzelm |
modernized imports;
|
file |
diff |
annotate
|
| Wed, 18 Apr 2012 14:29:22 +0200 |
hoelzl |
use lifting to introduce floating point numbers
|
file |
diff |
annotate
|
| Wed, 23 Sep 2009 13:17:17 +0200 |
hoelzl |
correct variable order in approximate-method
|
file |
diff |
annotate
|
| Tue, 30 Jun 2009 10:59:02 +0200 |
hoelzl |
removed latex markup - there is no document generated from Decision_Procs/ex
|
file |
diff |
annotate
|
| Mon, 29 Jun 2009 23:29:11 +0200 |
hoelzl |
Implemented taylor series expansion for approximation
|
file |
diff |
annotate
|
| Thu, 25 Jun 2009 18:12:40 +0200 |
hoelzl |
Improved computation of bounds and implemented interval splitting for 'approximation'.
|
file |
diff |
annotate
|
| Thu, 04 Jun 2009 17:55:47 +0200 |
hoelzl |
Approximation: Implemented argument reduction for cosine. Sinus is now implemented in terms of cosine. Sqrt computes on the entire real numbers
|
file |
diff |
annotate
|
| Wed, 03 Jun 2009 11:33:16 +0200 |
hoelzl |
Removed usage of reference in reification
|
file |
diff |
annotate
|
| Wed, 11 Mar 2009 13:53:51 +0100 |
hoelzl |
Extended approximation boundaries by fractions and base-2 floating point numbers
|
file |
diff |
annotate
|
| Wed, 11 Mar 2009 08:45:47 +0100 |
haftmann |
moved Decision_Procs examples to Decision_Procs/ex
|
file |
diff |
annotate
| base
|