@MISC{MENELAUS.MIZ,
  AUTHOR = {Shminke, Boris A.},
  TITLE = {Routh's, {M}enelaus' and Generalized {C}eva's Theorems},
  SECTION1 = {Some Properties of the Area of Triangle},
  SECTION2 = {Ceva's Theorem and Others},
  DAY = {16},
  MONTH = {January},
  YEAR = {2012},
  ADDRESS = {Shakhtyorskaya 2\\ 453850 Meleuz\\ Russia},
  SUMMARY = {The goal of this article is to formalize Ceva's theorem that is in the
  \cite{Freek-100-theorems} on the web. Alongside with it formalizations of Routh's, Menelaus'
  and generalized form of Ceva's theorem itself are provided.}}

@InCollection{Freek-100-theorems,
  AUTHOR = {Wiedijk, Freek},
   TITLE = {Formalizing 100 Theorems},
    NOTE = {{\tt http://www.cs.ru.nl/\~{}freek/100/}}}
