Re: [mizar] New Mizar articles

[Piotr Rudnicki <piotr@cs.ualberta.ca>]

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