Josef Urban

A FORMAL PROOF OF THE KEPLER CONJECTURE

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

Geometry Of Number, Formal Proof, Discrete Geometry +6

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 · 176 citations · Full text

Learning-Assisted Automated Reasoning with Flyspeck

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

Artificial Intelligence, Learning-assisted Automated Reasoning, Engineering +16

Premise Selection for Mathematics by Corpus Analysis and Kernel Methods

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

Engineering, Premise Selection, Automated Reasoning +12

MPTP 0.2: Design, Implementation, and Initial Experiments

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

Engineering, Network Communication Protocol, Edge Computing +5