Kazuhisa Nakasho

Available identifiers

zbMath Open nakasho.kazuhisaMaRDI QIDQ306632

List of research outcomes

Publication	Date of Publication	Type
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	2024-04-22	Paper
Transformation tools for real linear spaces	2024-04-22	Paper
On implicit and inverse function theorems on Euclidean spaces	2024-04-22	Paper
An integrated web platform for the Mizar Mathematical Library	2023-06-02	Paper
Finite dimensional real normed spaces are proper metric spaces	2022-09-09	Paper
The 3-fold product space of real normed spaces and its properties	2022-09-09	Paper
Real vector space and related notions	2022-03-29	Paper
Inverse function theorem. I	2021-11-17	Paper
Invertible operators on Banach spaces	2019-11-19	Paper
Isomorphisms from the space of multilinear operators	2019-11-19	Paper
Implicit function theorem. II	2019-11-19	Paper
Continuity of bounded linear operators on normed linear spaces	2019-07-10	Paper
Bilinear operators on normed linear spaces	2019-05-24	Paper
Multilinear operator and its basic properties	2019-05-24	Paper
Continuity of multilinear operator on normed linear spaces	2019-05-24	Paper
Implicit function theorem. I	2018-10-16	Paper
F. Riesz theorem	2018-01-11	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
Conservation rules of direct sum decomposition of groups	2016-09-01	Paper
Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library	2015-11-20	Paper
\(\sigma\)-ring and \(\sigma\)-algebra of sets	2015-08-06	Paper
Definition and properties of direct sum decomposition of groups.	2015-08-06	Paper
Separability of real normed spaces and its basic properties	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
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
Isomorphisms of direct products of cyclic groups of prime power order.	2014-11-05	Paper

Research outcomes over time

This page was built for person: Kazuhisa Nakasho