Adam Naumowicz

Available identifiers

zbMath Open naumowicz.adamWikidataQ102413669 ScholiaQ102413669MaRDI QIDQ226646

List of research outcomes

Publication	Date of Publication	Type
Elementary number theory problems. XI	2024-06-18	Paper
Elementary number theory problems. V	2024-04-22	Paper
Extending numeric automation for number theory formalizations in Mizar	2024-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q6157253	2023-06-20	Paper
Elementary number theory problems. I	2021-03-24	Paper
Dataset description: formalization of elementary number theory in Mizar	2021-01-20	Paper
System description: XSL-based translator of Mizar to {\LaTeX}	2018-10-18	Paper
The role of the Mizar mathematical library for interactive proof development in Mizar	2018-08-21	Paper
All Liouville numbers are transcendental	2017-06-07	Paper
Niven's theorem	2017-04-03	Paper
A note on the seven bridges of Königsberg problem	2017-01-06	Paper
Accessing the Mizar Library with a Weakly Strict Mizar Parser	2016-08-30	Paper
Automating Boolean set operations in Mizar proof checking with the aid of an external SAT solver	2016-05-26	Paper
Mizar: State-of-the-art and Beyond	2015-11-20	Paper
Tools for MML Environment Analysis	2015-11-20	Paper
More on divisibility criteria for selected primes	2014-11-05	Paper
SAT-Enhanced Mizar Proof Checking	2014-08-07	Paper
Partial differentiation of vector-valued functions on \(n\)-dimensional real normed linear spaces	2013-12-03	Paper
Partial differentiation, differentiation and continuity on \(n\)-dimensional real normed linear spaces	2013-12-03	Paper
Licensing the Mizar Mathematical Library	2011-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q3075247	2011-02-10	Paper
Interfacing external CA systems for Gröbner bases computation in M<scp>izar</scp>proof checking	2010-01-26	Paper
A Brief Overview of Mizar	2009-10-20	Paper
An example of formalizing recent mathematical results in MIZAR	2007-02-20	Paper
Mathematical Knowledge Management	2005-08-26	Paper
The geometry of generalized Veronese spaces	2004-10-28	Paper
On Segre's product of partial line spaces and spaces of pencils	2002-10-15	Paper

Research outcomes over time

This page was built for person: Adam Naumowicz