Kaliszyk, Cezary; Urban, Josef Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\). (English) Zbl 1314.68283 J. Autom. Reasoning 53, No. 2, 173-213 (2014); erratum ibid. 54, No. 1, 99 (2015). MSC: 68T15 68T05 PDFBibTeX XMLCite \textit{C. Kaliszyk} and \textit{J. Urban}, J. Autom. Reasoning 53, No. 2, 173--213 (2014; Zbl 1314.68283) Full Text: DOI arXiv
Iancu, Mihnea; Kohlhase, Michael; Rabe, Florian; Urban, Josef The Mizar Mathematical Library in OMDoc: translation and applications. (English) Zbl 1260.68375 J. Autom. Reasoning 50, No. 2, 191-202 (2013). MSC: 68T15 68T30 PDFBibTeX XMLCite \textit{M. Iancu} et al., J. Autom. Reasoning 50, No. 2, 191--202 (2013; Zbl 1260.68375) Full Text: DOI
Alama, Jesse; Brink, Kasper; Mamane, Lionel; Urban, Josef Large formal wikis: issues and solutions. (English) Zbl 1335.68220 Davenport, James H. (ed.) et al., Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22672-4/pbk). Lecture Notes in Computer Science 6824. Lecture Notes in Artificial Intelligence, 133-148 (2011). MSC: 68T15 68T30 68U35 PDFBibTeX XMLCite \textit{J. Alama} et al., Lect. Notes Comput. Sci. 6824, 133--148 (2011; Zbl 1335.68220) Full Text: DOI arXiv