New Mizar articles

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

1081. RVSUM_2
      The Sum and Product of Finite Sequences of Complex Numbers
       by Keiichi Miyajima and Takahiro Kato
      Received January 12, 2010
1082. PDIFF_5
      Second-order Partial Differentiation of Real Ternary Functions
       by Takao Inou\'e
      Received January 26, 2010
1083. INTEGR13
      Integrability Formulas -- Part {II}
       by Bo Li, Na Ma and Xiquan Liang
      Received February 4, 2010
1084. INTEGR14
      Integrability Formulas -- Part {III}
       by Bo Li and Na Ma
      Received February 4, 2010
1085. LPSPACE2
      On $L^p$ Space Formed by Real-valued Partial Functions
       by Yasushige Watase, Noboru Endou and Yasunari Shidama
      Received February 4, 2010
1086. TOPS_4
      Miscellaneous Facts about Open Functions and Continuous Functions
       by Artur Korni{\l}owicz
      Received February 9, 2010
1087. TOPREALC
      On the Continuity of Some Functions
       by Artur Korni{\l}owicz
      Received February 9, 2010
1088. RLAFFIN2
      The Geometric Interior in Real Linear Spaces
       by Karol P\c{a}k
      Received February 9, 2010
1089. SIMPLEX1
      Sperner's Lemma
       by Karol P\c{a}k
      Received February 9, 2010
1090. CARDFIN2
      Counting Derangements, Counting Non Bijective Functions and the Birthday
      Problem
       by Cezary Kaliszyk
      Received February 23, 2010
1091. INTEGR16
      Riemann Integral of Functions $\mathbbbR$ into $\mathbbbC$
       by Keiichi Miyajima, Takahiro Kato and Yasunari Shidama
      Received February 23, 2010
1092. PDIFF_6
      Differentiation of Vector-Valued Functions on $n$-Dimensional Real Normed
      Linear Spaces
       by Takao Inou\'e, Noboru Endou and Yasunari Shidama
      Received February 23, 2010

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