Ugly Mathematics: Why Do Mathematicians Dislike Computer-Assisted Proofs?
Author: Montaño Ulianov
Publisher: Springer Publishing Company
ISSN: 0343-6993
Source: The Mathematical Intelligencer, Vol.34, Iss.4, 2012-12, pp. : 21-28
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.