Does anybody know how I could do symbolic integration with OCaml? I see the owl package, but it appears that it only has differentiation. Is there any way I could implement integration with this same library?

Hello,

Symbolic integration is a profession in its own right!!! The derivation is trivial. The general integration algorithm has never been implemented. Except maybe in Axiom by Manuel Bronstein (he died too young in 2005). He gives a fantastic 95-lines integration program in Maple here:

http://www-sop.inria.fr/cafe/Manuel.Bronstein/pmint/

Nicolas