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)
- proposal
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)