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