Version française
Home     About     Download     Resources     Contact us    
Browse thread
Symbolic integration
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jon Harrop <jon@f...>
Subject: Re: [Caml-list] Symbolic integration
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.
>
> Happy googling!

Ah, got it from Alexandre Chapoutot's website:

  http://sourceforge.net/projects/ocaml-mf/

Thanks!

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