Josef Urban
Author
Alternate names J. Urbán, Josef Urban, J. Urban, J.E. Urban
Institution Czech Technical University in Prague
Past institutions Czech Technical University in Prague, Radboud University Nijmegen, Universität Innsbruck, Institute of Informatics of the Slovak Academy of Sciences, Eindhoven University of Technology +5 more
ORCID: Yes
H-index: 38
I10-index: 111
Works count: 280
Citations count: 5,087
A Formal Proof Of The Kepler Conjecture
2017 · Thomas Hales, Mark Adams, et al. · Forum of Mathematics Pi
Mizar: State-of-the-art and Beyond
2015 · Grzegorz Bancerek, Czesław Byliński, et al. · Lecture notes in computer science
Learning-Assisted Automated Reasoning with Flyspeck
2014 · Cezary Kaliszyk, Josef Urban · Journal of Automated Reasoning