New Mizar articles

[Library Committee <mml@mizar.uwb.edu.pl>]

Liang Xiquan submitted an article entitled:
      "Solving Roots of Plynomial Equations of Degree 2 and 3 
       with Real Cofficients"
        (MML identifier: POLYEQ_1)
 
Takashi Mitsuishi, Noboru Endou, and Yasunari Shidama submitted an article 
  entitled:
      "Concept of Fuzzy Set and Membership Function and Basic Properties 
       of Fuzzy Set Operation"
        (MML identifier: FUZZY_1)
 
Takashi Mitsuishi, Katsumi Wasaki, and Yasunari Shidama submitted an article 
  entitled:
      "Basic Properties of Fuzzy Set Operation and Membership Function"
        (MML identifier: FUZZY_2)
 
Anna Justyna Milewska submitted an article entitled:
      "Hahn Banach Theorem in the Vector Space over the Field of Complex 
       Numbers"
        (MML identifier: HAHNBAN1)
 
Bartlomiej Skorulski submitted an article entitled:
      "The Tichonov Theorem"
        (MML identifier: YELLOW17)
 
Ewa Gradzka submitted an article entitled:
      "On the Order-consistent Topology of Complete and Uncomplete Lattices"
        (MML identifier: WAYBEL32)
 
to the Mizar Mathematical Library.  The preprints of the articles are
available at:
  
 http://mizar.org/JFM/Preprints.html
 
------------

Library Committee of the Association of Mizar Users