[mizar] New Mizar articles - December 2005

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

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

1. On the Partial Product and Partial Sum of Series and Related Basic
    Inequalities
    by Fuguo Ge and Xiquan Liang
   Received November 23, 2005
   MML Id: SERIES_5
2. Several Differentiable Formulas of Special Functions -- Part II
    by Yan Zhang, Bo Li and Xiquan Liang
   Received November 23, 2005
   MML Id: FDIFF_6
3. On the Calculus of Binary Arithmetics, Part II
    by Shunichi Kobayashi
   Received November 23, 2005
   MML Id: BINARI_6
4. The Relevance of Measure and Probability and Definition of Completeness
    of Probability
    by Bo Zhang, Hiroshi Yamazaki and Yatsuka Nakamura
   Received November 23, 2005
   MML Id: PROB_4
5. Some Properties Of Some Special Matrices
    by Xiaopeng Yue, Xiquan Liang and Zhongpin Sun
   Received December 7, 2005
   MML Id: MATRIX_6
6. Generalized Full Adder Circuits (GFAs). Part {I}
    by Shin'nosuke Yamaguchi, Katsumi Wasaki and Nobuhiro Shimoi
   Received December 7, 2005
   MML Id: GFACIRC1
7. Quotient Rings
    by Artur Korni{\l}owicz
   Received December 7, 2005
   MML Id: RING_1
8. Completeness of the Real Euclidean Space
    by Noboru Endou and Yasunari Shidama
   Received December 28, 2005
   MML Id: REAL_NS1

  All are included in the newest version of the Mizar system
(Mizar ver. 7.6.01, MML ver. 4.50.934) 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