CASSON

CASSON is a computer algebra system with the ability to manipulate mathematical expressions symbolically. Currently, it can evaluate and differentiate expressions, and has an extremely rudimentary simplification algorithm.