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