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