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