New Mizar articles

[Adam Grabowski]

   Dear All,
   together with the latest official version of the Mizar
Mathematical Library (4.111.1036) the following articles
are available:

1029. MODELC_3
      Model Checking, Part {III}
       by Kazuhisa Ishida and Yasunari Shidama
      Received August 19, 2008
1030. MATRIX16
      Basic Properties of Circulant Matrices and Anti-circular Matrices
       by Xiaopeng Yue and Xiquan Liang
      Received August 26, 2008
1031. LPSPACE1
      On $L^1$ Space Formed by Real-valued Partial Functions
       by Yasushige Watase, Noboru Endou and Yasunari Shidama
      Received August 26, 2008
1032. BCIALG_6
      {BCI}-Homomorphisms
       by Yuzhong Ding, Fuguo Ge and Chenglong Wu
      Received August 26, 2008
1033. FTACELL1
      Stability of the 4-2 Binary Addition Circuit Cells. Part {I}
       by Katsumi Wasaki
      Received August 28, 2008
1034. FDIFF_11
      Several Differentiation Formulas of Special Functions -- Part {VII}
       by Fuguo Ge and Bing Xie
      Received September 23, 2008
1035. LOPBAN_6
      Open Mapping Theorem
       by Hideki Sakurai, Hisayoshi Kunimune and Yasunari Shidama
      Received September 23, 2008
1036. EUCLID_7
      The Real Vector Spaces of Finite Sequences Are Finite Dimensional
       by Yatsuka Nakamura, Artur Korni{\l}owicz, Nagato Oya
         and Yasunari Shidama
      Received September 23, 2008

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

[Piotr Rudnicki]

Adamie,

Dzieki, ze rozsaylasz takie wiesci.  Azjaci wydaja sie prowadzic zdecydowanie.

PR


On Mon, Oct 27, 2008 at 08:45:46PM +0100, Adam Grabowski wrote:

>   Dear All,
>   together with the latest official version of the Mizar
> Mathematical Library (4.111.1036) the following articles
> are available:
>
> 1029. MODELC_3
>      Model Checking, Part {III}
>       by Kazuhisa Ishida and Yasunari Shidama
>      Received August 19, 2008
> 1030. MATRIX16
>      Basic Properties of Circulant Matrices and Anti-circular Matrices
>       by Xiaopeng Yue and Xiquan Liang
>      Received August 26, 2008
> 1031. LPSPACE1
>      On $L^1$ Space Formed by Real-valued Partial Functions
>       by Yasushige Watase, Noboru Endou and Yasunari Shidama
>      Received August 26, 2008
> 1032. BCIALG_6
>      {BCI}-Homomorphisms
>       by Yuzhong Ding, Fuguo Ge and Chenglong Wu
>      Received August 26, 2008
> 1033. FTACELL1
>      Stability of the 4-2 Binary Addition Circuit Cells. Part {I}
>       by Katsumi Wasaki
>      Received August 28, 2008
> 1034. FDIFF_11
>      Several Differentiation Formulas of Special Functions -- Part {VII}
>       by Fuguo Ge and Bing Xie
>      Received September 23, 2008
> 1035. LOPBAN_6
>      Open Mapping Theorem
>       by Hideki Sakurai, Hisayoshi Kunimune and Yasunari Shidama
>      Received September 23, 2008
> 1036. EUCLID_7
>      The Real Vector Spaces of Finite Sequences Are Finite Dimensional
>       by Yatsuka Nakamura, Artur Korni{\l}owicz, Nagato Oya
>         and Yasunari Shidama
>      Received September 23, 2008
>
>   Regards,
>   Adam Grabowski
>   Library Committee of the Association of Mizar Users

--
Piotr Rudnicki                                http://web.cs.ualberta.ca/~piotr