[Date Prev][Date Next] [Chronological] [Thread] [Top]

[mizar] New Mizar articles

  Dear All,
  I would like to announce three new articles accepted to the
Mizar Mathematical Library:

1. Stirling Numbers of the Second Kind
    by Karol P\c{a}k
   Received March 15, 2005
   MML Id: STIRL2_1
2. Limit of Sequence of Subsets
    by Bo Zhang, Hiroshi Yamazaki and Yatsuka Nakamura
   Received March 15, 2005
   MML Id: SETLIM_1
3. The Properties of Supercondensed Sets, Subcondensed Sets and
    Condensed Sets
    by Magdalena Jastrz\c{e}bska and Adam Grabowski
   Received March 31, 2005
   MML Id: ISOMICHI

Check our homepage
  http://mizar.uwb.edu.pl
or its official mirror
  http://mizar.org
for details.

  Regards,
  Adam Grabowski
  Library Committee of the Association of Mizar Users