Register | Login

	quanta	May 19, 2015
	Will Computers Redefine the Roots of Math? ⌘ http://www.quantamagazine.org/?p=16817 #computer_science #mathematics #proofs #topology