|
From: | daly |
Subject: | Re: [Axiom-developer] Computational Mathematics, proofs, and correctness |
Date: | Tue, 27 May 2014 12:38:51 -0500 |
Waldek, Thanks for the references. Oddly, many of them are from my graduate course :-) Tim
[Prev in Thread] | Current Thread | [Next in Thread] |