6,154 followers 상일 @sioum "Ugly mathematics: why do mathematicians dislike computer-assisted proofs?" http://t.co/8KbNbJ6oZg 04 May 2013 Reply Repost Favourite