Dear All,
together with the newest official version of the Mizar
Mathematical Library (4.108.1028) the following articles
are available:
1022. VECTSP11
Eigenvalues of a Linear Transformation
by Karol P\c{a}k
Received July 11, 2008
1023. MATRIXJ2
Jordan Matrix Decomposition
by Karol P\c{a}k
Received July 11, 2008
1024. MESFUN10
Fatou's Lemma and the {L}ebesgue's Convergence Theorem
by Noboru Endou, Keiko Narita and Yasunari Shidama
Received July 22, 2008
1025. INTEGR10
Extended {R}iemann Integral of Functions of Real Variable and One-sided
{L}aplace Transform
by Masahiko Yamazaki, Hiroshi Yamazaki, Yasunari Shidama and Yatsuka Nakamura
Received July 22, 2008
1026. MESFUN6C
Integral of Complex-Valued Measurable Function
by Keiko Narita, Noboru Endou and Yasunari Shidama
Received July 30, 2008
1027. MATROID0
Introduction to Matroids
by Grzegorz Bancerek and Yasunari Shidama
Received July 30, 2008
1028. PDIFF_2
Partial Differentiation of Real Binary Functions
by Bing Xie, Xiquan Liang, Hongwei Li and Yanping Zhuang
Received August 5, 2008
Regards,
Adam Grabowski
Library Committee of the Association of Mizar Users
