[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Knuth's literate style
From: |
Gabriel Dos Reis |
Subject: |
Re: [Axiom-developer] Knuth's literate style |
Date: |
14 May 2007 20:37:18 -0500 |
C Y <address@hidden> writes:
[...]
| > How will they obtain appropriate "credit" and peer recognition
| > for this work? What other motivation can we offer them?
|
| That's a point, actually - has anyone published any papers recently
| showcasing work done in/for Axiom?
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.
-- Gaby
- Re: [Axiom-developer] Knuth's literate style, (continued)
- Re: [Axiom-developer] Knuth's literate style, Martin Rubey, 2007/05/14
- RE: [Axiom-developer] Knuth's literate style, Bill Page, 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, C Y, 2007/05/14
- Re: [Axiom-developer] Knuth's literate style,
Gabriel Dos Reis <=
- RE: [Axiom-developer] Knuth's literate style, Bill Page, 2007/05/14
- RE: [Axiom-developer] Knuth's literate style, C Y, 2007/05/15
- 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