Adam Naumowicz

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 20

Top Topics

Dagstuhl Castle

Selected Papers

Clause Learning Sat Solvers

Top Venues

Formaliz. Math.

J. Autom. Reason.

Central Eur. J. Comput. Sci.

Publications

Adam Naumowicz
Extending Numeric Automation for Number Theory Formalizations in Mizar. CICM (2023)
Artur Kornilowicz, Adam Naumowicz
Elementary Number Theory Problems. Part V. Formaliz. Math. 30 (3) (2022)
Czeslaw Bylinski, Artur Kornilowicz, Adam Naumowicz
Syntactic-Semantic Form of Mizar Articles. ITP (2021)
Jasmin Blanchette, Adam Naumowicz
FMM Preface. CICM Workshops (2021)
Adam Naumowicz
Elementary Number Theory Problems. Part I. Formaliz. Math. 28 (1) (2020)
Adam Naumowicz
An Experiment on Mizar Adjectives with Extra Visible Arguments. SYNASC (2020)
Adam Naumowicz
Dataset Description: Formalization of Elementary Number Theory in Mizar. CICM (2020)
Adam Naumowicz
Testing Mizar User Interactivity in a University-level Introductory Course on Foundations of Mathematics. CICM Workshops (2019)
Grzegorz Bancerek, Adam Naumowicz, Josef Urban
System Description: XSL-Based Translator of Mizar to LaTeX. CICM (2018)
Grzegorz Bancerek, Czeslaw Bylinski, Adam Grabowski, Artur Kornilowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak
The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar. J. Autom. Reason. 61 (1-4) (2018)
Adam Naumowicz, Artur Kornilowicz
Introducing Euclidean Relations to Mizar. FedCSIS (2017)
Adam Naumowicz
Towards Standardized Mizar Environments. ISAT (2) (2017)
Artur Kornilowicz, Adam Naumowicz, Adam Grabowski
All Liouville Numbers are Transcendental. Formaliz. Math. 25 (1) (2017)
Artur Kornilowicz, Adam Naumowicz
Niven's Theorem. Formaliz. Math. 24 (4) (2016)
Adam Naumowicz
Linking to Compound Conditions in Mizar. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Adam Naumowicz, Radoslaw Piliszek
Accessing the Mizar Library with a Weakly Strict Mizar Parser. CICM (2016)
Adam Naumowicz
Tools for MML Environment Analysis. CICM (2015)
Grzegorz Bancerek, Czeslaw Bylinski, Adam Grabowski, Artur Kornilowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak, Josef Urban
Mizar: State-of-the-art and Beyond. CICM (2015)
Adam Naumowicz
Automating Boolean Set Operations in Mizar Proof Checking with the Aid of an External SAT Solver. J. Autom. Reason. 55 (3) (2015)
Adam Grabowski, Artur Kornilowicz, Adam Naumowicz
Four Decades of Mizar - Foreword. J. Autom. Reason. 55 (3) (2015)
Valerie Novitzká, William Steingartner, Adam Naumowicz
Selected papers from the International Scientific Conference INFORMATICS'2013 - part II. Central Eur. J. Comput. Sci. 4 (4) (2014)
Adam Naumowicz
SAT-Enhanced Mizar Proof Checking. CICM (2014)
Adam Naumowicz
A Note on the Seven Bridges of Königsberg Problem. Formaliz. Math. 22 (2) (2014)
Valerie Novitzká, William Steingartner, Adam Naumowicz
Selected papers from the International Scientific Conference INFORMATICS'2013 - part I. Central Eur. J. Comput. Sci. 4 (3) (2014)
Adam Naumowicz, Radoslaw Piliszek
More on Divisibility Criteria for Selected Primes. Formaliz. Math. 21 (2) (2013)
Andrzej Trybulec, Artur Kornilowicz, Adam Naumowicz, Krystyna Trybulec Kuperberg
Formal Mathematics for Mathematicians - Foreward to the Special Issue. J. Autom. Reason. 50 (2) (2013)
Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama
-Dimensional Real Normed Linear Spaces. Formaliz. Math. 19 (2) (2011)
Jesse Alama, Michael Kohlhase, Lionel Mamane, Adam Naumowicz, Piotr Rudnicki, Josef Urban
Licensing the Mizar Mathematical Library. Calculemus/MKM (2011)
Jesse Alama, Michael Kohlhase, Adam Naumowicz, Piotr Rudnicki, Josef Urban, Lionel Mamane
Licensing the Mizar Mathematical Library CoRR (2011)
Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama
-Dimensional Real Normed Linear Spaces. Formaliz. Math. 19 (1) (2011)
Adam Grabowski, Artur Kornilowicz, Adam Naumowicz
Mizar in a Nutshell. J. Formaliz. Reason. 3 (2) (2010)
Adam Naumowicz
Interfacing external CA systems for Gröbner bases computation in Mizar proof checking. Int. J. Comput. Math. 87 (1) (2010)
Adam Naumowicz, Artur Kornilowicz
A Brief Overview of Mizar. TPHOLs (2009)
Adam Naumowicz
An example of formalizing recent mathematical results in Mizar. J. Appl. Log. 4 (4) (2006)
Adam Naumowicz, Czeslaw Bylinski
Improving Mizar Texts with Properties and Requirements. MKM (2004)