-
A. Korniłowicz
Rozwój systemu Mizar oraz Mizar Mathematical Library (invited talk)
Sesja sprawozdawcza Uniwersyteckiego Centrum Obliczeniowego 2024, Białystok, Polska, Jun 24, 2024
Uniwersyteckie Centrum Obliczeniowe Uniwersytetu w Białymstoku (org.)
-
A. Korniłowicz¹
Teoria liczb w Mizar Mathematical Library
XVIII Konferencja Technologie Eksploracji i Reprezentacji Wiedzy, Hołny Mejera, Polska, Sep 9-12, 2024
Polskie Towarzystwo Informatyczne, Oddział Białostocki: UMB, Wydział Informatyki PB: Wydział Informatyki UwB (org.)
-
K. Pąk
Conway Normal Form: Bridging Approaches for Comprehensive Formalization of Surreal Numbers
15th International Conference on Interactive Theorem Proving, Tbilisi, Georgia, Sep 9-14, 2024
Tbilisi State University (org.)
(Planowany udział)
English
Polski
Drukuj
