[mizar] Mizar articles in 2004

[Adam Grabowski <adam@math.uwb.edu.pl>]

  Dear All,

  below I attach the list of all articles accepted for inclusion into
the Mizar Mathematical Library during the last three months. They will
form the next issues of 'Formalized Mathematics' journal, 12(4), 2004
and 13(1), 2005.

---------------------------------------------------------------------

 1. Partial Sum of Some Series
      by Ming Liang and Yuzhong Ding
    MML Id: SERIES_2

 2. Substitution in First-Order Formulas: Elementary Properties
      by Patrick Braselmann and Peter Koepke
    MML Id: SUBSTUT1

 3. Coincidence Lemma and Substitution Lemma
      by Patrick Braselmann and Peter Koepke
    MML Id: SUBLEMMA

 4. Substitution in First-Order Formulas -- Part II. The Construction of
     First-Order Formulas
      by Patrick Braselmann and Peter Koepke
    MML Id: SUBSTUT2

 5. A Sequent Calculus for First-Order Logic
      by Patrick Braselmann and Peter Koepke
    MML Id: CALCUL_1

 6. Consequences of the Sequent Calculus
      by Patrick Braselmann and Peter Koepke
    MML Id: CALCUL_2

 7. Equivalences of Inconsistency and Henkin Models
      by Patrick Braselmann and Peter Koepke
    MML Id: HENMODEL

 8. G\"odel's Completeness Theorem
      by Patrick Braselmann and Peter Koepke
    MML Id: GOEDELCP

 9. Propositional Calculus for Boolean Valued Functions, VIII
      by Shunichi Kobayashi
    MML Id: BVFUNC26

10. H\"older's Inequality and Minkowski's Inequality
      by Yasumasa Suzuki
    MML Id: HOLDER_1

11. The Banach Space $l^p$
      by Yasumasa Suzuki
    MML Id: LP_SPACE

12. Lebesgue Integral of Simple Valued Function
      by Yasunari Shidama and Noboru Endou
    MML Id: MESFUNC3

13. Inverse Trigonometric Functions Arcsin and Arccos
      by Artur Korni{\l}owicz and Yasunari Shidama
    MML Id: SIN_COS6

14. On Some Points of a Simple Closed Curve
      by Artur Korni{\l}owicz
    MML Id: JORDAN21

15. On Some Points of a Simple Closed Curve. Part II
      by Artur Korni{\l}owicz and Adam Grabowski
    MML Id: JORDAN22

16. Uniform Continuity of Functions on Normed Complex Linear Spaces
      by Noboru Endou
    MML Id: NCFCONT2

17. Introduction to Real Linear Topological Spaces
      by Czes{\l}aw Byli\'nski
    MML Id: RLTOPSP1

18. Some Properties of Rectangles on the Plane
      by Artur Korni{\l}owicz and Yasunari Shidama
    MML Id: TOPREALA

19. Some Properties of Circles on the Plane
      by Artur Korni{\l}owicz and Yasunari Shidama
    MML Id: TOPREALB

20. On the Characterization of Collineations of the Segre Product of Strongly
     Connected Partial Linear Spaces
      by Adam Naumowicz
    MML Id: PENCIL_3

21. Spaces of Pencils, Grassmann Spaces, and Generalized Veronese Spaces
      by Adam Naumowicz
    MML Id: PENCIL_4

22. On the Boundary and Derivative of a Set
      by Adam Grabowski
    MML Id: TOPGEN_1

23. Construction of Gr\"obner Bases: Avoiding S-Polynomials -- Buchberger's
     First Criterium
      by Christoph Schwarzweller
    MML Id: GROEB_3

24. A Theory of Matrices of Complex Elements
      by Wenpai Chang, Hiroshi Yamazaki and Yatsuka Nakamura
    MML Id: MATRIX_5

25. On the characteristic and weight of a topological space
      by Grzegorz Bancerek
    MML Id: TOPGEN_2

26. On constructing topological spaces and Sorgenfrey line
      by Grzegorz Bancerek
    MML Id: TOPGEN_3

27. On the Real Valued Functions
      by Artur Korni{\l}owicz
    MML Id: PARTFUN3

28. Formalization of Ortholattices via Orthoposets
      by Adam Grabowski and Markus Moschner
    MML Id: ROBBINS3

---------------------------------------------------------------------

  In total, there were 80 Mizar articles accepted for inclusion
into the Mizar Mathematical Library in 2004.

  The latest version of the Mizar system and MML is
7.0.08 (4.21.886) - December 28, 2004, Win32 build.

  Wishing successes to all of you in the New Year 2005,

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