Korniłowicz, Artur Elementary number theory problems. VIII. (English) Zbl 07771372 Formaliz. Math. 31, No. 1, 87-100 (2023). MSC: 68V20 11A41 03B35 PDFBibTeX XMLCite \textit{A. Korniłowicz}, Formaliz. Math. 31, No. 1, 87--100 (2023; Zbl 07771372) Full Text: DOI OA License
Korniłowicz, Artur Elementary number theory problems. VII. (English) Zbl 07771366 Formaliz. Math. 31, No. 1, 23-29 (2023). MSC: 68V20 11A41 03B35 PDFBibTeX XMLCite \textit{A. Korniłowicz}, Formaliz. Math. 31, No. 1, 23--29 (2023; Zbl 07771366) Full Text: DOI OA License
Korniłowicz, Artur; Surowik, Dariusz Elementary number theory problems. II. (English) Zbl 1473.68209 Formaliz. Math. 29, No. 1, 63-68 (2021). MSC: 68V20 11A41 PDFBibTeX XMLCite \textit{A. Korniłowicz} and \textit{D. Surowik}, Formaliz. Math. 29, No. 1, 63--68 (2021; Zbl 1473.68209) Full Text: DOI
Kaliszyk, Cezary; Pąk, Karol Semantics of Mizar as an Isabelle object logic. (English) Zbl 1468.68290 J. Autom. Reasoning 63, No. 3, 557-595 (2019). MSC: 68V15 03B35 PDFBibTeX XMLCite \textit{C. Kaliszyk} and \textit{K. Pąk}, J. Autom. Reasoning 63, No. 3, 557--595 (2019; Zbl 1468.68290) Full Text: DOI
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
Grabowski, Adam Computer certification of generalized rough sets based on relations. (English) Zbl 1489.68284 Polkowski, Lech (ed.) et al., Rough sets. International joint conference, IJCRS 2017, Olsztyn, Poland, July 3–7, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10313, 83-94 (2017). MSC: 68T37 68T30 68V20 PDFBibTeX XMLCite \textit{A. Grabowski}, Lect. Notes Comput. Sci. 10313, 83--94 (2017; Zbl 1489.68284) Full Text: DOI
Korniłowicz, Artur Enhancement of Mizar texts with transitivity property of predicates. (English) Zbl 1344.68206 Kohlhase, Michael (ed.) et al., Intelligent computer mathematics. 9th international conference, CICM 2016, Bialystok, Poland, July 25–29, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-42546-7/pbk; 978-3-319-42547-4/ebook). Lecture Notes in Computer Science 9791. Lecture Notes in Artificial Intelligence, 157-162 (2016). MSC: 68T15 68T30 PDFBibTeX XMLCite \textit{A. Korniłowicz}, Lect. Notes Comput. Sci. 9791, 157--162 (2016; Zbl 1344.68206) Full Text: DOI
Naumowicz, Adam; Piliszek, Radosław Accessing the Mizar library with a weakly strict Mizar parser. (English) Zbl 1344.68211 Kohlhase, Michael (ed.) et al., Intelligent computer mathematics. 9th international conference, CICM 2016, Bialystok, Poland, July 25–29, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-42546-7/pbk; 978-3-319-42547-4/ebook). Lecture Notes in Computer Science 9791. Lecture Notes in Artificial Intelligence, 77-82 (2016). MSC: 68T15 68T30 PDFBibTeX XMLCite \textit{A. Naumowicz} and \textit{R. Piliszek}, Lect. Notes Comput. Sci. 9791, 77--82 (2016; Zbl 1344.68211) Full Text: DOI
Grabowski, Adam (ed.); Korniłowicz, Artur (ed.); Naumowicz, Adam (ed.) Four decades of {Mizar}. Foreword. (English) Zbl 1336.00111 J. Autom. Reasoning 55, No. 3, 191-198 (2015). MSC: 00B15 68T15 03B35 03E75 68-06 03-06 PDFBibTeX XMLCite \textit{A. Grabowski} (ed.) et al., J. Autom. Reasoning 55, No. 3, 191--198 (2015; Zbl 1336.00111) Full Text: DOI