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

✍ Scribed by Ulianov Montaño

• Book ID: 118118132
• Publisher: Springer-Verlag
• Year: 2012
• Tongue: English
• Weight: 327 KB
• Volume: 34
• Category: Article
• ISSN: 0343-6993
• DOI: 10.1007/s00283-012-9325-9