[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Verified Computer Algebra in ACL2
|
From: |
daly |
|
Subject: |
[Axiom-developer] Verified Computer Algebra in ACL2 |
|
Date: |
Fri, 10 Jul 2015 20:16:32 -0500 |
I'm Tim Daly, Lead developer on the Axiom computer algebra system.
I'm reading the paper "Verified Computer Algebra in ACL2".
Is the code available somewhere? I'd like to reproduce the result
and understand the details.
Tim Daly
http://daly.axiom-developer.org
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] Verified Computer Algebra in ACL2,
daly <=