[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Dynamic Real Closure and Axiom
From: |
root |
Subject: |
[Axiom-developer] Dynamic Real Closure and Axiom |
Date: |
Mon, 19 Jan 2004 14:46:30 -0500 |
Gregoire,
I've come across your work on dynamic real closures.
Your paper is very close to a literate program which is a method
of combining research results with executable code.
Axiom has been released as free and open source software.
I'm the lead developer on the project.
(http://savannah.nongnu.org/projects/axiom)
I'd like your permission (and assistance if you can) in converting
your paper to working code within Axiom. In particular this would
involve modifying the TeX document into a "pamphlet" file which is
Axiom's literate programming format (It is basically TeX with two
additional tags that allow program source to be extracted).
Is it possible to get a TeX version of your paper and permission
to modify it to include it as part of Axiom?
Tim
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] Dynamic Real Closure and Axiom,
root <=