|
| 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] |