[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Bill Page
Subject: RE: [Axiom-developer] Knuth's literate style
Date: Mon, 14 May 2007 22:57:35 -0400

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.

Bill Page.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]