Adam Naumowicz

According to our database, Adam Naumowicz authored at least 35 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Elementary Number Theory Problems. Part XI.

Adam Naumowicz

Formaliz. Math., September, 2023

Extending Numeric Automation for Number Theory Formalizations in Mizar.

Adam Naumowicz

Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023

2022

Elementary Number Theory Problems. Part V.

Artur Kornilowicz, Adam Naumowicz

Formaliz. Math., 2022

2021

FMM Preface.

Jasmin Blanchette, Adam Naumowicz

Proceedings of the 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, 2021

Syntactic-Semantic Form of Mizar Articles.

Czeslaw Bylinski, Artur Kornilowicz, Adam Naumowicz

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

2020

Elementary Number Theory Problems. Part I.

Adam Naumowicz

Formaliz. Math., 2020

An Experiment on Mizar Adjectives with Extra Visible Arguments.

Adam Naumowicz

Proceedings of the 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2020

Dataset Description: Formalization of Elementary Number Theory in Mizar.

Adam Naumowicz

Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020

2019

Testing Mizar User Interactivity in a University-level Introductory Course on Foundations of Mathematics.

Adam Naumowicz

Proceedings of the Joint Proceedings of the FMM and LML Workshops, 2019

2018

The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar.

Grzegorz Bancerek, Czeslaw Bylinski, Adam Grabowski, Artur Kornilowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak

J. Autom. Reason., 2018

System Description: XSL-Based Translator of Mizar to LaTeX.

Grzegorz Bancerek, Adam Naumowicz, Josef Urban

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018

2017

All Liouville Numbers are Transcendental.

Artur Kornilowicz, Adam Naumowicz, Adam Grabowski

Formaliz. Math., 2017

Towards Standardized Mizar Environments.

Adam Naumowicz

Proceedings of the Information Systems Architecture and Technology: Proceedings of 38th International Conference on Information Systems Architecture and Technology - ISAT 2017, 2017

Introducing Euclidean Relations to Mizar.

Adam Naumowicz, Artur Kornilowicz

Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, 2017

2016

Niven's Theorem.

Artur Kornilowicz, Adam Naumowicz

Formaliz. Math., 2016

Accessing the Mizar Library with a Weakly Strict Mizar Parser.

Adam Naumowicz, Radoslaw Piliszek

Proceedings of the Intelligent Computer Mathematics - 9th International Conference, 2016

Linking to Compound Conditions in Mizar.

Adam Naumowicz

Proceedings of the Joint Proceedings of the FM4M, 2016

2015

Automating Boolean Set Operations in Mizar Proof Checking with the Aid of an External SAT Solver.

Adam Naumowicz

J. Autom. Reason., 2015

Four Decades of Mizar - Foreword.

Adam Grabowski, Artur Kornilowicz, Adam Naumowicz

J. Autom. Reason., 2015

Tools for MML Environment Analysis.

Adam Naumowicz

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

Mizar: State-of-the-art and Beyond.

Grzegorz Bancerek, Czeslaw Bylinski, Adam Grabowski, Artur Kornilowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak, Josef Urban

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

2014

A Note on the Seven Bridges of Königsberg Problem.

Adam Naumowicz

Formaliz. Math., 2014

Selected papers from the International Scientific Conference INFORMATICS'2013 - part II.

Valerie Novitzká, William Steingartner, Adam Naumowicz

Central Eur. J. Comput. Sci., 2014

Selected papers from the International Scientific Conference INFORMATICS'2013 - part I.

Valerie Novitzká, William Steingartner, Adam Naumowicz

Central Eur. J. Comput. Sci., 2014

SAT-Enhanced Mizar Proof Checking.

Adam Naumowicz

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

2013

Formal Mathematics for Mathematicians - Foreward to the Special Issue.

Andrzej Trybulec, Artur Kornilowicz, Adam Naumowicz, Krystyna Trybulec Kuperberg

J. Autom. Reason., 2013

More on Divisibility Criteria for Selected Primes.

Adam Naumowicz, Radoslaw Piliszek

Formaliz. Math., 2013

2011

Partial Differentiation, Differentiation and Continuity on <i>n</i>-Dimensional Real Normed Linear Spaces.

Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama

Formaliz. Math., 2011

Partial Differentiation of Vector-Valued Functions on <i>n</i>-Dimensional Real Normed Linear Spaces.

Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama

Formaliz. Math., 2011

Licensing the Mizar Mathematical Library.

Jesse Alama, Michael Kohlhase, Lionel Mamane, Adam Naumowicz, Piotr Rudnicki, Josef Urban

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

2010

Mizar in a Nutshell.

Adam Grabowski, Artur Kornilowicz, Adam Naumowicz

J. Formaliz. Reason., 2010

Interfacing external CA systems for Gröbner bases computation in Mizar proof checking.

Adam Naumowicz

Int. J. Comput. Math., 2010

2009

A Brief Overview of Mizar.

Adam Naumowicz, Artur Kornilowicz

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

2006

An example of formalizing recent mathematical results in Mizar.

Adam Naumowicz

J. Appl. Log., 2006

2004

Improving Mizar Texts with Properties and Requirements.

Adam Naumowicz, Czeslaw Bylinski

Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004