[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Real Closure paper
From: |
daly |
Subject: |
[Axiom-developer] Real Closure paper |
Date: |
Tue, 10 Jun 2014 20:33:01 -0500 |
Gregoire,
I'm implementing your version of real closure from 1996.
I'd like your permission to quote sections of your report
as documentation for the code.
Tim Daly
Axiom Lead Developer
http://axiom-developer.org
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] Real Closure paper,
daly <=