| Publication | Date of Publication | Type |
|---|
| Implementing more explicit definitional expansions in Mizar (short paper) | 2024-11-26 | Paper |
| Elementary number theory problems. XIII | 2024-10-29 | Paper |
| Elementary number theory problems. IX | 2024-06-18 | Paper |
| Elementary number theory problems. X: Diophantine equations | 2024-06-18 | Paper |
| Elementary number theory problems. III | 2024-04-22 | Paper |
| Elementary number theory problems. IV | 2024-04-22 | Paper |
| Elementary number theory problems. V | 2024-04-22 | Paper |
| Elementary number theory problems. VII | 2023-11-28 | Paper |
| Elementary number theory problems. VIII | 2023-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6157253 | 2023-06-20 | Paper |
| A new export of the Mizar mathematical library | 2022-04-22 | Paper |
| Partial correctness of a Fibonacci algorithm | 2022-03-14 | Paper |
| Elementary number theory problems. II | 2021-11-17 | Paper |
| Partial correctness of a factorial algorithm | 2019-11-19 | Paper |
| On an algorithmic algebra over simple-named complex-valued nominative data | 2019-07-10 | Paper |
| On algebras of algorithms and specifications over uninterpreted data | 2019-07-10 | Paper |
| An inference system of an extension of Floyd-Hoare logic for partial predicates | 2019-07-10 | Paper |
| Partial correctness of GCD algorithm | 2019-07-10 | Paper |
| Kleene algebra of partial predicates | 2018-10-17 | Paper |
| The role of the Mizar mathematical library for interactive proof development in Mizar | 2018-08-21 | Paper |
| Implementation of the composition-nominative approach to program formalization in Mizar | 2018-07-03 | Paper |
| Flexary connectives in Mizar | 2018-05-15 | Paper |
| Simple-named complex-valued nominative data -- definition and basic operations | 2018-01-11 | Paper |
| Basel problem -- preliminaries | 2017-10-06 | Paper |
| Basel problem | 2017-10-06 | Paper |
| Vieta's formula about the sum of roots of polynomials | 2017-10-06 | Paper |
| Differentiability of polynomials over reals | 2017-06-07 | Paper |
| Introduction to Liouville numbers | 2017-06-07 | Paper |
| All Liouville numbers are transcendental | 2017-06-07 | Paper |
| Niven's theorem | 2017-04-03 | Paper |
| Some algebraic properties of polynomial rings | 2017-03-15 | Paper |
| Pseudo-canonical formulae are classical | 2017-01-06 | Paper |
| Enhancement of \textsc{Mizar} texts with transitivity property of predicates | 2016-08-30 | Paper |
| Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization | 2016-05-26 | Paper |
| Characteristic of rings. Prime fields | 2016-04-20 | Paper |
| Mizar: state-of-the-art and beyond | 2015-11-20 | Paper |
| The first isomorphism theorem and other properties of rings | 2015-07-14 | Paper |
| Commutativeness of fundamental groups of topological groups | 2014-11-05 | Paper |
| Coproducts in categories without uniqueness of \(\mathbf{cod}\) and \(\mathbf{dom}\) | 2014-11-05 | Paper |
| The differentiable functions from \(\mathbb R\) into \(\mathcal R^n\) | 2013-12-03 | Paper |
| Riemann integral of functions from \(\mathbb R\) into \(n\)-dimensional real normed space | 2013-12-03 | Paper |
| More on the continuity of real functions | 2013-12-03 | Paper |
| Mazur-Ulam theorem | 2013-12-03 | Paper |
| Cayley's theorem. | 2013-12-03 | Paper |
| Valuation theory. I. | 2013-12-03 | Paper |
| Contracting mapping on normed linear space | 2013-10-08 | Paper |
| Products in categories without uniqueness of cod and dom | 2013-10-08 | Paper |
| The Borsuk-Ulam theorem | 2013-10-08 | Paper |
| Fundamental group of \(n\)-sphere for \(n \geq 2\) | 2013-10-08 | Paper |
| Cayley-Dickson construction | 2013-10-08 | Paper |
| On rewriting rules in Mizar | 2013-04-17 | Paper |
| Tentative experiments with ellipsis in Mizar | 2012-09-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3075247 | 2011-02-10 | Paper |
| A Brief Overview of Mizar | 2009-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808722 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4809056 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4422082 | 2003-09-03 | Paper |
