ugly mathematics: why do mathematicians dislike computer- assisted proofs?

RecordNumber
806
CallNo
806A
Author
Montano, Ulianov
Title of Article
ugly mathematics: why do mathematicians dislike computer- assisted proofs?
Title Of Periodical
the mathematical intelligencer
PublishInfo
New York :springer ،2012
Volum
34
SerialNumber
4
Page
21-28
Link To Document :
http://math.iranlibs.ir/dL/search/default.aspx?Term=806&Field=0&DTC=11

Montano, Ulianov