Pages that link to "Item:Q635637"
From MaRDI portal
The following pages link to A constructive proof of Kirszbraun's theorem (Q635637):
Displaying 22 items.
- Proof of Schur's conjecture in \(\mathbb R^D\) (Q722315) (← links)
- A constructive proof of Ky Fan's coincidence theorem (Q1016124) (← links)
- A constructive proof of the Gohberg-Semencul formula (Q1123946) (← links)
- Proof-theoretic investigations on Kruskal's theorem (Q1210137) (← links)
- A constructive proof of the Gelfand--Kolmogorov theorem (Q1430173) (← links)
- The central set and its application to the Kneser-Poulsen conjecture (Q1650788) (← links)
- On constructivity and the Rosser property: a closer look at some Gödelean proofs (Q1653263) (← links)
- An intuitionistic proof of Kruskal's theorem (Q1879322) (← links)
- Continuity of extensions of Lipschitz maps (Q2130513) (← links)
- Graphs and spherical two-distance sets (Q2311376) (← links)
- Kirszbraun-type theorems for graphs (Q2312599) (← links)
- A new constructive version of Baire's theorem (Q2505147) (← links)
- Piecewise distance preserving maps (Q2786975) (← links)
- On intrinsic isometries to Euclidean space (Q3093177) (← links)
- A Simple Construction to Prove Mycielski’s Theorem (Q3120217) (← links)
- (Q3140631) (← links)
- (Q3483288) (← links)
- (Q4580339) (← links)
- A constructive proof of Masser’s Theorem (Q4965256) (← links)
- Kirszbraun’s Theorem via an Explicit Formula (Q5858664) (← links)
- A constructive proof of the Chang-Marshall theorem (Q5916432) (← links)
- Continuity of extensions of Lipschitz maps and of monotone maps (Q6641587) (← links)
