New Mizar articles

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

Adam Naumowicz submitted an article entitled:
      "On Segre's Product of Partial Line Spaces"
        (MML identifier: PENCIL_1)
 
Robert Milewski submitted an article entitled:
      "Evaluation of Polynomials"
        (MML identifier: POLYNOM4)
 
JingChao Chen submitted an article entitled:
      "The Construction and Computation of While-loop Programs
 for SCMPDS"
        (MML identifier: SCMPDS_8)
 
JingChao Chen submitted an article entitled:
      "Insert Sort on SCMPDS"
        (MML identifier: SCPISORT)
 
JingChao Chen submitted an article entitled:
      "Quick Sort on SCMPDS"
        (MML identifier: SCPQSORT)
 
JingChao Chen submitted an article entitled:
      "Justifying the Correctness of Fibonacci Sequence and
 Euclide Algorithm by Loop Invariant"
        (MML identifier: SCPINVAR)
 
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