I don't have as much experience as you do, but I like the way Mathematica
handles with the input/output. The input can be a 2D equation and the output
always is a 2D equation. So, you can simply C-c the, let's say, denominator
of a given output and expand or simplify it. Then you can C-c just a parcel
of the same output and collect it. Later you can combine the results in a
single input and integrate over some variable. That saves a lot of time.
If it were me to implement that, I would create a translator 2D
equation-to-1D equation and another 1D-to-2D translator. So, it would be
nice if I could have a Maxima session receiving and sending just 1D
equations. This session would be wrapped in a display containing just 2D
equations.
In addition, outputs could be pasted to a buffer, and those equation could
be enumerated. Fonts could be changed and text added. Graphics could be
pasted too. In Cocoa, such buffer could be saved as RTFD, PS and PDF files
almost effortless and such document would be ready for submission. Yet, an
RTFD-to-LaTeX translator would be necessary.
Anyway,
Lizardo H. C. M. Nunes
...But we preach Christ crucified, to the Jews a stumbling block, and to the
Greeks foolishness;(...)but God has chosen the foolish things of the world
to confound the wise, and God has chosen the weak things of the world to
confound the things which are strong;(I Cor.1:23&27)