| Publication | Date of Publication | Type |
|---|
| Finite dimensional real normed spaces are proper metric spaces | 2022-09-09 | Paper |
| Ascoli-Arzelà theorem | 2022-03-29 | Paper |
| Real vector space and related notions | 2022-03-29 | Paper |
| Functional space consisted by continuous functions on topological space | 2021-11-17 | Paper |
| Operations of points on elliptic curve in affine coordinates | 2020-03-10 | Paper |
| Implicit function theorem. II | 2019-11-19 | Paper |
| Continuity of bounded linear operators on normed linear spaces | 2019-07-10 | Paper |
| Continuity of multilinear operator on normed linear spaces | 2019-05-24 | Paper |
| Implicit function theorem. I | 2018-10-16 | Paper |
| Isomorphism theorem on vector spaces over a ring | 2018-01-11 | Paper |
| F. Riesz theorem | 2018-01-11 | Paper |
| Dual lattice of \(\mathbb{Z}\)-module lattice | 2017-10-06 | Paper |
| Embedded lattice and properties of Gram matrix | 2017-06-07 | Paper |
| The basic existence theorem of Riemann-Stieltjes integral | 2017-04-03 | Paper |
| Compactness in metric spaces | 2017-03-15 | Paper |
| Riemann-Stieltjes integral | 2017-03-15 | Paper |
| Divisible \(\mathbb{Z}\)-modules | 2016-09-01 | Paper |
| Lattice of \(\mathbb{Z}\)-module | 2016-09-01 | Paper |
| Conservation rules of direct sum decomposition of groups | 2016-09-01 | Paper |
| Torsion part of \(\mathbb{Z}\)-module | 2016-04-20 | Paper |
| Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library | 2015-11-20 | Paper |
| Weak convergence and weak\(^\ast\) convergence | 2015-10-07 | Paper |
| The orthogonal projection and the Riesz representation theorem | 2015-10-07 | Paper |
| Definition and properties of direct sum decomposition of groups. | 2015-08-06 | Paper |
| Matrix of \(\mathbb{Z}\)-module | 2015-08-06 | Paper |
| \(\sigma\)-ring and \(\sigma\)-algebra of sets | 2015-08-06 | Paper |
| Equivalent expressions of direct sum decomposition of groups. | 2015-08-06 | Paper |
| Torsion \(\mathbb Z\)-module and torsion-free \(\mathbb Z\)-module | 2015-07-14 | Paper |
| Bidual spaces and reflexivity of real normed spaces | 2015-07-14 | Paper |
| Rank of submodule, linear transformations and linearly independent subsets of \(\mathbb Z\)-module | 2015-05-12 | Paper |
| Topological properties of real normed space | 2015-05-12 | Paper |
| Differentiation in normed spaces | 2014-11-05 | Paper |
| Gaussian integers | 2014-11-05 | Paper |
| Constructing binary Huffman tree | 2014-11-05 | Paper |
| Riemann integral of functions from \(\mathbb{R}\) into real Banach space | 2014-11-05 | Paper |
| Double sequences and limits | 2014-11-05 | Paper |
| The linearity of Riemann integral on functions from \(\mathbb{R}\) into real Banach space | 2014-11-05 | Paper |
| Isomorphisms of direct products of cyclic groups of prime power order. | 2014-11-05 | Paper |
| Formulation of cell Petri nets | 2014-11-05 | Paper |
| Isometric differentiable functions on real normed space | 2014-11-05 | Paper |
| Differential equations on functions from \(\mathbb R\) into real Banach space | 2014-11-05 | Paper |
| Submodule of free \(\mathbb Z\)-module | 2014-11-05 | Paper |
| Definition of flat poset and existence theorems for recursive call | 2014-11-05 | Paper |
| Dual spaces and Hahn-Banach theorem | 2014-11-05 | Paper |
| Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces | 2013-12-03 | Paper |
| Riemann Integral of Functions from R into Real Normed Space | 2013-12-03 | Paper |
| Normal Subgroup of Product of Groups | 2013-12-03 | Paper |
| More on Continuous Functions on Normed Linear Spaces | 2013-12-03 | Paper |
| Cartesian Products of Family of Real Linear Spaces | 2013-12-03 | Paper |
| Formalization of Integral Linear Space | 2013-12-03 | Paper |
| Partial Differentiation, Differentiation and Continuity on n-Dimensional Real Normed Linear Spaces | 2013-12-03 | Paper |
| Differentiable Functions into Real Normed Spaces | 2013-12-03 | Paper |
| Banach Algebra of Bounded Complex-Valued Functionals | 2013-12-03 | Paper |
| Set of Points on Elliptic Curve in Projective Coordinates | 2013-12-03 | Paper |
| More on the Continuity of Real Functions | 2013-12-03 | Paper |
| Functional Space C(ω), C0(ω) | 2013-12-03 | Paper |
| Differentiable Functions on Normed Linear Spaces | 2013-12-03 | Paper |
| Z-modules | 2013-12-03 | Paper |
| The Differentiable Functions from R into Rn | 2013-12-03 | Paper |
| Riemann Integral of Functions from R into n-dimensional Real Normed Space | 2013-12-03 | Paper |
| Operations of Points on Elliptic Curve in Projective Coordinates | 2013-12-03 | Paper |
| Higher-Order Partial Differentiation | 2013-10-08 | Paper |
| Formalization of the Data Encryption Standard | 2013-10-08 | Paper |
| Extended Euclidean Algorithm and CRT Algorithm | 2013-10-08 | Paper |
| Quotient Module of Z-module | 2013-10-08 | Paper |
| Banach’s Continuous Inverse Theorem and Closed Graph Theorem | 2013-10-08 | Paper |
| Free ℤ-module | 2013-10-08 | Paper |
| Contracting Mapping on Normed Linear Space | 2013-10-08 | Paper |
| Isomorphisms of Direct Products of Finite Cyclic Groups | 2013-10-08 | Paper |
| On L1 Space Formed by Complex-Valued Partial Functions | 2013-10-08 | Paper |
| The Ck Space | 2013-10-08 | Paper |
| Random Variables and Product of Probability Spaces | 2013-10-08 | Paper |
| Isomorphisms of Direct Products of Finite Commutative Groups | 2013-10-08 | Paper |
| Formalization of definitions and theorems related to an elliptic curve over a finite prime field by using Mizar | 2013-04-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5457503 | 2008-04-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4533001 | 2002-06-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329758 | 2002-05-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4496545 | 2001-09-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4515391 | 2001-05-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4505583 | 2000-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4239158 | 1999-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3485530 | 1989-01-01 | Paper |
