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