Compactness of neural networks

DOI10.2478/FORMA-2022-0002MaRDI QIDQ6489397zbMATH OpenFDO

Authors Keiichi Miyajima, Hiroshi Yamazaki

Publication date 22 April 2024

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 4.0 International

Full work available at URL https://doi.org/10.2478/FORMA-2022-0002

zbMATH Keywords

Ascoli-Arzela's theoremcompactnessequiboundedness of continuous functionsequicontinuousness of continuous functionsneural network

Mathematics Subject Classification ID

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

Recommendations

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

Cites work

• Ascoli-Arzelà theorem
• scientific article; zbMATH DE number 3678487 (Why is no real title available?)
• scientific article; zbMATH DE number 3719745 (Why is no real title available?)
• scientific article; zbMATH DE number 204193 (Why is no real title available?)
• Mizar: state-of-the-art and beyond
• The role of the Mizar mathematical library for interactive proof development in Mizar

Cited in

(1)

• Ascoli-Arzelà theorem (metric space version)

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)