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.
>
_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
https://lists.nongnu.org/mailman/listinfo/axiom-developer
