1. Carathéodory, C.: Mathematische Annalen (Springer, Berlin / Heidelberg) 73(2), 305–320 (1913)

   Google Scholar 

2. Alexander, J.W.: An example of a simply connected surface bounding a region which is not simply connected. Proc. Nat. Acad. Sci. U.S.A.10(1), 8–10 (1924)

   Article  Google Scholar 

3. Bing, R.H.: A homeomorphism between the 3-sphere and the sum of two solid horned spheres. Ann. Math.56, 354–362 (1952)

   Article MathSciNet MATH  Google Scholar 

4. Brown, M.: A proof of the generalized Schoenflies theorem. Bull. Amer. Math. Soc.66, 74–76 (1960)

   Article MathSciNet MATH  Google Scholar 

5. Edwards, R.D.: The topology of manifolds and cell-like maps. In: Proceedings of the ICM, Helsinki, pp. 111–127 (1978)

   Google Scholar 

6. Freedman, M.H.: The topology of four-dimensional manifolds. J. Differ. Geom.17(3), 357–453 (1982)

   Article MathSciNet MATH  Google Scholar 

7. Freedman, M.H.: Bing topology and Casson handles, notes by S. Behrens, Santa Barbara Lectures (2013)

   Google Scholar 

8. Freedman, M.H., Quinn, F.: Topology of 4-Manifolds. PMS, vol. 39. Princeton University Press, Princeton (1990)

   MATH  Google Scholar 

9. Mizar formalization of the Jordan curve theorem.http://mizar.uwb.edu.pl/jordan/

10. Hales, T.: The Jordan curve theorem, formally and informally. Am. Math. Mon.114(10), 882–894 (2007)

    MathSciNet MATH  Google Scholar 

11. BingShrinkingCriterion.https://github.com/CuMathInfo/Topology/tree/master/BingShrinkingCriterion

12. Schepler, D.: Topology/v8.5 in coq-contribs.https://scm.gforge.inria.fr/anonscm/git/coq-contribs/coq-contribs.git

13. https://github.com/c-corn/corn/tree/master/metric2

14. http://www-sop.inria.fr/marelle/Guillaume.Cano/

15. http://coquelicot.saclay.inria.fr/html/Coquelicot.Coquelicot.html

16. “Alexander Horned Sphere” From MathWorld–A Wolfram Web Resource.http://mathworld.wolfram.com/AlexandersHornedSphere.html

Download references