Artificial Intelligence for Large-Scale Computer-Assisted Reasoning

Author(s): Geoff Sutcliffe, Josef Urban
Published in: AI Communications, Issue 29/3, 2016, Page(s) 423-433, ISSN 0921-7126
DOI: 10.3233/AIC-150691

Author(s): Jasmin Christian Blanchette, David Greenaway, Cezary Kaliszyk, Daniel Kühlwein, Josef Urban
Published in: Journal of Automated Reasoning, Issue 57/3, 2016, Page(s) 219-244, ISSN 0168-7433
DOI: 10.1007/s10817-016-9362-8

Author(s): John Harrison, Josef Urban, Freek Wiedijk
Published in: Journal of Formalized Reasoning, Issue 9, 2016, Page(s) 1-2, ISSN 1972-5787
DOI: 10.6092/issn.1972-5787/5974

Author(s): THOMAS HALES, MARK ADAMS, GERTRUD BAUER, TAT DAT DANG, JOHN HARRISON, LE TRUONG HOANG, CEZARY KALISZYK, VICTOR MAGRON, SEAN MCLAUGHLIN, TAT THANG NGUYEN, QUANG TRUONG NGUYEN, TOBIAS NIPKOW, STEVEN OBUA, JOSEPH PLESO, JASON RUTE, ALEXEY SOLOVYEV, THI HOAI AN TA, NAM TRUNG TRAN, THI DIEP TRIEU, JOSEF URBAN, KY VU, ROLAND ZUMKELLER
Published in: Forum of Mathematics, Pi, Issue 5, 2017, ISSN 2050-5086
DOI: 10.1017/fmp.2017.1

Author(s): Freek Wiedijk, Herman Geuvers, Josef Urban
Published in: Nieuw Archief voor Wiskunde, Issue 5/17, 2016, Page(s) 177-183, ISSN 0028-9825

Author(s): Jasmin C. Blanchette, Cezary Kaliszyk, Lawrence C. Paulson, Josef Urban
Published in: Journal of Formalized Reasoning, Issue vol9, no 1, 2016, Page(s) 101-148, ISSN 1972-5787
DOI: 10.6092/issn.1972-5787/4593

Author(s): Stephan Schulz, Geoff Sutcliffe, Josef Urban, Adam Pease
Published in: Automated Deduction - CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings, LNCS, Issue 10395, 2017, Page(s) 310-325
DOI: 10.1007/978-3-319-63046-5_19

Author(s): Cezary Kaliszyk, Karol Pąk, Josef Urban
Published in: Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2016, 2016, Page(s) 58-65
DOI: 10.1145/2854065.2854070

Author(s): Michael Färber, Cezary Kaliszyk, Josef Urban
Published in: Automated Deduction - CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings, LNCS, Issue 10395, 2017, Page(s) 563-579
DOI: 10.1007/978-3-319-63046-5_34

Author(s): Cezary Kaliszyk, Josef Urban, Jiří Vyskočil
Published in: Interactive Theorem Proving - 8th International Conference, LNCS 10499, 2017, Page(s) 12-27
DOI: 10.1007/978-3-319-66107-0_2

Author(s): Jan Jakubuv, Martin Suda, Josef Urban
Published in: EPiC Series in Computing volume 50, 2017, Page(s) 121-107
DOI: 10.29007/xghj

Author(s): Thibault Gauthier, Cezary Kaliszyk, Josef Urban
Published in: EPiC Series in Computing volume 46, 2017, Page(s) 125-105
DOI: 10.29007/ntlb

Author(s): Jan Jakubův, Josef Urban
Published in: Intelligent Computer Mathematics. CICM 2017. Lecture Notes in Computer Science, vol 10383, Issue 10383, 2017, Page(s) 292-302
DOI: 10.1007/978-3-319-62075-6_20

Author(s): Josef Urban
Published in: EPiC Series in Computing volume 51, 2017, Page(s) 33-28
DOI: 10.29007/26gg

Author(s): Jan Jakubův, Josef Urban
Published in: Intelligent Computer Mathematics. CICM 2016. Lecture Notes in Computer Science, vol 9791, Issue 9791, 2016, Page(s) 151-156
DOI: 10.1007/978-3-319-42547-4_11

