dr hab. Artur Korniłowicz
Publikacje
-
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 -
A. Korniłowicz
Elementary Number Theory Problems. Part IX
Form. Math. 31 (2023), no. 1, 161-169.
DOI: 10.2478/forma-2023-0015 -
A. Korniłowicz
Elementary Number Theory Problems. Part VII
Form. Math. 31 (2023), no. 1, 23-29.
DOI: 10.2478/forma-2023-0003 -
A. Korniłowicz
Elementary Number Theory Problems. Part VIII
Form. Math. 31 (2023), no. 1, 87-100.
DOI: 10.2478/forma-2023-0009 -
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 -
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
Uwagi do prezentowanych tutaj danych bibliograficznych proszę kierować do:
libmaster@math.uwb.edu.pl
.