[racket] SMathML Support in Racket
2010/8/15 Karl Winterling <kwinterling at gmail.com>:
> Based
> on my biased judgment and possibly arrogant personal tastes, I strongly
> believe that functional Lisp semantics would work well for manipulating and
> rendering mathematical structures. S-expressions give us a convenient way to
> write content-sensitive mathematics, especially since they give us
> <apply></apply> for free.
As for working with S-expressions, you get pretty close
with FullForm in Mathematica:
http://reference.wolfram.com/mathematica/ref/FullForm.html
However it might be worth checking whether Maxima has support
for S-expression input. If not, it would be much, much simpler
to implement S-expression for Maxima, than reimplementing
an entire symbolic algebra system in Racket.
--
Jens Axel Søgaard