dr Adam Naumowicz

Publikacje

1. A. Naumowicz
   Elementary Number Theory Problems. Part XI
   Form. Math. 31 (2023), no. 1, 229-275.
   DOI: 10.2478/forma-2023-0021
2. A. Naumowicz
   Extending Numeric Automation for Number Theory Formalizations in Mizar
   Intelligent Computer Mathematics, 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023 Proceedings, (C. Dubois, M. Kerber Ed(s).), (publ. by) Springer, 2023, pp. 309-314.
   DOI: 10.1007/978-3-031-42753-4_23