New Mizar articles

   Dear All,
   together with the newest official version of the Mizar system
(7.11.05, MML version 4.133.1080) the following new articles are
available:

1077. FIB_NUM4
      Representation of the Fibonacci and Lucas Numbers in Terms of
      the Floor and Ceiling Functor
       by Magdalena Jastrz\c{e}bska
      Received November 30, 2009
1078. EUCLID_9
      The Correspondence Between $n$-dimensional Euclidean Space and the
      Product of $n$ Real Lines
       by Artur Korni{\l}owicz
      Received November 30, 2009
1079. RLAFFIN1
      Affine Indepedence in Vector Spaces
       by Karol P\c{a}k
      Received December 18, 2009
1080. SIMPLEX0
      Abstract Simplicial Complexes
       by Karol P\c{a}k
      Received December 18, 2009

   Regards,
   Adam Grabowski
   Library Committee of the Association of Mizar Users