@MISC{JORDAN.MIZ,
  AUTHOR = {Korni{\l}owicz, Artur},
  TITLE = {Jordan {C}urve {T}heorem},
  DAY = {15},
  MONTH = {September},
  YEAR = {2005},
  SECTION1 = {Preliminaries},
  SECTION2 = {Paths},
  SECTION3 = {Rectangles},
  SECTION4 = {Some Useful Functions},
  SECTION5 = {Jordan Curve Theorem},
  ADDRESS1 = {University of Bia{\l}ystok, Poland},
  SUMMARY = {This paper formalizes the Jordan Curve Theorem
  following \cite{BrouwerJordan}.}
  ACKNOWLEDGEMENT = {I would like to thank Professor Yatsuka Nakamura
  for including me to the team working on the formalization
  of the Jordan Curve Theorem. Especially, I am very grateful
  to Professor Nakamura for inviting me to Shinshu University, Nagano
  to work on the project together.\par
  I am also thankful to Professor Andrzej Trybulec for his
  continual help and fruitful discussions during the formalization.}}

@InCollection{BrouwerJordan,
  AUTHOR = {Gauld, David},
   TITLE = {Brouwer's {F}ixed {P}oint {T}heorem and
             the {J}ordan {C}urve {T}heorem},
     URL = {http://aitken.math.auckland.ac.nz/~gauld/750-05/section5.pdf}}

