dr hab. Artur Korniłowicz

Publications

1. A. Grabowski, A. Korniłowicz
   Implementing More Explicit Definitional Expansions in Mizar
   14th International Conference on Interactive Theorem Proving (ITP 2023), (A. Naumowicz, R. Thiemann Ed(s).), vol. 268, (publ. by) Schloss Dagstuhl Leibniz-Zentrum fuer Informatik, 2023, pp. 37:1-37:8.
   DOI: 10.4230/LIPIcs.ITP.2023.37
2. A. Korniłowicz
   Elementary Number Theory Problems. Part IX
   Form. Math. 31 (2023), no. 1, 161-169.
   DOI: 10.2478/forma-2023-0015
3. A. Korniłowicz
   Elementary Number Theory Problems. Part VII
   Form. Math. 31 (2023), no. 1, 23-29.
   DOI: 10.2478/forma-2023-0003
4. A. Korniłowicz
   Elementary Number Theory Problems. Part VIII
   Form. Math. 31 (2023), no. 1, 87-100.
   DOI: 10.2478/forma-2023-0009
5. A. Korniłowicz
   Elementary Number Theory Problems. Part X - Diophantine equations
   Form. Math. 31 (2023), no. 1, 171-180.
   DOI: 10.2478/forma-2023-0016
6. D. Tomaszuk, Ł. Szeremeta, A. Korniłowicz
   MMLKG: Knowledge Graph for Mathematical Definitions, Statements and Proofs
   Sci. Data 10 (2023), no. 1, 791.
   DOI: 10.1038/s41597-023-02681-3