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. Regards, Bill Page. _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
