[Top][All Lists]

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

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

From: C Y
Subject: RE: [Axiom-developer] Knuth's literate style
Date: Mon, 14 May 2007 20:53:06 -0700 (PDT)

--- Bill Page <address@hidden> 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.

Indeed, very good news!  Darn it, now I'm going to have to figure out
some way to get up to ISSAC07...


 sense of humor? Visit Yahoo! TV's 
Comedy with an Edge to see what's on, when.

reply via email to

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