Look at http://moralfiber.org/eylon/berkeley/cs282/ to see a paper, Parsing Mathematics Typeset in TeX that successfully parsed many many formulas from Gradshteyn and Rhyzik, a table of integrals.
The result was Lisp, which presumably could be Maxima. If you have a result in Maxima, presumably Sage can make sense of it. Or the same design can directly produce whatever Sage-speak you had in mind. -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org