2013 - Mizar Prize for Young Researchers

Roman Matuszewski <[email protected]> Thu, 19 Dec 2013 01:37:32 +0100 (CET)

Newsgroups	gmane.comp.mathematics.mizar
Message-ID	<[email protected]>

  I have the pleasure to announce that the winner of the
  "Mizar Prize for Young Researchers" in 2013
  is Boris Shminke from Russia, for his Mizar article
 "Routh's, Menelaus' and Generalized Ceva's Theorems"
  (MML identifier: MENELAUS).

  Value of Prize:  1.000 Euro.

  The prize was founded in 2009 by Prof. Krystyna Kuperberg
  (Auburn University).
  http://mizar.uwb.edu.pl/sum/prizes.html



  dr Roman Matuszewski
  http://mizar.org/people/romat/

  Chairman of the Prize
  ASSOCIATION OF MIZAR USERS