![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Adam Naumowicz
Person information
- affiliation: University of Białystok, Poland
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c17]Adam Naumowicz
:
Extending Numeric Automation for Number Theory Formalizations in Mizar. CICM 2023: 309-314 - [e4]Adam Naumowicz
, René Thiemann
:
14th International Conference on Interactive Theorem Proving, ITP 2023, July 31 to August 4, 2023, Białystok, Poland. LIPIcs 268, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-284-6 [contents] - [e3]Jasmin Blanchette, James H. Davenport, Peter Koepke, Michael Kohlhase, Andrea Kohlhase, Adam Naumowicz, Dennis Müller, Yasmine Sharoda, Claudio Sacerdoti Coen:
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. CEUR Workshop Proceedings 3377, CEUR-WS.org 2023 [contents] - 2022
- [j17]Artur Kornilowicz
, Adam Naumowicz
:
Elementary Number Theory Problems. Part V. Formaliz. Math. 30(3): 229-234 (2022) - 2021
- [c16]Czeslaw Bylinski, Artur Kornilowicz
, Adam Naumowicz
:
Syntactic-Semantic Form of Mizar Articles. ITP 2021: 11:1-11:17 - [c15]Jasmin Blanchette, Adam Naumowicz:
FMM Preface. CICM Workshops 2021 - 2020
- [j16]Adam Naumowicz
:
Elementary Number Theory Problems. Part I. Formaliz. Math. 28(1): 115-120 (2020) - [c14]Adam Naumowicz
:
Dataset Description: Formalization of Elementary Number Theory in Mizar. CICM 2020: 303-308 - [c13]Adam Naumowicz
:
An Experiment on Mizar Adjectives with Extra Visible Arguments. SYNASC 2020: 97-100
2010 – 2019
- 2019
- [c12]Adam Naumowicz
:
Testing Mizar User Interactivity in a University-level Introductory Course on Foundations of Mathematics. CICM Workshops 2019 - [e2]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:
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. CEUR Workshop Proceedings 2307, CEUR-WS.org 2019 [contents] - 2018
- [j15]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): 9-32 (2018) - [c11]Grzegorz Bancerek, Adam Naumowicz
, Josef Urban:
System Description: XSL-Based Translator of Mizar to LaTeX. CICM 2018: 1-6 - 2017
- [j14]Artur Kornilowicz
, Adam Naumowicz
, Adam Grabowski
:
All Liouville Numbers are Transcendental. Formaliz. Math. 25(1): 49 (2017) - [c10]Adam Naumowicz
, Artur Kornilowicz
:
Introducing Euclidean Relations to Mizar. FedCSIS 2017: 245-248 - [c9]Adam Naumowicz
:
Towards Standardized Mizar Environments. ISAT (2) 2017: 166-175 - [e1]Andrea Kohlhase, Paul Libbrecht, Bruce R. Miller, Adam Naumowicz, Walther Neuper, Pedro Quaresma, Frank Wm. Tompa
, Martin Suda:
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. CEUR Workshop Proceedings 1785, CEUR-WS.org 2017 [contents] - 2016
- [j13]Artur Kornilowicz
, Adam Naumowicz
:
Niven's Theorem. Formaliz. Math. 24(4): 301-308 (2016) - [c8]Adam Naumowicz
:
Linking to Compound Conditions in Mizar. FM4M/MathUI/ThEdu/DP/WIP@CIKM 2016: 21-24 - [c7]Adam Naumowicz
, Radoslaw Piliszek:
Accessing the Mizar Library with a Weakly Strict Mizar Parser. CICM 2016: 77-82 - 2015
- [j12]Adam Grabowski
, Artur Kornilowicz
, Adam Naumowicz
:
Four Decades of Mizar - Foreword. J. Autom. Reason. 55(3): 191-198 (2015) - [j11]Adam Naumowicz
:
Automating Boolean Set Operations in Mizar Proof Checking with the Aid of an External SAT Solver. J. Autom. Reason. 55(3): 285-294 (2015) - [c6]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: 261-279 - [c5]Adam Naumowicz
:
Tools for MML Environment Analysis. CICM 2015: 348-352 - 2014
- [j10]Valerie Novitzká, William Steingartner
, Adam Naumowicz
:
Selected papers from the International Scientific Conference INFORMATICS'2013 - part I. Central Eur. J. Comput. Sci. 4(3): 95 (2014) - [j9]Valerie Novitzká, William Steingartner
, Adam Naumowicz
:
Selected papers from the International Scientific Conference INFORMATICS'2013 - part II. Central Eur. J. Comput. Sci. 4(4): 203 (2014) - [j8]Adam Naumowicz
:
A Note on the Seven Bridges of Königsberg Problem. Formaliz. Math. 22(2): 177-178 (2014) - [c4]Adam Naumowicz
:
SAT-Enhanced Mizar Proof Checking. CICM 2014: 449-452 - 2013
- [j7]Adam Naumowicz
, Radoslaw Piliszek:
More on Divisibility Criteria for Selected Primes. Formaliz. Math. 21(2): 87-94 (2013) - [j6]Andrzej Trybulec, Artur Kornilowicz
, Adam Naumowicz
, Krystyna Trybulec Kuperberg:
Formal Mathematics for Mathematicians - Foreward to the Special Issue. J. Autom. Reason. 50(2): 119-121 (2013) - 2011
- [j5]Takao Inoué
, Adam Naumowicz
, Noboru Endou
, Yasunari Shidama
:
Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces. Formaliz. Math. 19(1): 1-9 (2011) - [j4]Takao Inoué
, Adam Naumowicz
, Noboru Endou
, Yasunari Shidama
:
Partial Differentiation, Differentiation and Continuity on n-Dimensional Real Normed Linear Spaces. Formaliz. Math. 19(2): 65-68 (2011) - [c3]Jesse Alama, Michael Kohlhase
, Lionel Mamane, Adam Naumowicz
, Piotr Rudnicki, Josef Urban:
Licensing the Mizar Mathematical Library. Calculemus/MKM 2011: 149-163 - [i1]Jesse Alama, Michael Kohlhase, Adam Naumowicz, Piotr Rudnicki, Josef Urban, Lionel Mamane:
Licensing the Mizar Mathematical Library. CoRR abs/1107.3212 (2011) - 2010
- [j3]Adam Naumowicz
:
Interfacing external CA systems for Gröbner bases computation in Mizar proof checking. Int. J. Comput. Math. 87(1): 1-11 (2010) - [j2]Adam Grabowski, Artur Kornilowicz, Adam Naumowicz:
Mizar in a Nutshell. J. Formaliz. Reason. 3(2): 153-245 (2010)
2000 – 2009
- 2009
- [c2]Adam Naumowicz
, Artur Kornilowicz
:
A Brief Overview of Mizar. TPHOLs 2009: 67-72 - 2006
- [j1]Adam Naumowicz
:
An example of formalizing recent mathematical results in Mizar. J. Appl. Log. 4(4): 396-413 (2006) - 2004
- [c1]Adam Naumowicz, Czeslaw Bylinski:
Improving Mizar Texts with Properties and Requirements. MKM 2004: 290-301
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint