Agnesi is a computer algebra system that does a lot.