Adam Naumowicz

41 papers B 2C 8Misc 1Journal 20Unranked 7

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Elementary Number Theory Problems. Part XVII. Formaliz. Math. Artur Kornilowicz, Adam Naumowicz
2023	B	`ed.`	14th International Conference on Interactive Theorem Proving, ITP 2023, Białystok, Poland, July 31 - August 4, 2023 ITP Adam Naumowicz, René Thiemann
2023	J	`jnl`	Elementary Number Theory Problems. Part XI. Formaliz. Math. Adam Naumowicz
2023	C	`conf`	Extending Numeric Automation for Number Theory Formalizations in Mizar. CICM Adam Naumowicz
2023	—	`ed.`	Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26 - 31, 2021. CICM Workshops Jasmin Blanchette, James H. Davenport, Peter Koepke, Michael Kohlhase, Andrea Kohlhase, Adam Naumowicz, Dennis Müller, Yasmine Sharoda, Claudio Sacerdoti Coen
2022	J	`jnl`	Elementary Number Theory Problems. Part V. Formaliz. Math. Artur Kornilowicz, Adam Naumowicz
2021	—	`conf`	FMM Preface. CICM Workshops Jasmin Blanchette, Adam Naumowicz
2021	B	`conf`	Syntactic-Semantic Form of Mizar Articles. ITP Czeslaw Bylinski, Artur Kornilowicz, Adam Naumowicz
2020	Misc	`conf`	An Experiment on Mizar Adjectives with Extra Visible Arguments. SYNASC Adam Naumowicz
2020	C	`conf`	Dataset Description: Formalization of Elementary Number Theory in Mizar. CICM Adam Naumowicz
2020	J	`jnl`	Elementary Number Theory Problems. Part I. Formaliz. Math. Adam Naumowicz
2019	—	`ed.`	Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018. CICM Workshops Osman Hasan, Abdou Youssef, Adam Naumowicz, William M. Farmer, Cezary Kaliszyk, Diane Gallois-Wong, Florian Rabe, Gabriel Dos Reis, Grant O. Passmore, James H. Davenport, Markus Pfeiffer, Michael Kohlhase, Serge Autexier, Sofiène Tahar, Thomas Koprucki, Umair Siddique, Walther Neuper, Wolfgang Windsteiger, Wolfgang Schreiner, Wolfram Sperber, Zoltán Kovács
2019	—	`conf`	Testing Mizar User Interactivity in a University-level Introductory Course on Foundations of Mathematics. CICM Workshops Adam Naumowicz
2018	C	`conf`	System Description: XSL-Based Translator of Mizar to LaTeX. CICM Grzegorz Bancerek, Adam Naumowicz, Josef Urban
2018	J	`jnl`	The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar. J. Autom. Reason. Grzegorz Bancerek, Czeslaw Bylinski, Adam Grabowski, Artur Kornilowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak
2017	J	`jnl`	All Liouville Numbers are Transcendental. Formaliz. Math. Artur Kornilowicz, Adam Naumowicz, Adam Grabowski
2017	C	`conf`	Introducing Euclidean Relations to Mizar. FedCSIS Adam Naumowicz, Artur Kornilowicz
2017	—	`ed.`	Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2016 co-located with the 9th Conference on Intelligent Computer Mathematics (CICM 2016), Bialystok, Poland, July 25-29, 2016. FM4M/MathUI/ThEdu/DP/WIP@CIKM Andrea Kohlhase, Paul Libbrecht, Bruce R. Miller, Adam Naumowicz, Walther Neuper, Pedro Quaresma, Frank Wm. Tompa, Martin Suda
2017	—	`conf`	Towards Standardized Mizar Environments. ISAT (2) Adam Naumowicz
2016	C	`conf`	Accessing the Mizar Library with a Weakly Strict Mizar Parser. CICM Adam Naumowicz, Radoslaw Piliszek
2016	—	`conf`	Linking to Compound Conditions in Mizar. FM4M/MathUI/ThEdu/DP/WIP@CIKM Adam Naumowicz
2016	J	`jnl`	Niven's Theorem. Formaliz. Math. Artur Kornilowicz, Adam Naumowicz
2015	J	`jnl`	Automating Boolean Set Operations in Mizar Proof Checking with the Aid of an External SAT Solver. J. Autom. Reason. Adam Naumowicz
2015	J	`jnl`	Four Decades of Mizar - Foreword. J. Autom. Reason. Adam Grabowski, Artur Kornilowicz, Adam Naumowicz
2015	C	`conf`	Mizar: State-of-the-art and Beyond. CICM Grzegorz Bancerek, Czeslaw Bylinski, Adam Grabowski, Artur Kornilowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak, Josef Urban
2015	C	`conf`	Tools for MML Environment Analysis. CICM Adam Naumowicz
2014	J	`jnl`	A Note on the Seven Bridges of Königsberg Problem. Formaliz. Math. Adam Naumowicz
2014	C	`conf`	SAT-Enhanced Mizar Proof Checking. CICM Adam Naumowicz
2014	J	`jnl`	Selected papers from the International Scientific Conference INFORMATICS'2013 - part I. Central Eur. J. Comput. Sci. Valerie Novitzká, William Steingartner, Adam Naumowicz
2014	J	`jnl`	Selected papers from the International Scientific Conference INFORMATICS'2013 - part II. Central Eur. J. Comput. Sci. Valerie Novitzká, William Steingartner, Adam Naumowicz
2013	J	`jnl`	Formal Mathematics for Mathematicians - Foreward to the Special Issue. J. Autom. Reason. Andrzej Trybulec, Artur Kornilowicz, Adam Naumowicz, Krystyna Trybulec Kuperberg
2013	J	`jnl`	More on Divisibility Criteria for Selected Primes. Formaliz. Math. Adam Naumowicz, Radoslaw Piliszek
2011	J	`jnl`	Licensing the Mizar Mathematical Library CoRR Jesse Alama, Michael Kohlhase, Adam Naumowicz, Piotr Rudnicki, Josef Urban, Lionel Mamane
2011	—	`conf`	Licensing the Mizar Mathematical Library. Calculemus/MKM Jesse Alama, Michael Kohlhase, Lionel Mamane, Adam Naumowicz, Piotr Rudnicki, Josef Urban
2011	J	`jnl`	Partial Differentiation of Vector-Valued Functions on Formaliz. Math. Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama
2011	J	`jnl`	Partial Differentiation, Differentiation and Continuity on Formaliz. Math. Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama
2010	J	`jnl`	Interfacing external CA systems for Gröbner bases computation in Mizar proof checking. Int. J. Comput. Math. Adam Naumowicz
2010	J	`jnl`	Mizar in a Nutshell. J. Formaliz. Reason. Adam Grabowski, Artur Kornilowicz, Adam Naumowicz
2009	—	`conf`	A Brief Overview of Mizar. TPHOLs Adam Naumowicz, Artur Kornilowicz
2006	J	`jnl`	An example of formalizing recent mathematical results in Mizar. J. Appl. Log. Adam Naumowicz
2004	—	`conf`	Improving Mizar Texts with Properties and Requirements. MKM Adam Naumowicz, Czeslaw Bylinski