Compactness of neural networks

DOI10.2478/FORMA-2022-0002MaRDI QIDQ6489397FDOQ6489397

Authors: Keiichi Miyajima, Hiroshi Yamazaki 

Publication date: 22 April 2024

Published in: Formalized Mathematics (Search for Journal in Brave)

Recommendations

• Elementary proof of Funahashi's theorem
• Ascoli-Arzelà theorem
• Publication:4868351
• Neural networks for optimal approximation of continuous functions in \(\mathbb R^d\)
• scientific article; zbMATH DE number 1989737

zbMATH Keywords

compactnessneural networkAscoli-Arzela's theoremequiboundedness of continuous functionsequicontinuousness of continuous functions

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Compactness in Banach (or normed) spaces (46B50) Formalization of mathematics in connection with theorem provers (68V20)

Cites Work

• Mizar: state-of-the-art and beyond
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Ascoli-Arzelà theorem

This page was built for publication: Compactness of neural networks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6489397)