Edit Profile (opens in new tab) Naumowicz, Adam Co-Author Distance Author ID: naumowicz.adam Published as: Naumowicz, Adam; Naumovicz, Adam Homepage: http://math.uwb.edu.pl/~adamn/ External Links: MGP Documents Indexed: 24 Publications since 2001 2 Contributions as Editor Co-Authors: 17 Co-Authors with 18 Joint Publications 329 Co-Co-Authors all top 5 Co-Authors 8 single-authored 8 Korniłowicz, Artur 5 Grabowski, Adam 4 Byliński, Czesław 3 Bancerek, Grzegorz 3 Urban, Josef 2 Endou, Noboru 2 Inoué, Takao 2 Matuszewski, Roman 2 Pąk, Karol 2 Piliszek, Radosław 2 Prażmowski, Krzysztof 2 Shidama, Yasunari 1 Alama, Jesse 1 Kohlhase, Michael 1 Mamane, Lionel Elie 1 Rudnicki, Piotr 1 Thiemann, René all top 5 Serials 7 Formalized Mathematics 3 Journal of Automated Reasoning 1 Journal of Geometry 1 Results in Mathematics 1 International Journal of Computer Mathematics 1 Journal of Applied Logic 1 Journal of Formalized Reasoning 1 LIPIcs – Leibniz International Proceedings in Informatics all top 5 Fields 18 Computer science (68-XX) 5 Mathematical logic and foundations (03-XX) 3 General and overarching topics; collections (00-XX) 3 Number theory (11-XX) 2 Real functions (26-XX) 2 Geometry (51-XX) 1 Combinatorics (05-XX) 1 Field theory and polynomials (12-XX) 1 Functional analysis (46-XX) 1 Operator theory (47-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 18 Publications have been cited 440 times in 241 Documents Cited by ▼ Year ▼ Mizar: state-of-the-art and beyond. Zbl 1417.68201Bancerek, Grzegorz; Byliński, Czesław; Grabowski, Adam; Korniłowicz, Artur; Matuszewski, Roman; Naumowicz, Adam; Pąk, Karol; Urban, Josef 117 2015 The role of the Mizar mathematical library for interactive proof development in Mizar. Zbl 1433.68530Bancerek, Grzegorz; Byliński, Czesław; Grabowski, Adam; Korniłowicz, Artur; Matuszewski, Roman; Naumowicz, Adam; Pąk, Karol 92 2018 Four decades of {Mizar}. Foreword. Zbl 1336.00111 71 2015 Mizar in a nutshell. Zbl 1211.68369Grabowski, Adam; Kornilowicz, Artur; Naumowicz, Adam 52 2010 A brief overview of Mizar. Zbl 1252.68262Naumowicz, Adam; Korniłowicz, Artur 27 2009 Licensing the Mizar Mathematical Library (MML). Zbl 1278.68290Alama, Jesse; Kohlhase, Michael; Mamane, Lionel; Naumowicz, Adam; Rudnicki, Piotr; Urban, Josef 17 2011 Improving Mizar texts with properties and requirements. Zbl 1108.68598Naumowicz, Adam; Byliński, Czesław 17 2004 Interfacing external CA systems for Gröbner bases computation in Mizar proof checking. Zbl 1178.68692Naumowicz, Adam 11 2010 Automating Boolean set operations in Mizar proof checking with the aid of an external SAT solver. Zbl 1356.68197Naumowicz, Adam 7 2015 On Segre’s product of partial line spaces and spaces of pencils. Zbl 1019.51003Naumowicz, Adam; Prażmowski, Krzysztof 5 2001 SAT-enhanced Mizar proof checking. Zbl 1304.68159Naumowicz, Adam 5 2014 An example of formalizing recent mathematical results in MIZAR. Zbl 1107.68100Naumowicz, Adam 5 2006 Partial differentiation of vector-valued functions on \(n\)-dimensional real normed linear spaces. Zbl 1276.26033Inoué, Takao; Naumowicz, Adam; Endou, Noboru; Shidama, Yasunari 4 2011 Tools for MML environment analysis. Zbl 1417.68213Naumowicz, Adam 3 2015 Accessing the Mizar library with a weakly strict Mizar parser. Zbl 1344.68211Naumowicz, Adam; Piliszek, Radosław 3 2016 Dataset description: formalization of elementary number theory in Mizar. Zbl 1455.68259Naumowicz, Adam 2 2020 The geometry of generalized Veronese spaces. Zbl 1062.51015Naumovicz, Adam; Prażmowski, Krzysztof 1 2004 Partial differentiation, differentiation and continuity on \(n\)-dimensional real normed linear spaces. Zbl 1276.46014Inoué, Takao; Naumowicz, Adam; Endou, Noboru; Shidama, Yasunari 1 2011 Dataset description: formalization of elementary number theory in Mizar. Zbl 1455.68259Naumowicz, Adam 2 2020 The role of the Mizar mathematical library for interactive proof development in Mizar. Zbl 1433.68530Bancerek, Grzegorz; Byliński, Czesław; Grabowski, Adam; Korniłowicz, Artur; Matuszewski, Roman; Naumowicz, Adam; Pąk, Karol 92 2018 Accessing the Mizar library with a weakly strict Mizar parser. Zbl 1344.68211Naumowicz, Adam; Piliszek, Radosław 3 2016 Mizar: state-of-the-art and beyond. Zbl 1417.68201Bancerek, Grzegorz; Byliński, Czesław; Grabowski, Adam; Korniłowicz, Artur; Matuszewski, Roman; Naumowicz, Adam; Pąk, Karol; Urban, Josef 117 2015 Four decades of {Mizar}. Foreword. Zbl 1336.00111 71 2015 Automating Boolean set operations in Mizar proof checking with the aid of an external SAT solver. Zbl 1356.68197Naumowicz, Adam 7 2015 Tools for MML environment analysis. Zbl 1417.68213Naumowicz, Adam 3 2015 SAT-enhanced Mizar proof checking. Zbl 1304.68159Naumowicz, Adam 5 2014 Licensing the Mizar Mathematical Library (MML). Zbl 1278.68290Alama, Jesse; Kohlhase, Michael; Mamane, Lionel; Naumowicz, Adam; Rudnicki, Piotr; Urban, Josef 17 2011 Partial differentiation of vector-valued functions on \(n\)-dimensional real normed linear spaces. Zbl 1276.26033Inoué, Takao; Naumowicz, Adam; Endou, Noboru; Shidama, Yasunari 4 2011 Partial differentiation, differentiation and continuity on \(n\)-dimensional real normed linear spaces. Zbl 1276.46014Inoué, Takao; Naumowicz, Adam; Endou, Noboru; Shidama, Yasunari 1 2011 Mizar in a nutshell. Zbl 1211.68369Grabowski, Adam; Kornilowicz, Artur; Naumowicz, Adam 52 2010 Interfacing external CA systems for Gröbner bases computation in Mizar proof checking. Zbl 1178.68692Naumowicz, Adam 11 2010 A brief overview of Mizar. Zbl 1252.68262Naumowicz, Adam; Korniłowicz, Artur 27 2009 An example of formalizing recent mathematical results in MIZAR. Zbl 1107.68100Naumowicz, Adam 5 2006 Improving Mizar texts with properties and requirements. Zbl 1108.68598Naumowicz, Adam; Byliński, Czesław 17 2004 The geometry of generalized Veronese spaces. Zbl 1062.51015Naumovicz, Adam; Prażmowski, Krzysztof 1 2004 On Segre’s product of partial line spaces and spaces of pencils. Zbl 1019.51003Naumowicz, Adam; Prażmowski, Krzysztof 5 2001 all cited Publications top 5 cited Publications all top 5 Cited by 134 Authors 26 Korniłowicz, Artur 25 Grabowski, Adam 24 Shidama, Yasunari 21 Coghetto, Roland 21 Pąk, Karol 18 Koch, Sebastian 17 Nakasho, Kazuhisa 14 Urban, Josef 13 Kaliszyk, Cezary 13 Naumowicz, Adam 12 Schwarzweller, Christoph 11 Endou, Noboru 11 Futa, Yuichi 11 Okazaki, Hiroyuki 7 Watase, Yasushige 5 Alama, Jesse 5 Ivanov, Ievgen 5 Nikitchenko, Mykola S. 5 Prażmowski, Krzysztof 4 Mitsuishi, Takashi 4 Narita, Keiko 4 Popescu, Andrei 4 Yamazaki, Hiroshi 4 Ziobro, Rafał 3 Bancerek, Grzegorz 3 Brown, Chad Edward 3 Byliński, Czesław 3 Jaeger, Peter 3 Jakubův, Jan 3 Kunčar, Ondřej 3 Nipkow, Tobias 3 Prażmowska, Małgorzata 3 Rowinska-Schwarzweller, Agnieszka 2 Acewicz, Marcin 2 Anai, Hirokazu 2 Arai, Noriko H. 2 Blanchette, Jasmin Christian 2 Boldo, Sylvie 2 Fukasaku, Ryoya 2 Iwane, Hidenao 2 Jaszczak, Adrian 2 Kahl, Wolfram 2 Kobayashi, Munehiro 2 Kudo, Jumma 2 Kühlwein, Daniel 2 Lelay, Catherine 2 Maletzky, Alexander 2 Matsuzaki, Takuya 2 Matuszewski, Roman 2 Melquiond, Guillaume 2 Miyajima, Keiichi 2 Petelczyc, Krzysztof 2 Rabe, Florian 2 Rawson, Michael 2 Reger, Giles 2 Sawicki, Damian 2 Suda, Martin 2 Vyskočil, Jiří 2 Wasaki, Katsumi 2 Zhan, Bohua 2 Zhan, Yiyang 1 Abraham, Uri 1 Adachi, Ryota 1 Affeldt, Reynald 1 Aspinall, David 1 Bauereiß, Thomas 1 Bringsjord, Selmer 1 Caminati, Marco Bright 1 Chihani, Zakaria 1 Chojecki, Przemyslaw 1 Chvalovský, Karel 1 Cohen, Cyril 1 Czajka, Łukasz 1 Derakhshan, Farzaneh 1 Dunne, Ciarán 1 Färber, Michael 1 Ford, Ian J. 1 Fujiwara, Hiroshi 1 Furushima, Hideharu 1 Gauthier, Thibault 1 Geuvers, Jan Herman 1 Giero, Mariusz 1 Golonko, I. 1 Govindarajalulu, Naveen Sundar 1 Greenaway, David 1 Haslbeck, Maximilian P. L. 1 Heras, Jónathan 1 Heskes, Tom M. 1 Hůla, Jan 1 Iancu, Mihnea 1 Inoué, Takao 1 Janota, Mikoláš 1 Kahle, Reinhard 1 Kamareddine, Fairouz D. 1 Kanazashi, Katuhiko 1 Kawamoto, Pauline Naomi 1 Kohlhase, Michael 1 Komendantskaya, Ekaterina 1 Kubej, Lukáš 1 Kulesza, Dominik ...and 34 more Authors all top 5 Cited in 17 Serials 151 Formalized Mathematics 25 Journal of Automated Reasoning 3 Journal of Symbolic Computation 2 Fundamenta Informaticae 2 Mathematics in Computer Science 1 Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg 1 Results in Mathematics 1 Synthese 1 Bulletin of the Iranian Mathematical Society 1 Formal Aspects of Computing 1 AI Communications 1 MSCS. Mathematical Structures in Computer Science 1 Designs, Codes and Cryptography 1 Turkish Journal of Mathematics 1 Computer Languages, Systems & Structures 1 Journal of Applied Logic 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 31 Fields 162 Computer science (68-XX) 103 Mathematical logic and foundations (03-XX) 25 Number theory (11-XX) 19 Geometry (51-XX) 17 Combinatorics (05-XX) 16 Real functions (26-XX) 13 Field theory and polynomials (12-XX) 13 Commutative algebra (13-XX) 9 Order, lattices, ordered algebraic structures (06-XX) 9 Operator theory (47-XX) 8 Functional analysis (46-XX) 8 General topology (54-XX) 7 Linear and multilinear algebra; matrix theory (15-XX) 5 General and overarching topics; collections (00-XX) 5 Measure and integration (28-XX) 4 Group theory and generalizations (20-XX) 4 Sequences, series, summability (40-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Mathematics education (97-XX) 3 Algebraic geometry (14-XX) 3 Systems theory; control (93-XX) 3 Information and communication theory, circuits (94-XX) 2 Algebraic topology (55-XX) 2 Probability theory and stochastic processes (60-XX) 1 History and biography (01-XX) 1 Associative rings and algebras (16-XX) 1 Topological groups, Lie groups (22-XX) 1 Partial differential equations (35-XX) 1 Numerical analysis (65-XX) 1 Relativity and gravitational theory (83-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year