Journal of Formalized Mathematics, Volume 5, 1993

Table of contents

  1. Properties of the Intervals of Real Numbers
    by Jozef Bialas
  2. Subspaces of Real Linear Space Generated by One, Two, or Three Vectors and Their Cosets
    by Wojciech A. Trybulec
  3. Domains of Submodules, Join and Meet of Finite Sequences of Submodules and Quotient Modules
    by Michal Muzalewski
  4. Functions and Finite Sequences of Real Numbers
    by Jaroslaw Kotowicz
  5. Properties of Partial Functions from a Domain to the Set of Real Numbers
    by Jaroslaw Kotowicz and Yuji YujiSakai
  6. Remarks on Special Subsets of Topological Spaces
    by Zbigniew Karno
  7. On Discrete and Almost Discrete Topological Spaces
    by Zbigniew Karno
  8. The Product and the Determinant of Matrices with Entries in a Field
    by Katarzyna Zawadzka
  9. Introduction to Theory of Rearrangement
    by Yuji Sakai and Jaroslaw Kotowicz
  10. Many-sorted Sets
    by Andrzej Trybulec
  11. Subalgebras of the Universal Algebra. Lattices of Subalgebras
    by Ewa Burakowska
  12. Hahn-Banach Theorem
    by Bogdan Nowak and Andrzej Trybulec
  13. Homomorphisms of Lattices, Finite Join and Finite Meet
    by Jolanta Kamienska and Jaroslaw Stanislaw Walijewski
  14. Representation Theorem for Heyting Lattices
    by Jolanta Kamienska
  15. Representation Theorem for Boolean Algebras
    by Jaroslaw Stanislaw Walijewski
  16. Some Remarks on the Simple Concrete Model of Computer
    by Andrzej Trybulec and Yatsuka Nakamura
  17. Euclid's Algorithm
    by Andrzej Trybulec and Yatsuka Nakamura
  18. Development of Terminology for \bf SCM
    by Grzegorz Bancerek and Piotr Rudnicki
  19. Two Programs for \bf SCM. Part I - Preliminaries
    by Grzegorz Bancerek and Piotr Rudnicki
  20. Two Programs for \bf SCM. Part II - Programs
    by Grzegorz Bancerek and Piotr Rudnicki
  21. Joining of Decorated Trees
    by Grzegorz Bancerek
  22. Binary Arithmetics
    by Takaya Nishiyama and Yasuho Mizuhara
  23. Basic Concepts for Petri Nets with Boolean Markings
    by Pauline N. Kawamoto, Yasushi Fuwa, and Yatsuka Nakamura
  24. On Defining Functions on Trees
    by Grzegorz Bancerek and Piotr Rudnicki
  25. Product of Family of Universal Algebras
    by Beata Madras
  26. Homomorphisms of Algebras. Quotient Universal Algebra
    by Malgorzata Korolkiewicz
  27. Free Universal Algebra Construction
    by Beata Perkowska
  28. Complex Sequences
    by Agnieszka Banachowicz and Anna Winnicka
  29. Maximal Discrete Subspaces of Almost Discrete Topological Spaces
    by Zbigniew Karno
  30. On Nowhere and Everywhere Dense Subspaces of Topological Spaces
    by Zbigniew Karno
  31. On the Decomposition of the States of SCM
    by Yasushi Tanaka
  32. On Defining Functions on Binary Trees
    by Grzegorz Bancerek and Piotr Rudnicki
  33. A Compiler of Arithmetic Expressions for SCM
    by Grzegorz Bancerek and Piotr Rudnicki

[MML identifier index, Mizar home page]