Josef Urban

A FORMAL PROOF OF THE KEPLER CONJECTURE

Thomas Hales, Mark Adams, Gertrud Bauer et al. · Forum of Mathematics Pi · 2017 · 340 citations · Full text

Natural Sciences, Mathematics, Physics +15

Measurement of charm production at central rapidity in proton-proton collisions at $ \sqrt {s} = 2.76\;{\text{TeV}} $

B. Abelev, J. Adam, D. Adamová et al. · Journal of High Energy Physics · 2012 · 183 citations · Full text

Natural Sciences, Physics, Nuclear Instrumentation +16

Learning-Assisted Automated Reasoning with Flyspeck

Cezary Kaliszyk, Josef Urban · Journal of Automated Reasoning · 2014 · 140 citations · Full text

Computing, Computer Science, Mathematics +17

Premise Selection for Mathematics by Corpus Analysis and Kernel Methods

Jesse Alama, Tom Heskes, Daniel Kühlwein et al. · Journal of Automated Reasoning · 2013 · 130 citations · Full text

Computing, Computer Science, Mathematics +9

MPTP 0.2: Design, Implementation, and Initial Experiments

Josef Urban · Journal of Automated Reasoning · 2006 · 125 citations

Computing, Computer Science, Computer Systems +14