Author(s): Chad E. Brown, Josef Urban
Published in: Intelligent Computer Mathematics. CICM 2016. Lecture Notes in Computer Science, vol 9791, Issue 9791, 2016, Page(s) 99-114
DOI: 10.1007/978-3-319-42547-4_8

Author(s): Thibault Gauthier, Cezary Kaliszyk, Josef Urban
Published in: Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2016, 2017, Page(s) 219-228

Author(s): Cezary Kaliszyk, Josef Urban, Jiří Vyskočil
Published in: Frontiers of Combining Systems. Lecture Notes in Computer Science, vol 9322, Issue 9322, 2015, Page(s) 341-356
DOI: 10.1007/978-3-319-24246-0_21

Author(s): Josef Urban, Robert Veroff
Published in: EPiC Series in Computing volume 40, 2016, Page(s) 122-116
DOI: 10.29007/pqh1

Author(s): Josef Urban
Published in: EPiC Series in Computing volume 36, 2015, Page(s) 312-303
DOI: 10.29007/8n7m

Author(s): Cezary Kaliszyk, Josef Urban
Published in: Logic for Programming, Artificial Intelligence, and Reasoning. Lecture Notes in Computer Science, vol 9450, Issue 9450, 2015, Page(s) 88-96
DOI: 10.1007/978-3-662-48899-7_7

Author(s): Yutaka Nagashima, Ramana Kumar
Published in: Automated Deduction – CADE 26. CADE 2017. Lecture Notes in Computer Science, vol 10395, Issue 10395, 2017, Page(s) 528-545
DOI: 10.1007/978-3-319-63046-5_32

Author(s): Jan Jakubuv, Josef Urban
Published in: CPP 2017 Proceedings, 2017, Page(s) 43-52
DOI: 10.1145/3018610.3018619

Author(s): Cezary Kaliszyk, Josef Urban, Jiri Vyskocil
Published in: EPiC Series in Computing volume 40, Issue vol 40, pages 27-36, 2016, Page(s) 27-16, ISSN 2398-7340
DOI: 10.29007/8c2m

Author(s): Alex A. Alemi, François Chollet, Geoffrey Irving, Christian Szegedy, Josef Urban
Published in: Advances in Neural Information Processing Systems 29 (NIPS 2016), Issue 29, NIPS 2016, 2016, Page(s) 2235--2243

Author(s): Michael Färber, Chad E. Brown
Published in: IJCAR 2016, Issue Lecture Notes in Computer Science, vol 9706, 2016, Page(s) 349-361
DOI: 10.1007/978-3-319-40229-1_24

Author(s): Cezary Kaliszyk, Josef Urban, Jiri Vyskocil
Published in: 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2017, Page(s) 169-172
DOI: 10.1109/SYNASC.2017.00036

Author(s): Cezary Kaliszyk, Josef Urban
Published in: Semantic Web Collaborative Spaces. SWCS 2013, SWCS 2014. Lecture Notes in Computer Science, vol 9507, Issue 9507, 2016, Page(s) 35-52
DOI: 10.1007/978-3-319-32667-2_3

Author(s): Jan Jakubův, Cezary Kaliszyk
Published in: Mathematical Software – ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, Issue 10931, 2018, Page(s) 245-254
DOI: 10.1007/978-3-319-96418-8_29

Author(s): Zarathustra Goertzel, Jan Jakubův, Stephan Schulz, Josef Urban
Published in: Interactive Theorem Proving - 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings, Issue 10895, 2018, Page(s) 270-288
DOI: 10.1007/978-3-319-94821-8_16

Author(s): Chad E. Brown, Karol Pąk
Published in: Intelligent Computer Mathematics - 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings, Issue 11617, 2019, Page(s) 44-60
DOI: 10.1007/978-3-030-23250-4_4

Author(s): Chad E. Brown, Thibault Gauthier, Cezary Kaliszyk, Geoff Sutcliffe, Josef Urban
Published in: Automated Deduction – CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings, Issue 11716, 2019, Page(s) 123-141
DOI: 10.1007/978-3-030-29436-6_8