[mizar] New Mizar articles

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

Adam Grabowski submitted an article entitled:
      "On the Hausdorff Distance Between Compact Subsets"
        (MML identifier: HAUSDORF)

Freek Wiedijk submitted an article entitled:
      "Chains on a Grating in Euclidean Space"
        (MML identifier: CHAIN_1)

Hiroshi Yamazaki, Yasunari Shidama, and Yatsuka Nakamura submitted an article
  entitled:
      "Bessel's Inequality"
        (MML identifier: BHSP_5)

Hisayoshi Kunimune and Yatsuka Nakamura submitted an article entitled:
      "A Representation of Integers by Binary Arithmetics
 and Addition of Integers"
        (MML identifier: BINARI_4)

Kanchun and Yatsuka Nakamura submitted an article entitled:
      "The Inner Product of Finite Sequences and of Points
 of $n$-dimensional Topological Space"
        (MML identifier: EUCLID_2)

Xiquan Liang submitted an article entitled:
      "Solving Roots of Polynomial Equation of Degree 4 with
 Real Coefficients"
        (MML identifier: POLYEQ_2)

to the Mizar Mathematical Library.  The preprints of the articles are
available at:

 http://mizar.uwb.edu.pl/JFM/Preprints.html

-----
Library Comittee of the Association of Mizar Users