Thomas Hales
Thomas Hales
applied complex evident peer practices review
The shortcomings of traditional practices of peer review become evident when applied to complex computer-assisted proofs.
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.