English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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: 2009-05-08 (08:52)
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.

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

Dr Jon Harrop, Flying Frog Consultancy Ltd.