Recommendations
- scientific article; zbMATH DE number 4198022
- A constructive proof of Vizing's theorem
- scientific article; zbMATH DE number 4154443
- scientific article; zbMATH DE number 4097406
- A constructive version of Birkhoff's theorem
- A proof of Kirillov's conjecture
- A constructive proof of the topological Kruskal theorem
- A Constructive Proof of the Poincare-Birkhoff Theorem
- scientific article; zbMATH DE number 802881
- An intuitionistic proof of Kruskal's theorem
Cites work
- scientific article; zbMATH DE number 3214278 (Why is no real title available?)
- A Generalization of Theorems of Kirszbraun and Minty
- A Lipschitz Condition Preserving Extension for a Vector Function
- Kirszbraun's theorem and metric spaces of bounded curvature
- Markov chains, Riesz transforms and Lipschitz maps
Cited in
(23)- Piecewise distance preserving maps
- Kirszbraun-type theorems for graphs
- A constructive proof of Ky Fan's coincidence theorem
- Proof-theoretic investigations on Kruskal's theorem
- A constructive proof of the Gohberg-Semencul formula
- Proof of Schur's conjecture in R^D
- A constructive proof of the Gelfand--Kolmogorov theorem
- Alexandrov meets Kirszbraun
- A constructive version of the extremum value theorem for spaces of vector-valued functions
- An intuitionistic proof of Kruskal's theorem
- A Simple Construction to Prove Mycielski’s Theorem
- On constructivity and the Rosser property: a closer look at some Gödelean proofs
- Graphs and spherical two-distance sets
- The central set and its application to the Kneser-Poulsen conjecture
- A constructive proof of the Chang-Marshall theorem
- scientific article; zbMATH DE number 4154443 (Why is no real title available?)
- Continuity of extensions of Lipschitz maps and of monotone maps
- A new constructive version of Baire's theorem
- scientific article; zbMATH DE number 440474 (Why is no real title available?)
- Continuity of extensions of Lipschitz maps
- A constructive proof of Masser’s Theorem
- Kirszbraun's theorem via an explicit formula
- On intrinsic isometries to Euclidean space
This page was built for publication: A constructive proof of Kirszbraun's theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q635637)
