Правда так хорошо, так у google у них не получается. В любом случае, в области автоматизации математических выкладок они первые. Может и здесь повезет? В интересное время мы живем...
http://www.wolframalpha.com/