Search Results - "Naumowicz, Adam"

Elementary Number Theory Problems. Part V.

Authors: Korniłowicz, Artur Naumowicz, Adam

Source: Formalized Mathematics. Oct2022, Vol. 30 Issue 3, p229-234. 6p.

Elementary Number Theory Problems. Part I.

Authors: Naumowicz, Adam¹ (AUTHOR)

Source: Formalized Mathematics. Apr2020, Vol. 28 Issue 1, p115-120. 6p.

All Liouville Numbers are Transcendental.

Authors: Korniłowicz, Artur Naumowicz, Adam Grabowski, Adam

Source: Formalized Mathematics. Mar2017, Vol. 25 Issue 1, p49-54. 6p.

Niven's Theorem.

Authors: Korniłowicz, Artur Naumowicz, Adam

Source: Formalized Mathematics. Dec2016, Vol. 24 Issue 4, p301-308. 8p.

Interfacing external CA systems for Grobner bases computation in Mizar proof checking.

Authors: Naumowicz, Adam¹, adamn@mizar.org

Source: International Journal of Computer Mathematics; Jan2010, Vol. 87 Issue 1, p1-11, 11p, 1 Chart

On Segre's product of partial line spaces and spaces of pencilsAdamNaumowiczKrzysztofPrażmowskiInstitute of Mathematics, University in Białystok,...

Authors: Naumowicz, Adam Prazmowski, Krzysztof

Source: Journal of Geometry. 2001, Vol. 71 Issue 1/2, p128. 16p.

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

Authors: Naumowicz, Adam¹ adamn@mizar.org

Source: Journal of Automated Reasoning. Oct2015, Vol. 55 Issue 3, p285-294. 10p.

Subjects: Automatic theorem proving, Checker problems, Boolean functions, Computers in mathematics, Intersection numbers

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

Authors: Bancerek, Grzegorz Byliński, Czesław Grabowski, Adam et al.

Source: Journal of Automated Reasoning; Jun2018, Vol. 61 Issue 1-4, p9-32, 24p

Four Decades of Mizar.

Authors: Grabowski, Adam Korniłowicz, Artur Naumowicz, Adam

Source: Journal of Automated Reasoning; Oct2015, Vol. 55 Issue 3, p191-198, 8p

An example of formalizing recent mathematical results in Mizar

Authors: Naumowicz, Adam¹, adamn@mizar.org

Source: Journal of Applied Logic; Dec2006, Vol. 4 Issue 4, p396-413, 18p

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

Authors: Naumowicz, Adam¹

Source: Formalized Mathematics. 2014, Vol. 22 Issue 2, p177-178. 2p.

Formal Mathematics for Mathematicians.

Authors: Trybulec, Andrzej Kornilowicz, Artur Naumowicz, Adam et al.

Source: Journal of Automated Reasoning; Feb2013, Vol. 50 Issue 2, p119-121, 3p