[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2009-05-08 (08:13) |
From: | Grünewald_Michaël <michaelgrunewald@y...> |
Subject: | Re: [Caml-list] Symbolic integration |
Le 7 mai 09 à 07:21, Jon Harrop a écrit : > I'd like to have a play with symbolic integration and was wondering > if anyone > had implemented one of the algorithms in OCaml? IIRC, I have seen such a thing as an «OCaml Math. Framework» in Jane Street's OCaml related project (in the 2006 or the 2007 session). I have read part of their code and they seem follow the way of formal manipulations to implement objects and computations. Thus you might be interested in this code. Happy googling! -- Michaël