Adam Naumowicz

From MaRDI portal
Person:226646

Available identifiers

zbMath Open naumowicz.adamWikidataQ102413669 ScholiaQ102413669MaRDI QIDQ226646

List of research outcomes





PublicationDate of PublicationType
Elementary number theory problems. XI2024-06-18Paper
Elementary number theory problems. V2024-04-22Paper
Extending numeric automation for number theory formalizations in Mizar2024-02-28Paper
https://portal.mardi4nfdi.de/entity/Q61572532023-06-20Paper
Elementary number theory problems. I2021-03-24Paper
Dataset description: formalization of elementary number theory in Mizar2021-01-20Paper
System description: XSL-based translator of Mizar to {\LaTeX}2018-10-18Paper
The role of the Mizar mathematical library for interactive proof development in Mizar2018-08-21Paper
All Liouville numbers are transcendental2017-06-07Paper
Niven's theorem2017-04-03Paper
A note on the seven bridges of Königsberg problem2017-01-06Paper
Accessing the Mizar Library with a Weakly Strict Mizar Parser2016-08-30Paper
Automating Boolean set operations in Mizar proof checking with the aid of an external SAT solver2016-05-26Paper
Mizar: State-of-the-art and Beyond2015-11-20Paper
Tools for MML Environment Analysis2015-11-20Paper
More on divisibility criteria for selected primes2014-11-05Paper
SAT-Enhanced Mizar Proof Checking2014-08-07Paper
Partial differentiation of vector-valued functions on \(n\)-dimensional real normed linear spaces2013-12-03Paper
Partial differentiation, differentiation and continuity on \(n\)-dimensional real normed linear spaces2013-12-03Paper
Licensing the Mizar Mathematical Library2011-07-29Paper
https://portal.mardi4nfdi.de/entity/Q30752472011-02-10Paper
Interfacing external CA systems for Gröbner bases computation in M<scp>izar</scp>proof checking2010-01-26Paper
A Brief Overview of Mizar2009-10-20Paper
An example of formalizing recent mathematical results in MIZAR2007-02-20Paper
Mathematical Knowledge Management2005-08-26Paper
The geometry of generalized Veronese spaces2004-10-28Paper
On Segre's product of partial line spaces and spaces of pencils2002-10-15Paper

Research outcomes over time

This page was built for person: Adam Naumowicz