Formalizing a Lipschitz continuous version of Kolmogorov’s superposition theorem
1
Introduction
2
Core Function
▶
2.1
Main Definitions
2.2
Repeatedly Used Lemmas
2.3
Convergence
2.4
Differentiability
2.5
Requisite Properties
3
Injectivity
▶
3.1
Linear Algebra
3.2
Trigonometric Representation
3.3
Number Theory
4
Outer Functions
5
Open Problems
6
Bibliography
Dependency graph
5 Open Problems
There are several that I have not written up yet.