Edit Profile Zumkeller, Roland Compute Distance To: Compute Author ID: zumkeller.roland Published as: Zumkeller, Roland Documents Indexed: 3 Publications since 2006 all top 5 Co-Authors 1 single-authored 2 Hales, Thomas Callister 2 McLaughlin, Sean 2 Nipkow, Tobias 2 Obua, Steven 1 Adams, Mark 1 Bauer, Gertrud 1 Dang, Tat Dat 1 Harrison, John 1 Harrison, John W. 1 Hoang, Le Truong 1 Kaliszyk, Cezary 1 Magron, Victor 1 Nguyen, Quang Truong 1 Nguyen, Tat Thang 1 Pleso, Joseph 1 Rute, Jason 1 Solovyev, Alexey 1 Ta Thi Hoai An 1 Tran, Nam Trung 1 Trieu, Thi Diep 1 Urban, Josef 1 Vu, Ky Minh Serials 1 Discrete & Computational Geometry 1 Forum of Mathematics, Pi Fields 2 Convex and discrete geometry (52-XX) 2 Computer science (68-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year Citations contained in zbMATH 3 Publications have been cited 30 times in 30 Documents Cited by ▼ Year ▼ A revision of the proof of the Kepler conjecture. Zbl 1195.52004Hales, Thomas C.; Harrison, John; McLaughlin, Sean; Nipkow, Tobias; Obua, Steven; Zumkeller, Roland 14 2010 A formal proof of the Kepler conjecture. Zbl 1379.52018Hales, Thomas; Adams, Mark; Bauer, Gertrud; Dang, Tat Dat; Harrison, John; Hoang, Le Truong; Kaliszyk, Cezary; Magron, Victor; McLaughlin, Sean; Nguyen, Tat Thang; Nguyen, Quang Truong; Nipkow, Tobias; Obua, Steven; Pleso, Joseph; Rute, Jason; Solovyev, Alexey; Ta, Thi Hoai An; Tran, Nam Trung; Trieu, Thi Diep; Urban, Josef; Vu, Ky; Zumkeller, Roland 11 2017 Formal global optimisation with Taylor models. Zbl 1222.68377Zumkeller, Roland 5 2006 A formal proof of the Kepler conjecture. Zbl 1379.52018Hales, Thomas; Adams, Mark; Bauer, Gertrud; Dang, Tat Dat; Harrison, John; Hoang, Le Truong; Kaliszyk, Cezary; Magron, Victor; McLaughlin, Sean; Nguyen, Tat Thang; Nguyen, Quang Truong; Nipkow, Tobias; Obua, Steven; Pleso, Joseph; Rute, Jason; Solovyev, Alexey; Ta, Thi Hoai An; Tran, Nam Trung; Trieu, Thi Diep; Urban, Josef; Vu, Ky; Zumkeller, Roland 11 2017 A revision of the proof of the Kepler conjecture. Zbl 1195.52004Hales, Thomas C.; Harrison, John; McLaughlin, Sean; Nipkow, Tobias; Obua, Steven; Zumkeller, Roland 14 2010 Formal global optimisation with Taylor models. Zbl 1222.68377Zumkeller, Roland 5 2006 all top 5 Cited by 93 Authors 3 Nipkow, Tobias 2 Aransay, Jesús 2 Divasón, Jose 2 Hales, Thomas Callister 2 Harrison, John 2 Kaliszyk, Cezary 2 Magron, Victor 2 McLaughlin, Sean 2 Obua, Steven 2 Paulson, Lawrence Charles 2 Urban, Josef 1 Adams, Mark 1 Adams, Mark F. 1 Allamigeon, Xavier 1 Alt, Helmut 1 Bancerek, Grzegorz 1 Barthe, Gilles 1 Bauer, Gertrud 1 Bogoşel, Beniamin 1 Bourne, David P. 1 Buchin, Kevin 1 Bucur, Dorin 1 Budzyńska, Katarzyna 1 Byliński, Czesław 1 Chaplick, Steven 1 Cheong, Otfried 1 Chevillard, Sylvain 1 Collins, Peter J. 1 Corneli, Joseph 1 Dang, Tat Dat 1 Elser, Veit 1 Fragalà, Ilaria 1 Fulla, Marlon 1 Gallego, Edisson 1 Ganesalingam, Mohan 1 Gaubert, Stéphane 1 Gómez-Ramírez, Danny Arlen de Jesús 1 Gowers, William Timothy 1 Grabowski, Adam 1 Gravel, Simon 1 Grayson, Daniel Richard 1 Grégoire, Benjamin 1 Guan, Yong 1 Gunther, Emmanuel 1 Harrison, John R. 1 Hoang, Le Truong 1 Holmes, Kathryn 1 Joldeş, Mioara 1 Kallus, Yoav 1 Kindermann, Philipp 1 Knauer, Christian 1 Konev, Boris 1 Köppe, Matthias 1 Korniłowicz, Artur 1 Lakhnech, Yassine 1 Lauter, Christoph Quirin 1 Lawrence, John C. 1 Li, Liming 1 Li, Yongdong 1 Lisitsa, Alexei 1 Matuszewski, Roman 1 Muñoz, César A. 1 Narkawicz, Anthony Joseph 1 Naumowicz, Adam 1 Nguyen, Quang Truong 1 Nguyen, Tat Thang 1 Niqui, Milad 1 Pagano, Miguel 1 Pąk, Karol 1 Pease, Alison 1 Peletier, Mark Adriaan 1 Pleso, Joseph 1 Reed, Chris 1 Revol, Nathalie 1 Rivera, Ismael 1 Rute, Jason 1 Sánchez Terraf, Pedro 1 Shi, Zhiping 1 Solovyev, Alexey 1 Stehn, Fabian 1 Ta Thi Hoai An 1 Theil, Florian 1 Tran, Nam Trung 1 Trieu, Thi Diep 1 Vélez, Juan Diego 1 Vu, Ky Minh 1 Wenzel, Makarius 1 Werner, Benjamin 1 Zanella Béguelin, Santiago 1 Zhang, Qianying 1 Zhou, Yuan 1 Zsidó, Julianna 1 Zumkeller, Roland all top 5 Cited in 15 Serials 8 Journal of Automated Reasoning 2 Artificial Intelligence 2 Journal of Formalized Reasoning 1 Communications in Mathematical Physics 1 Applied Mathematics and Optimization 1 Theoretical Computer Science 1 Discrete & Computational Geometry 1 Journal of the American Mathematical Society 1 Formal Aspects of Computing 1 Bulletin of the American Mathematical Society. New Series 1 Annals of Mathematics and Artificial Intelligence 1 JP Journal of Algebra, Number Theory and Applications 1 Mathematics in Computer Science 1 Forum of Mathematics, Pi 1 Proceedings of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences all top 5 Cited in 18 Fields 21 Computer science (68-XX) 6 Mathematical logic and foundations (03-XX) 4 Convex and discrete geometry (52-XX) 3 Numerical analysis (65-XX) 3 Operations research, mathematical programming (90-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Number theory (11-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Real functions (26-XX) 1 Special functions (33-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Geometry (51-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Information and communication theory, circuits (94-XX) 1 Mathematics education (97-XX) Citations by Year