
From:  daly 
Subject:  Re: [Axiomdeveloper] 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] 