Re: [Axiom-developer] [sage-devel] Re: LaTeX code to Sage expression?

[daly]

Since TeX is turing complete and allows macros,
would it be possible to create a set of macros
that are not ambiguous? For instance, an integral
macro that specifies the limits and differential
variable?

\integrate{0}{\infty}{r}{sin(\theta)}

In this case it seems to me that the latex macros
would closely approximate the actual linear input
to the CAS.

Tim Daly


On Sat, 2011-05-14 at 08:25 -0700, rjf wrote:
> 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.
>