Bancerek, Grzegorz; Byliński, Czesław; Grabowski, Adam; Korniłowicz, Artur; Matuszewski, Roman; Naumowicz, Adam; Pąk, Karol The role of the Mizar mathematical library for interactive proof development in Mizar. (English) Zbl 1433.68530 J. Autom. Reasoning 61, No. 1-4, 9-32 (2018). MSC: 68V15 68V20 68V30 PDFBibTeX XMLCite \textit{G. Bancerek} et al., J. Autom. Reasoning 61, No. 1--4, 9--32 (2018; Zbl 1433.68530) Full Text: DOI
Bancerek, Grzegorz; Byliński, Czesław; Grabowski, Adam; Korniłowicz, Artur; Matuszewski, Roman; Naumowicz, Adam; Pąk, Karol; Urban, Josef Mizar: state-of-the-art and beyond. (English) Zbl 1417.68201 Kerber, Manfred (ed.) et al., Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13–17, 2015, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9150, 261-279 (2015). MSC: 68T30 68T15 PDFBibTeX XMLCite \textit{G. Bancerek} et al., Lect. Notes Comput. Sci. 9150, 261--279 (2015; Zbl 1417.68201) Full Text: DOI
Grabowski, Adam; Schwarzweller, Christoph On duplication in mathematical repositories. (English) Zbl 1286.68429 Autexier, Serge (ed.) et al., Intelligent computer mathematics. 10th international conference, AISC 2010, 17th symposium, Calculemus 2010, and 9th international conference, MKM 2010, Paris, France, July 5–10, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14127-0/pbk). Lecture Notes in Computer Science 6167. Lecture Notes in Artificial Intelligence, 300-314 (2010). MSC: 68T30 68U35 PDFBibTeX XMLCite \textit{A. Grabowski} and \textit{C. Schwarzweller}, Lect. Notes Comput. Sci. 6167, 300--314 (2010; Zbl 1286.68429) Full Text: DOI arXiv
Grabowski, Adam; Schwarzweller, Christoph Revisions as an essential tool to maintain mathematical repositories. (English) Zbl 1202.68465 Kauers, Manuel (ed.) et al., Towards mechanized mathematical assistants. 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27–30, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73083-5/pbk). Lecture Notes in Computer Science 4573. Lecture Notes in Artificial Intelligence, 235-249 (2007). MSC: 68U35 68T15 PDFBibTeX XMLCite \textit{A. Grabowski} and \textit{C. Schwarzweller}, Lect. Notes Comput. Sci. 4573, 235--249 (2007; Zbl 1202.68465) Full Text: DOI