[Date Prev][Date Next] [Chronological] [Thread] [Top]

[mizar] New Mizar articles

  Dear all,
  together with the newest official version of the Mizar
Mathematical Library (4.103.1019) the following articles
are available:

1016. INT_6
     Modular Integer Arithmetic
      by Christoph Schwarzweller
     Received May 13, 2008
1017. BCIALG_5
     General Theory of Quasi-Commutative BCI-algebras
      by Tao Sun, Weibo Pan, Chenglong Wu and Xiquan Liang
     Received May 13, 2008
1018. MATRIXJ1
     Block Diagonal Matrices
      by Karol P\c{a}k
     Received May 13, 2008
1019. MATRLIN2
     Linear Map of Matrices
      by Karol P\c{a}k
     Received May 13, 2008

  The binaries of Mizar remain the same (7.9.01).
  Regards,
  Adam Grabowski
  Library Committee of the Association of Mizar Users