dr Adam Naumowicz
Konferencje
-
A. Naumowicz²
14th International Conference on Interactive Theorem Proving, Białystok, Poland, Jul 31 - Aug 4, 2023
University of Bialystok, Poland (org.) -
A. Naumowicz
Extending Numeric Automation for Number Theory Formalizations in Mizar
16th International Conference on Intelligent Computer Mathematics, Cambridge, UK, Sep 4-8, 2023
University of Bath, UK (org.)
- * Presentation
- ¹ A chairman of a session
- ² A member of the Organizing Committee
- ³ Student