MAXIMA internal representation && introduction



Dears maximalists,

I would like to introduce my project. I intend to develop a free version
of Mathematica language. There are at least two reasons for that: (1)
there is no way to build standalone executable with Mathematica; (2)
there are a number of the software written on Math.

The simplest way to do, of course, is to translate Math. objects into
internal representation of some language. But what about "expert
knowledge" (in the field of mathematics)? This problem can be (partly
solved translating Math. objects into MAXIMA internal representation
(and using MAXIMA as the server).  However, if MAXIMA expert knowledge
is needed it will be difficult to build standalone executable, I think.

It's the long term project (2-3 years) and by now it's just at the
beginning. MockMma is a good startpoint to learn of the parsing Math.
object into CL. My next steps are as followings: (1) build external
Math. grammar (as close as posible to native Math. grammar); (2) learn
about MAXIMA internal representation about the objects; (3) build
(adjust) the parser; (3) learn about how to use MAXIMA as a server; (4)
build the free version of Mathematica language (for some subset of the
grammar) with some expert knowledge from MAXIMA.

I appreciate to any comments.

Andrey Siver,
Protvino, Russia