Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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!