[mizar] New Mizar articles - October & November 2005

[Adam Grabowski <adam@math.uwb.edu.pl>]

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

1. The Inner Product and Conjugate of Matrix of Complex Numbers
    by Wenpai Chang, Hiroshi Yamazaki and Yatsuka Nakamura
   Received October 10, 2005
   MML Id: MATRIXC1
2. Partial Sum and Partial Product of Some Series
    by Jianbing Cao, Fahui Zhai and Xiquan Liang
   Received November 7, 2005
   MML Id: SERIES_4
3. Some Differentiable Formulas of Special Functions
    by Jianbing Cao, Fahui Zhai and Xiquan Liang
   Received November 7, 2005
   MML Id: FDIFF_5
4. Formulas and Identities of Hyperbolic Functions
    by Pacharapokin Chanapat and Hiroshi Yamazaki
   Received November 7, 2005
   MML Id: SIN_COS8
5. Niemytzki Plane -- an Example of Tychonoff Space Which Is Not $T_4$
    by Grzegorz Bancerek
   Received November 7, 2005
   MML Id: TOPGEN_5

  All are included in the newest version of the Mizar system
(Mizar ver. 7.6.01, MML ver. 4.46.926) available for all supported
platforms.

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