author-photo

Roland Zumkeller

École Polytechnique

8

Papers

465

Citations

Citation Trend

Filter By

Papers (5) Sort By

Journal Conference Others

A formal proof of the Kepler conjecture

2015 arXiv: Metric Geometry
Show All
- Source
- Cite
- Save
Citations (72)
A Revision of the Proof of the Kepler Conjecture

2010 Discrete and Computational Geometry
Show All
- Source
- Cite
- Save
Citations (95)
A Revision of the Proof of the Kepler Conjecture

2009 Discrete and Computational Geometry
Show All
- Source
- Cite
- Save
Citations (0)
A revision of the proof of the Kepler conjecture

2009 arXiv: Metric Geometry
Show All
- Source
- Cite
- Save
Citations (4)
Formal global optimisation with taylor models

2006 IJCAR | International Joint Conference on Automated Reasoning
- Roland Zumkeller
Show All
- Source
- Cite
- Save
Citations (26)