New Mizar articles

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

Anna Justyna Milewska submitted an article entitled:
      "The Field of Complex Numbers"
        (MML identifier: COMPLFLD)
 
Noboru Endou, Katsumi Wasaki, and Yasunari Shidama submitted an article 
  entitled:
      "Integrability of Bounded Total Functions"
        (MML identifier: INTEGRA4)
 
Yasushi Fuwa and Yoshinori Fujisawa submitted an article entitled:
      "High-speed algorithms for RSA cryptograms"
        (MML identifier: RADIX_2)
 
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