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