Robbins-prijs voor computerbewijs Keplervermoeden

Samuel P. Ferguson van de National Security Agency en Thomas C. Hales van de universiteit van Pittsburgh ontvingen op 6 januari de eerste David P. Robbins Prize van de American Mathematical Society voor hun computerbewijs van het Keplervermoeden, gepubliceerd in Thomas C. Hales. “A proof of the Kepler conjecture”, Annals of Mathematics, Vol. 162. No. [...]

¶ Posted Saturday 20 January 2007 § Bewijzen, Computers, Nieuws ‡ Comments (0)