Kaliszyk, Cezary; Urban, Josef; Vyskočil, Jiří Lemmatization for stronger reasoning in large theories. (English) Zbl 1471.68313 Lutz, Carsten (ed.) et al., Frontiers of combining systems. 10th international symposium, FroCoS 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9322, 341-356 (2015). MSC: 68V15 68T05 PDFBibTeX XMLCite \textit{C. Kaliszyk} et al., Lect. Notes Comput. Sci. 9322, 341--356 (2015; Zbl 1471.68313) Full Text: DOI
Kaliszyk, Cezary; Schulz, Stephan; Urban, Josef; Vyskočil, Jiří System description: E.T. 0.1. (English) Zbl 1465.68286 Felty, Amy P. (ed.) et al., Automated deduction – CADE-25. 25th international conference on automated deduction, Berlin, Germany, August 1–7, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9195, 389-398 (2015). MSC: 68V15 PDFBibTeX XMLCite \textit{C. Kaliszyk} et al., Lect. Notes Comput. Sci. 9195, 389--398 (2015; Zbl 1465.68286) Full Text: DOI
Urban, Josef; Vyskočil, Jiří Theorem proving in large formal mathematics as an emerging AI field. (English) Zbl 1276.68139 Bonacina, Maria Paola (ed.) et al., Automated reasoning and mathematics. Essays in memory of William W. McCune. Berlin: Springer (ISBN 978-3-642-36674-1/pbk). Lecture Notes in Computer Science 7788. Lecture Notes in Artificial Intelligence, 240-257 (2013). Reviewer: Manfred Kerber (Birmingham) MSC: 68T15 PDFBibTeX XMLCite \textit{J. Urban} and \textit{J. Vyskočil}, Lect. Notes Comput. Sci. 7788, 240--257 (2013; Zbl 1276.68139) Full Text: DOI arXiv