[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.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