A FORMAL PROOF OF THE KEPLER CONJECTURE

MLA

Roland Zumkeller, et al. “A Formal Proof of the Kepler Conjecture.” Forum of Mathematics. Pi, vol. 5, Jan. 2017, pp. 1–29. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsair&AN=edsair.doi.dedup.....a280db53ee95a279e1aa5fc6830335ea&authtype=sso&custid=ns315887.

APA

Roland Zumkeller, Ky Khac Vu, Joseph Pleso, Tobias Nipkow, Truong Le Hoang, Truong Quang Nguyen, Sean McLaughlin, Steven Obua, Jason Rute, An Hoai Thi Ta, Mark Adams, Alexey Solovyev, Thang Tat Nguyen, Trung Nam Tran, Cezary Kaliszyk, Dat Tat Dang, John Harrison, Victor Magron, Gertrud Bauer, … Thomas C. Hales. (2017). A Formal Proof of the Kepler Conjecture. Forum of Mathematics. Pi, 5, 1–29.

Chicago

Roland Zumkeller, Ky Khac Vu, Joseph Pleso, Tobias Nipkow, Truong Le Hoang, Truong Quang Nguyen, Sean McLaughlin, et al. 2017. “A Formal Proof of the Kepler Conjecture.” Forum of Mathematics. Pi 5 (January): 1–29. http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsair&AN=edsair.doi.dedup.....a280db53ee95a279e1aa5fc6830335ea&authtype=sso&custid=ns315887.