<div class="gmail_quote">On Sat, May 2, 2009 at 7:28 AM, Wolfgang Lindner <span dir="ltr">&lt;<a href="mailto:LindnerW@t-online.de">LindnerW@t-online.de</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
I remember that Gerald Jay Sussman and Jack Wisdom wrote the book<br>
&quot;Structure and Interpretation of Classical Mechanics&quot;.<br>
There is code (using Scheme ~ Lisp) parallel to the chapters of the book.<br>
I once dreamed to translate this into the language of a (free) CAS ..<br>
now Maxima seems to be a possible platform for such ideas.<br>
</blockquote></div><br>The notation that Sussman + Wisdom used in that book was quite rigorous about things like variable scope; this is very different from conventional mathematical notation, which is quote sloppy and depends on the reader to &quot;fill in the blanks&quot;.  See their <a href="http://mitpress.mit.edu/SICM/book-Z-H-5.html">Preface</a> for some good discussion and examples.<br>
<br>Maxima is more like conventional mathematical notation, with its advantages and disadvantages.<br><br>              -s<br><br>