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