RE: [Axiom-developer] Knuth's literate style

[Gabriel Dos Reis]

On Mon, 14 May 2007, Bill Page wrote:

| On May 14, 2007 9:37 PM Gaby wrote:
| > ... 
| > Jacob Smith, a student of a colleague (Jaakko Järvi), took my
| > class on symbolic computations last fall. For his class project,
| > he choosed Algorithmic Differentiation in Axiom.  We were able
| > to implement both forward and backward modes in Axiom.  As a by
| > product, that led me to implement a small Axiom library for
| > representing Spad programs (both interpreted and compiled) as
| > typed abstract syntax tree -- which I'm now using in my "toy"
| > Spad compiler written in Spad.  That also pressed me to start
| > (earlier than planned) a formal definition of Spad (not easy).
| > The work will be presented at ISSAC'07. 
| > 
| 
| Excellent! I will be very interested in your publication. Also
| I am hoping that you and Jacob will be motivated to contribute
| this work to the Axiom Library and to discuss the work via the
| axiom-math email list and/or the Axiom wiki.

It is my hope that the library will become part of regular Axiom
distribution.  Jacob will be at ISSAC.

-- Gaby