Compactness of neural networks

DOI10.2478/FORMA-2022-0002MaRDI QIDQ6489397

Keiichi Miyajima, Hiroshi Yamazaki

Publication date: 22 April 2024

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

zbMATH Keywords

neural networkcompactnessAscoli-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

• The role of the Mizar mathematical library for interactive proof development in Mizar
• Ascoli-Arzelà theorem
• Mizar: State-of-the-art and Beyond
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Compactness of neural networks