Adam Naumowicz

Available identifiers

zbMath Open naumowicz.adamWikidataQ102413669 ScholiaQ102413669MaRDI QIDQ226646

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Adam Naumowicz