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.

Previous Menu Next

Related content

How do mathematicians learn math?: resources and acts for constructing and understanding mathematics

By Wilkerson-Jerde Michelle  

Educational Studies in Mathematics, Vol. 78, Iss. 1, 2011-09 ,pp. : 21-43

Springer Publishing Company

Access to resources Recommend Favorite

Computer-Assisted Dispersion Analysis of Porosity Variation in Metals

By Psarev V.   Parkhomenko L.  

Cybernetics and Systems Analysis, Vol. 41, Iss. 5, 2005-09 ,pp. : 783-788

Springer Publishing Company

Access to resources Recommend Favorite

Computer-Assisted Calculation and Graphical Presentation of Titration Curves

By Fedorov A. A.   Shmata T. S.  

Journal of Analytical Chemistry, Vol. 59, Iss. 5, 2004-05 ,pp. : 402-406

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Factors mathematicians profess to consider when presenting pedagogical proofs

By Lai Yvonne   Weber Keith  

Educational Studies in Mathematics, Vol. 85, Iss. 1, 2014-01 ,pp. : 93-108

Springer Publishing Company

Access to resources Recommend Favorite

A system for computer-assisted design of inorganic compounds based on computer training

By Kiselyova N.  

Pattern Recognition and Image Analysis, Vol. 21, Iss. 1, 2011-03 ,pp. : 88-94

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite