Dear All,
together with the latest official version of the Mizar system (7.11.02)
and the Mizar Mathematical Library (4.125.1059) the following articles
are available:
1047. POLYEQ_5
Solution of Cubic and Quartic Equations
by Marco Riccardi
Received March 3, 2009
1048. NAT_5
The Perfect Number Theorem and Wilson's Theorem
by Marco Riccardi
Received March 3, 2009
1049. RANDOM_1
Probability on Finite Set and Real Valued Random Variables
by Hiroyuki Okazaki and Yasunari Shidama
Received March 17, 2009
1050. MESFUN9C
Lebesgue's Convergence Theorem of Complex-Valued Function
by Keiko Narita, Noboru Endou and Yasunari Shidama
Received March 17, 2009
1051. METRIZTS
Basic Properties of Metrizable Topological Spaces
by Karol P\c{a}k
Received March 31, 2009
1052. GR_CY_3
Properties of Primes and Multiplicative Group of a Field
by Kenichi Arai and Hiroyuki Okazaki
Received April 7, 2009
1053. CFDIFF_2
Cauchy-Riemann Differential Equations of Complex Functions
by Hiroshi Yamazaki, Yasunari Shidama, Chanapat Pacharapokin
and Yatsuka Nakamura
Received April 7, 2009
1054. MEASURE8
The Hopf Extension Theorem of Measure
by Noboru Endou, Hiroyuki Okazaki and Yasunari Shidama
Received April 7, 2009
1055. REWRITE3
Labelled State Transition Systems
by Micha{\l} Trybulec
Received May 5, 2009
1056. DIST_1
Probability on Finite and Discrete Set and Uniform Distribution
by Hiroyuki Okazaki
Received May 5, 2009
1057. INTEGR15
Riemann Integral of Functions $\mathbbbR$ into $\mathbbbR^n$
by Keiichi Miyajima and Yasunari Shidama
Received May 5, 2009
1058. FUNCT_8
Basic properties of even and odd functions
by Bo Li and Yanhong Men
Received May 25, 2009
1059. FSM_3
Equivalence of Epsilon, Nondeterministic [Finite] Automata
and Deterministic [Finite] Automata
by Micha{\l} Trybulec
Received May 25, 2009
Regards,
Adam Grabowski
Library Committee of the Association of Mizar Users
