>>537
数式処理ならJacalは? http://people.csail.mit.edu/jaffer/JACAL