Thomas Hales
Thomas Hales
came proof sure year
After a year they came back to me and said that they were 99% sure that the proof was correct.
case wants word
The word is he's got it. But no one wants to say so in case they're wrong.
badly computer course problem solve
If you want to solve a problem badly enough and you can do with a computer what you can't do without a computer then of course you'll use it.
applied complex evident peer practices review
The shortcomings of traditional practices of peer review become evident when applied to complex computer-assisted proofs.