|
From: | daly |
Subject: | [Axiom-developer] Why proving Axiom correct is important |
Date: | Thu, 7 May 2015 22:20:14 -0500 |
Mathematicans need to be able to rely on the algorithms. http://nautil.us/issue/24/error/in-mathematics-mistakes-arent-what-they-used-to-be
[Prev in Thread] | Current Thread | [Next in Thread] |