Hiroshi Yamazaki

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Functional sequence in norm space Formalized Mathematics	2024-08-26	Paper
Compactness of neural networks Formalized Mathematics	2024-04-22	Paper
Ascoli-Arzelà theorem Formalized Mathematics	2022-03-29	Paper
Functional space consisted by continuous functions on topological space Formalized Mathematics	2021-11-17	Paper
A simple example for linear partial differential equations and its solution using the method of separation of variables Formalized Mathematics	2019-05-24	Paper
Conservation rules of direct sum decomposition of groups Formalized Mathematics	2016-09-01	Paper
Definition and properties of direct sum decomposition of groups. Formalized Mathematics	2015-08-06	Paper
Equivalent expressions of direct sum decomposition of groups. Formalized Mathematics	2015-08-06	Paper
Isomorphisms of direct products of cyclic groups of prime power order. Formalized Mathematics	2014-11-05	Paper
Morphology for image processing. I. Formalized Mathematics	2013-12-03	Paper
Isomorphisms of direct products of finite commutative groups. Formalized Mathematics	2013-10-08	Paper
Strategic investment timing under asymmetric access charge regulation in telecommunications European Journal of Operational Research	2010-12-20	Paper

Research outcomes over time

This page was built for person: Hiroshi Yamazaki