When is enough enough? Proving in an inversive model of Euclidean space
Fields of Study & Subjects
Mathematics and Applications
Advanced Topology and Set Theory
Geometric and Algebraic Topology
Publication details
- Journal / source
- Institut Henri Poincaré
- Publication date
- 2 February 2026