@MISC{MAZURULM.MIZ,
  AUTHOR = {Korni{\l}owicz, Artur},
  TITLE = {Mazur-Ulam Theorem},
  DAY = {21},
  MONTH = {December},
  YEAR = {2010},
  ADDRESS1 = {Institute of Informatics\\University of Bia{\l}ystok\\Sosnowa 64, 15-887 Bia{\l}ystok\\Poland},
  SUMMARY = {The Mazur-Ulam theorem (\cite{MazurUlam}) has been formulated as two registrations:
  \verb!cluster bijective isometric -> midpoints-preserving Function of E,F;! and
  \verb!cluster isometric midpoints-preserving -> Affine Function of E,F;!
  A proof given by Jussi V\"{a}is\"{a}l\"{a} (\cite{Jussi}) has been formalized.
  }}

@ARTICLE{MazurUlam,
 AUTHOR={Mazur, Stanis{\l}aw and Ulam, Stanis{\l}aw},
 TITLE={Sur les transformationes isom\'etriques d'espaces vectoriels norm\'es},
 JOURNAL={C. R. Acad. Sci. Paris},
 NUMBER={194},
 PAGES={946--948},
 YEAR={1932}
}

@MISC{Jussi,
 AUTHOR={V\"{a}is\"{a}l\"{a}, Jussi},
 TITLE={A proof of the Mazur-Ulam theorem},
 URL={http://www.helsinki.fi/~jvaisala/mazurulam.pdf}
}
