Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems

by Sebastiaan Joosten, Cezary Kaliszyk, Josef Urban
Published 2014-06-01

Preface: Twenty Years of the QED Manifesto

by John Harrison, Josef Urban, Freek Wiedijk
Published 2016-01-01

Isokinetic strength of knee flexors and extensors of adolescent soccer players and its changes based on movement speed and age [Izokinetická síla flexorů a extenzorů kolena u adole...

by Rudolf Psotta, Jiří Herbert Procházka, Josef Urban, Michal Lehnert
Published 2011-06-01

Hammering towards QED

by Jasmin C. Blanchette, Cezary Kaliszyk, Lawrence C. Paulson, Josef Urban
Published 2016-01-01

Biotic threats for 23 major non-native tree species in Europe

by Elisabeth Pötzelsberger, Martin M. Gossner, Ludwig Beenken, Anna Gazda, Michal Petr, Tiina Ylioja, Nicola La Porta, Dimitrios N. Avtzis, Elodie Bay, Maarten De Groot, Rein Drenkhan, Mihai-Leonard Duduman, Rasmus Enderle, Margarita Georgieva, Ari M. Hietala, Björn Hoppe, Hervé Jactel, Kristjan Jarni, Srđan Keren, Zsolt Keseru, Marcin Koprowski, Andrej Kormuťák, María Josefa Lombardero, Aljona Lukjanova, Vitas Marozas, Edurad Mauri, Maria Cristina Monteverdi, Per Holm Nygaard, Nikica Ogris, Nicolai Olenici, Christophe Orazio, Bernhard Perny, Glória Pinto, Michael Power, Radoslaw Puchalka, Hans Peter Ravn, Ignacio Sevillano, Sophie Stroheker, Paul Taylor, Panagiotis Tsopelas, Josef Urban, Kaljo Voolma, Marjana Westergren, Johanna Witzell, Olga Zborovska, Milica Zlatkovic
Published 2021-08-01