The Mathematical Intelligencer

, Volume 34, Issue 4, pp 21–28

Ugly Mathematics: Why Do Mathematicians Dislike Computer-Assisted Proofs?

Authors

Viewpoint

DOI: 10.1007/s00283-012-9325-9

Cite this article as:
Montaño, U. Math Intelligencer (2012) 34: 21. doi:10.1007/s00283-012-9325-9

Copyright information

© Springer Science+Business Media, LLC 2012