[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...
Cheers,
CY
____________________________________________________________________________________Sick
sense of humor? Visit Yahoo! TV's
Comedy with an Edge to see what's on, when.
http://tv.yahoo.com/collections/222
- Re: [Axiom-developer] Knuth's literate style, (continued)
- Re: [Axiom-developer] Knuth's literate style, Gabriel Dos Reis, 2007/05/14
- Re: [Axiom-developer] Knuth's literate style, C Y, 2007/05/14
- Re: [Axiom-developer] Knuth's literate style, Gabriel Dos Reis, 2007/05/14
- Re: [Axiom-developer] Knuth's literate style, C Y, 2007/05/14
- Re: [Axiom-developer] Knuth's literate style, Gabriel Dos Reis, 2007/05/14
- Re: [Axiom-developer] Knuth's literate style, C Y, 2007/05/14
- Re: [Axiom-developer] Knuth's literate style, Gabriel Dos Reis, 2007/05/14
- RE: [Axiom-developer] Knuth's literate style, C Y, 2007/05/14
- Re: [Axiom-developer] Knuth's literate style, Gabriel Dos Reis, 2007/05/14
- RE: [Axiom-developer] Knuth's literate style, Bill Page, 2007/05/14
- RE: [Axiom-developer] Knuth's literate style,
C Y <=
- RE: [Axiom-developer] Knuth's literate style, Gabriel Dos Reis, 2007/05/15
- RE: [Axiom-developer] Knuth's literate style, Bill Page, 2007/05/14
- RE: [Axiom-developer] Knuth's literate style, C Y, 2007/05/14
- Re: [Axiom-developer] Knuth's literate style, Martin Rubey, 2007/05/15