Josef Urban

Josef Urban

Czech Technical University in Prague - Prague / Czech Republic
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 1547220
Ceské vysoké ucení technické v Praze
person_outline Josef Urban's MOST POPULAR ARTICLES
1-) A formal proof of the Kepler conjectureT Hales, M Adams, G Bauer, TD Dang, J Harrison, H Le Truong, ...Forum of mathematics, Pi 5, 20173422017
2-) Deepmath-deep sequence models for premise selectionG Irving, C Szegedy, AA Alemi, N Eén, F Chollet, J UrbanAdvances in neural information processing systems 29, 2016256*2016
3-) Mizar: State-of-the-art and beyondG Bancerek, C Byliński, A Grabowski, A Korniłowicz, R Matuszewski, ...International Conference on Intelligent Computer Mathematics, 261-279, 20152562015
4-) Hammering towards QEDJC Blanchette, C Kaliszyk, LC Paulson, J UrbanJournal of Formalized Reasoning 9 (1), 101-148, 20162312016
5-) Learning-assisted automated reasoning with FlyspeckC Kaliszyk, J UrbanJournal of Automated Reasoning 53, 173-213, 20142052014