[Date Prev][Date Next] [Chronological] [Thread] [Top]

Re: [mizar] New Mizar articles

Thanks Adam for the new version of MML.

All below shown mizar articles are already prepared
as "Formalized Mathematics 2008" papers (in the
process of proof-reading by their authors):
http://fm.mizar.org/inpress.htm

Regards,

Roman Matuszewski, Editor
-------
University of Bialystok, Poland
http://mizar.org/people/romat/



On Tue, 4 Mar 2008, Adam Grabowski wrote:


 Dear all,
 together with the newest official version of the Mizar system (7.8.10)
and the Mizar Mathematical Library (4.99.1005) the following articles
are available:

1000. HELLY
    Helly property for subtrees
     by Jessica Enright and Piotr Rudnicki
    Received January 10, 2008
1001. EUCLID_6
    Heron's Formula and Ptolemy's Theorem
     by Marco Riccardi
    Received January 10, 2008
1002. INT_7
    Uniqueness of factoring an integer and multiplicative group $Z/pZ^{*}$
     by Hiroyuki Okazaki and Yasunari Shidama
    Received January 31, 2008
1003. BCIIDEAL
    Ideals of BCI-Algebras and Their Properties
     by Chenglong Wu and Yuzhong Ding
    Received March 3, 2008
1004. C0SP1
    Banach Algebra of Bounded Functionals
     by Yasunari Shidama, Hikofumi Suzuki and Noboru Endou
    Received March 3, 2008
1005. CONVEX4
    Convex Sets and Convex Combinations on Complex Linear Spaces
     by Hidenori Matsuzaki, Noboru Endou and Yasunari Shidama
    Received March 3, 2008

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