[Top][All Lists]

[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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]