Roland Zumkeller

According to our database, Roland Zumkeller authored at least 3 papers between 2006 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

A formal proof of the Kepler conjecture.

Thomas C. Hales, Mark Adams, Gertrud Bauer, Dat Tat Dang, John Harrison, Truong Le Hoang, Cezary Kaliszyk, Victor Magron, Sean McLaughlin, Thang Tat Nguyen, Truong Quang Nguyen, Tobias Nipkow, Steven Obua, Joseph Pleso, Jason M. Rute, Alexey Solovyev, An Hoai Thi Ta, Trung Nam Tran, Diep Thi Trieu, Josef Urban, Ky Khac Vu, Roland Zumkeller

CoRR, 2015

2010

A Revision of the Proof of the Kepler Conjecture.

Thomas C. Hales, John Harrison, Sean McLaughlin, Tobias Nipkow, Steven Obua, Roland Zumkeller

Discret. Comput. Geom., 2010

2006

Formal Global Optimisation with Taylor Models.

Roland Zumkeller

Proceedings of the Automated Reasoning, Third International Joint Conference, 2006