Pages that link to "Item:Q2421532"
From MaRDI portal
The following pages link to A corrected quantitative version of the Morse lemma (Q2421532):
Displaying 9 items.
- Three problems solved by Sébastien Gouëzel (Q2120064) (← links)
- Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started (Q2657827) (← links)
- Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL (Q5094474) (← links)
- Toward a FAIR Reproducible Research (Q5871026) (← links)
- (Q5875423) (← links)
- Navigating the negative curvature of Google Maps (Q6114801) (← links)
- What is the point of computers? A question for pure mathematicians (Q6118162) (← links)
- Mathematics and the formal turn (Q6130523) (← links)
- Spaces that can be ordered effectively: virtually free groups and hyperbolicity (Q6163406) (← links)
