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

[MML identifier index, Mizar home page]