Proving theorems by computer (Introduction)

by David Turell , Friday, October 12, 2012, 16:01 (4427 days ago)

Amazing programming should please Matt:-http://phys.org/news/2012-10-six-year-journey-proof-feit-thompson-theorem.html