http://research.mupad.de/
credo che calcoli anche gli integrali