Results 1 - 1 of 1
Kepler conjecture source code (1998)
by T C Hales
...derstanding of the proof. There are four major difficulties with understanding and verifying the original code base. The first and most glaring difficulty is simply the amount of code. At the website =-=-=- that posts the code for the original proof there are well over 50,000 lines of programs in Java, C++, and Mathematica (among others). This represents only the calculations that Hales did himself. Sam...
Developed at and hosted by The College of Information Sciences and Technology
© 2007-2016 The Pennsylvania State University