On Friday 08 May 2009 09:13:12 Grünewald Michaël wrote:
> 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.

Great. Where is the code? I can never find the code for Jane St. summer 
projects...

-- 
Dr Jon Harrop, Flying Frog Consultancy Ltd.
http://www.ffconsultancy.com/?e