| Publication | Date of Publication | Type |
|---|
Higher order partial differentiable functions
Formalized Mathematics | 2026-03-23 | Paper |
| Remote verification system for Mizar integrated with emwiki | 2024-12-04 | Paper |
Isomorphism between spaces of multilinear maps and nested compositions over real normed vector spaces
Formalized Mathematics | 2024-04-22 | Paper |
Transformation tools for real linear spaces
Formalized Mathematics | 2024-04-22 | Paper |
On implicit and inverse function theorems on Euclidean spaces
Formalized Mathematics | 2024-04-22 | Paper |
An integrated web platform for the Mizar Mathematical Library
Lecture Notes in Computer Science | 2023-06-02 | Paper |
Finite dimensional real normed spaces are proper metric spaces
Formalized Mathematics | 2022-09-09 | Paper |
The 3-fold product space of real normed spaces and its properties
Formalized Mathematics | 2022-09-09 | Paper |
Real vector space and related notions
Formalized Mathematics | 2022-03-29 | Paper |
Inverse function theorem. I
Formalized Mathematics | 2021-11-17 | Paper |
Invertible operators on Banach spaces
Formalized Mathematics | 2019-11-19 | Paper |
Isomorphisms from the space of multilinear operators
Formalized Mathematics | 2019-11-19 | Paper |
Implicit function theorem. II
Formalized Mathematics | 2019-11-19 | Paper |
Continuity of bounded linear operators on normed linear spaces
Formalized Mathematics | 2019-07-10 | Paper |
Bilinear operators on normed linear spaces
Formalized Mathematics | 2019-05-24 | Paper |
Multilinear operator and its basic properties
Formalized Mathematics | 2019-05-24 | Paper |
Continuity of multilinear operator on normed linear spaces
Formalized Mathematics | 2019-05-24 | Paper |
Implicit function theorem. I
Formalized Mathematics | 2018-10-16 | Paper |
F. Riesz theorem
Formalized Mathematics | 2018-01-11 | Paper |
The basic existence theorem of Riemann-Stieltjes integral
Formalized Mathematics | 2017-04-03 | Paper |
Compactness in metric spaces
Formalized Mathematics | 2017-03-15 | Paper |
Riemann-Stieltjes integral
Formalized Mathematics | 2017-03-15 | Paper |
Conservation rules of direct sum decomposition of groups
Formalized Mathematics | 2016-09-01 | Paper |
Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library
Lecture Notes in Computer Science | 2015-11-20 | Paper |
\(\sigma\)-ring and \(\sigma\)-algebra of sets
Formalized Mathematics | 2015-08-06 | Paper |
Definition and properties of direct sum decomposition of groups.
Formalized Mathematics | 2015-08-06 | Paper |
Separability of real normed spaces and its basic properties
Formalized Mathematics | 2015-08-06 | Paper |
Equivalent expressions of direct sum decomposition of groups.
Formalized Mathematics | 2015-08-06 | Paper |
Torsion \(\mathbb Z\)-module and torsion-free \(\mathbb Z\)-module
Formalized Mathematics | 2015-07-14 | Paper |
Rank of submodule, linear transformations and linearly independent subsets of \(\mathbb Z\)-module
Formalized Mathematics | 2015-05-12 | Paper |
Topological properties of real normed space
Formalized Mathematics | 2015-05-12 | Paper |
Isomorphisms of direct products of cyclic groups of prime power order.
Formalized Mathematics | 2014-11-05 | Paper |
