Prizes granted by SUM

Prizes granted by the Association of Mizar Users

Mizar Prize for Young Researchers

2009 - Karol Pak The Nagata-Smirnov Theorem. Part II (NAGATA_2).
2010 - Marco Riccardi The Definition of Topological Manifolds (MFOLD_1).
2011 - Marco B. Caminati Sequent calculus, derivability, provability. Goedel's completeness theorem (FOMODEL4).
2012 - Mariusz Giero Weak Completeness Theorem for Propositional Linear Time Temporal Logic (LTLAXIO4).
2013 - Boris Shminke Routh's, Menelaus' and Generalized Ceva's Theorems (MENELAUS).
2014 - Yasushige Watase Lagrange's Four-Square Theorem (LAGRA4SQ).

The prize is granted annually following a competition of Mizar articles submitted to the MML. The competition of articles is managed by SUM.
The initiator and first founder of this prize is Prof. Krystyna Kuperberg (Auburn University).
Value of prize: 1.000 EUR.

Lesniewski Prize

1990 - Zinaida Trybulec and Halina Swieczkowska for Boolean Properties of Sets (BOOLE)
1991 - Krzysztof Hryniewiecki for Basic Properties of Real Numbers (REAL_1)
1992 - Grzegorz Bancerek and Krzysztof Hryniewiecki for Segments of Natural Numbers and Finite Sequences (FINSEQ_1)
1993 - Henryk Oryszczyszyn and Krzysztof Prazmowski for Parallelity and Lines in Affine Spaces (AFF_1)
1994 - Czeslaw Bylinski for Functions and Their Basic Properties (FUNCT_1)
1995 - Grzegorz Bancerek for The Fundamental Properties of Natural Numbers (NAT_1)
1996 - Czeslaw Bylinski for Some Basic Properties of Sets (ZFMISC_1)
1997 - Czeslaw Bylinski for Functions from a Set to a Set (FUNCT_2)
1998 - Andrzej Trybulec for Strong Arithmetic of Real Numbers (AXIOMS)
1999 - Wojciech A. Trybulec for Vectors in Real Linear Space (RLVECT_1)
2000 - Andrzej Kondracki for Equalities and Inequalities In Real Numbers (REAL_2)
2001 - Yatsuka Nakamura and Andrzej Trybulec for A Mathematical Model of CPU (AMI_1)
2002 - Andrzej Trybulec and Czeslaw Bylinski for Some Properties of Real Numbers. Operations: min, max, square, and square root (SQUARE_1)
2003 - Edmund Woronowicz for Relations and Their Basic Properties (RELAT_1)
2004 - Agata Darmochwal for The Euclidean Space (EUCLID)

This prize is granted yearly to author(s) of an article with the greatest number of references in MML. It may be obtained once only for one article. Axiomatics and articles authored by the Library Committee are not included in this "competition". A winner is proposed yearly during General Assembly of the Association of Mizar Users by Library Committee based on statistical reports created at the end of preceding year.

Sleszynski Prize

1990 - Grzegorz Bancerek
1991 - not granted
1992 - Zbigniew Karno for TDLAT_3 (The Lattice of Domains of an Extremally Disconnected Space)
1993 - Yatsuka Nakamura and Andrzej Trybulec
1994 - not granted
1995 - not granted
1996 - not granted
1997 - not granted
1998 - Adam Grabowski for WAYBEL17 (Scott-Continuous Functions)
1999 - not granted
2000 - Adam Grabowski for HEYTING2 (Lattice of Substitutions Is a Heyting Algebra)
2001 - not granted
2002 - not granted
2003 - not granted
2004 - not granted
2005 - Artur Kornilowicz for JORDAN (Jordan Curve Theorem).
2006 - not granted
2007 - not granted
2008 - Noboru Endou, Keiko Narita and Yasunari Shidama for MESFUN10 (Fatou's Lemma and the Lebesgue's Convergence Theorem)
2011 - not granted
2012 - Julian J. Schloeder and Peter Koepke for GOEDCPUC (The Goedel Completeness Theorem for Uncountable Languages)

Honorary Membership of SUM

Michal Swiecki (granted on October 10, 1989)
Marek Kordos (granted on October 10, 1989)
Witold Marciszewski (granted on January 5, 1991)
Andrzej Jacek Blikle (granted on February 22, 1992)

Last modified: February 2, 2016