Geometry of normed spaces
Sphere Rigidity
A study of how the metric structure of a unit sphere determines its ambient real normed space, with a separate route toward reusable proof tools.
Read the project recordRESEARCH
Results, with their evidence.
Each project brings together a mathematical claim, its available documents, and a version-specific verification record. Preliminary work is labelled as preliminary.
The Sphere Rigidity Brief Report is available as a preliminary PDF. Its project page records the current mathematical review, formalization, and correspondence status.
1 project listed
No matching project. Try “sphere” or clear the search.
Read the evidence, not just a label.
Human review, formal checking, and statement alignment are shown separately. How to read the verification record