Journal of Formalized Mathematics, Volume 10, 1998

Table of contents

1. The Composition of Functors and Transformations in Alternative Categories
   by Artur Kornilowicz
   
2. Completely-Irreducible Elements
   by Robert Milewski
   
3. Scott-Continuous Functions
   by Adam Grabowski
   
4. Natural Numbers
   by Robert Milewski
   
5. Binary Arithmetics. Binary Sequences
   by Robert Milewski
   
6. Full Trees
   by Robert Milewski
   
7. On $T_1$ Reflex of Topological Space
   by Adam Naumowicz and Mariusz \Lapinski
   
8. Bases and Refinements of Topologies
   by Grzegorz Bancerek
   
9. The Properties of Product of Relational Structures
   by Artur Kornilowicz
   
10. On the Characterization of Modular and Distributive Lattices
    by Adam Naumowicz
    
11. Injective Spaces
    by Jaroslaw Gryko
    
12. On the Characterization of Hausdorff Spaces
    by Artur Kornilowicz
    
13. The Field of Quotients over an Integral Domain
    by Christoph Schwarzweller
    
14. First-countable, Sequential, and Frechet Spaces
    by Bartlomiej Skorulski
    
15. On the Composition of non-parahalting Macro Instructions
    by Piotr Rudnicki
    
16. The \bf while macro instructions of SCM+FSA, Part II
    by Piotr Rudnicki
    
17. Another \bf times Macro Instruction
    by Piotr Rudnicki
    
18. The \bf for (going up) Macro Instruction
    by Piotr Rudnicki
    
19. Bounding Boxes for Special Sequences in $\calE^2$
    by Yatsuka Nakamura and Adam Grabowski
    
20. Euler's Theorem and Small Fermat's Theorem
    by Yoshinori Fujisawa and Yasushi Fuwa
    
21. The Product of the Families of the Groups
    by Artur Kornilowicz
    
22. On a Dividing Function of the Simple Closed Curve into Segments
    by Yatsuka Nakamura
    
23. Initialization Halting Concepts and Their Basic Properties of SCM+FSA
    by JingChao Chen and Yatsuka Nakamura
    
24. Bubble Sort on SCM+FSA
    by JingChao Chen and Yatsuka Nakamura
    
25. The Lawson Topology
    by Grzegorz Bancerek
    
26. Kernel Projections and Quotient Lattices
    by Piotr Rudnicki
    
27. Lawson Topology in Continuous Lattices
    by Grzegorz Bancerek
    
28. Representation theorem for free continuous lattices
    by Piotr Rudnicki
    
29. Oriented Simple Chains Included in Oriented Chains
    by Yatsuka Nakamura and Piotr Rudnicki
    
30. Graph Theoretical Properties of Arcs in the Plane and Fashoda Meet Theorem
    by Yatsuka Nakamura
    
31. Algebraic group on Fixed-Length bit integer and its adaptation to IDEA Cryptography
    by Yasushi Fuwa and Yoshinori Fujisawa
    
32. The Definition and Basic Properties of Topological Groups
    by Artur Kornilowicz
    
33. The Correspondence Between Lattices of Subalgebras of Universal Algebras and Many Sorted Algebras
    by Adam Naumowicz and Agnieszka Julia Marasik
    
34. Introduction to Concept Lattices
    by Christoph Schwarzweller
    
35. A theory of partitions, I
    by Shunichi Kobayashi and Kui Jia
    
36. A Theory of Boolean Valued Functions and Partitions
    by Shunichi Kobayashi and Kui Jia
    
37. Trigonometric Functions and Existence of Circle Ratio
    by Yuguang Yang and Yasunari Shidama
    
38. Some properties of special polygonal curves
    by Andrzej Trybulec and Yatsuka Nakamura
    
39. Real Linear-Metric Space and Isometric Functions
    by Robert Milewski
    
40. Introduction to Meet-Continuous Topological Lattices
    by Artur Kornilowicz
    
41. Bases of Continuous Lattices
    by Robert Milewski
    
42. The Construction of \bf SCM over Ring
    by Artur Kornilowicz
    
43. The Basic Properties of \bf SCM over Ring
    by Artur Kornilowicz
    
44. A Theory of Boolean Valued Functions and Quantifiers with Respect to Partitions
    by Shunichi Kobayashi and Yatsuka Nakamura
    
45. Predicate Calculus for Boolean Valued Functions, I
    by Shunichi Kobayashi and Yatsuka Nakamura
    
46. Public-Key Cryptography and Pepin's Test for the Primality of Fermat Numbers
    by Yoshinori Fujisawa, Yasushi Fuwa, and Hidetaka Shimizu
    
47. Lattice of Substitutions Is a Heyting Algebra
    by Adam Grabowski