[mizar] New Mizar articles

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

  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