b'
Some discussion of why computer-checked proofs have not been adopted more in mathematics.\\xa0 The psychology of telling mathematicians their time-honored method of investigation is inadequate and they need computer-checked proofs.\\xa0 Computer-checked proofs and certainty.
'