Roland Zumkeller

Follow

As of my knowledge cutoff in September 2021, there is no widely known mathematician by the name of Roland Zumkeller. It's possible that he is a mathematician who gained prominence after 2021 or is known within a specific mathematical community or region. If you have more information or context about him, I'd be happy to try to assist further.

Common Coauthors
Commonly Cited References
Action Title Year Authors # of times referenced
+ Introduction to the Flyspeck Project 2006 Thomas C. Hales
4
+ PDF Chat A proof of the Kepler conjecture 2005 Thomas Hales
4
+ PDF Chat Flyspeck II: the basic linear programs 2009 Steven Obua
Tobias Nipkow
3
+ Flyspeck I: Tame Graphs 2006 Tobias Nipkow
Gertrud Bauer
Paula Schultz
3
+ The Kepler conjecture 1998 Thomas C. Hales
3
+ PDF Chat Guest Editors' Foreword 2006 Gábor Tóth
Jeffrey C. Lagaria
3
+ Formal Proofs for Global Optimization -- Templates and Sums of Squares 2013 Victor Magron
2
+ Developments in Formal Proofs 2014 Thomas C. Hales
2
+ PDF Chat Sphere Packing, IV. Detailed Bounds 2006 Thomas Hales
2
+ PDF Chat Sphere packings, I 1997 Thomas Hales
2
+ PDF Chat The dodecahedral conjecture 2009 Thomas Hales
Sean McLaughlin
2
+ PDF Chat Sphere Packings, V. Pentahedral Prisms 2006 Samuel P. Ferguson
2
+ Without Loss of Generality 2009 John Harrison
2
+ Learning-assisted theorem proving with millions of lemmas 2014 Cezary Kaliszyk
Josef Urban
2
+ PDF Chat The pitfalls of verifying floating-point computations 2008 David Monniaux
2
+ PDF Chat Learning-Assisted Automated Reasoning with Flyspeck 2014 Cezary Kaliszyk
Josef Urban
2
+ Some Methods of Problem Solving in Elementary Geometry 2007 Thomas Hales
2
+ Convergent bounds for the range of multivariate polynomials 1986 JĂĽrgen Garloff
2
+ Formalizing plane graph theory : towards a formalized proof of the Kepler conjecture 2006 Gertrud Bauer
2
+ PDF Chat The Jordan Curve Theorem, Formally and Informally 2007 Thomas C. Hales
2
+ The Analysis of Linear Partial Differential Operators II 2005 Lars Hörmander
2
+ The analysis of linear partial differential operators 1990 Lars Hörmander
2
+ A Decision Method for Elementary Algebra and Geometry 1951 Alfred Tarski
J. C. C. McKinsey
2
+ Semidefinite programming relaxations for semialgebraic problems 2003 Pablo A. Parrilo
2
+ PDF Chat Sphere Packing, III. Extremal Cases 2006 Thomas Hales
2
+ PDF Chat Formal Mathematics on Display: A Wiki for Flyspeck 2013 Carst Tankink
Cezary Kaliszyk
Josef Urban
Herman Geuvers
1
+ Sphere packings, V. 1997 Samuel L. P. Ferguson
1
+ Dense Sphere Packings 2012 Thomas C. Hales
1
+ A proof of the dodecahedral conjecture 1998 Thomas C. Hales
Sean McLaughlin
1
+ The Analysis of Linear Partial Differential Operators III 2007 Lars Hörmander
1
+ PDF Chat Formal Verification of Nonlinear Inequalities with Taylor Interval Approximations 2013 Alexey Solovyev
Thomas Hales
1
+ Sphere packings IV 1998 Thomas C. Hales
1
+ The Strong Dodecahedral Conjecture and Fejes Toth's Contact Conjecture 2011 Thomas C. Hales
1
+ Some new results on decidability for elementary algebra and geometry 2012 Robert M Solovay
Rob Arthan
John Harrison
1
+ Study of the Kepler’s conjecture: the problem of the closest packing 2009 Christian Marchal
1
+ A Revision of the Proof of the Kepler Conjecture 2009 Thomas Hales
John Harrison
Sean McLaughlin
Tobias Nipkow
Steven Obua
Roland Zumkeller
1
+ Sphere packings III 1998 Thomas C. Hales
1
+ Dense Sphere Packings: A Blueprint for Formal Proofs 2012 Thomas C. Hales
1
+ PDF Chat A Formulation of the Kepler Conjecture 2006 Thomas Hales
Samuel P. Ferguson
1
+ Flyspecking Flyspeck 2014 Mark Adams
1