| Publication | Date of Publication | Type |
|---|
Elementary number theory problems. XI
Formalized Mathematics | 2024-06-18 | Paper |
Elementary number theory problems. V
Formalized Mathematics | 2024-04-22 | Paper |
Extending numeric automation for number theory formalizations in Mizar
Lecture Notes in Computer Science | 2024-02-28 | Paper |
| scientific article; zbMATH DE number 7699428 (Why is no real title available?) | 2023-06-20 | Paper |
Elementary number theory problems. I
Formalized Mathematics | 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
Journal of Automated Reasoning | 2018-08-21 | Paper |
All Liouville numbers are transcendental
Formalized Mathematics | 2017-06-07 | Paper |
Niven's theorem
Formalized Mathematics | 2017-04-03 | Paper |
A note on the seven bridges of Königsberg problem
Formalized Mathematics | 2017-01-06 | Paper |
Accessing the Mizar library with a weakly strict Mizar parser
Lecture Notes in Computer Science | 2016-08-30 | Paper |
Automating Boolean set operations in Mizar proof checking with the aid of an external SAT solver
Journal of Automated Reasoning | 2016-05-26 | Paper |
Mizar: state-of-the-art and beyond
Lecture Notes in Computer Science | 2015-11-20 | Paper |
Tools for MML environment analysis
Lecture Notes in Computer Science | 2015-11-20 | Paper |
More on divisibility criteria for selected primes
Formalized Mathematics | 2014-11-05 | Paper |
SAT-enhanced Mizar proof checking
Lecture Notes in Computer Science | 2014-08-07 | Paper |
Partial differentiation of vector-valued functions on \(n\)-dimensional real normed linear spaces
Formalized Mathematics | 2013-12-03 | Paper |
Partial differentiation, differentiation and continuity on \(n\)-dimensional real normed linear spaces
Formalized Mathematics | 2013-12-03 | Paper |
Licensing the Mizar Mathematical Library (MML)
Lecture Notes in Computer Science | 2011-07-29 | Paper |
| scientific article; zbMATH DE number 5850143 (Why is no real title available?) | 2011-02-10 | Paper |
Interfacing external CA systems for Gröbner bases computation in Mizar proof checking
International Journal of Computer Mathematics | 2010-01-26 | Paper |
A Brief Overview of Mizar
Lecture Notes in Computer Science | 2009-10-20 | Paper |
An example of formalizing recent mathematical results in MIZAR
Journal of Applied Logic | 2007-02-20 | Paper |
Mathematical Knowledge Management
Lecture Notes in Computer Science | 2005-08-26 | Paper |
The geometry of generalized Veronese spaces
Results in Mathematics | 2004-10-28 | Paper |
On Segre's product of partial line spaces and spaces of pencils
Journal of Geometry | 2002-10-15 | Paper |
