Journal of Formalized Mathematics, Volume 11, 1999

Table of contents

  1. Bounded Domains and Unbounded Domains
    by Yatsuka Nakamura, Andrzej Trybulec, and Czeslaw Bylinski
  2. Rotating and reversing
    by Andrzej Trybulec
  3. On the components of the complement of a special polygonal curve
    by Andrzej Trybulec and Yatsuka Nakamura
  4. Gauges
    by Czeslaw Bylinski
  5. Logic Gates and Logical Equivalence of Adders
    by Yatsuka Nakamura
  6. The Ring of Integers, Euclidean Rings and Modulo Integers
    by Christoph Schwarzweller
  7. The Sequential Closure Operator In Sequential and Frechet Spaces
    by Bartlomiej Skorulski
  8. Properties of the Product of Compact Topological Spaces
    by Adam Grabowski
  9. Compactness of the Bounded Closed Subsets of TOP-REAL 2
    by Artur Kornilowicz
  10. Hilbert Positive Propositional Calculus
    by Adam Grabowski
  11. Homeomorphism between [:TOP-REAL i,TOP-REAL j:] and TOP-REAL (i+j)
    by Artur Kornilowicz
  12. Full Subtracter Circuit. Part I
    by Katsumi Wasaki and Noboru Endou
  13. Correctness of Binary Counter Circuits
    by Yuguang Yang, Wasaki Katsumi, Yasushi Fuwa, and Yatsuka Nakamura
  14. Correctness of Johnson Counter Circuits
    by Yuguang Yang, Wasaki Katsumi, Yasushi Fuwa, and Yatsuka Nakamura
  15. The Definition of Riemann Definite Integral and some Related Lemmas
    by Noboru Endou and Artur Kornilowicz
  16. Properties of Trigonometric Function
    by Takashi Mitsuishi and Yuguang Yang
  17. Predicate Calculus for Boolean Valued Functions, II
    by Shunichi Kobayashi and Yatsuka Nakamura
  18. Propositional Calculus for Boolean Valued Functions, I
    by Shunichi Kobayashi and Yatsuka Nakamura
  19. Propositional Calculus for Boolean Valued Functions, II
    by Shunichi Kobayashi and Yatsuka Nakamura
  20. Insert Sort on \SCMFSA
    by JingChao Chen
  21. Correctness of a Cyclic Redundancy Check Code Generator
    by Yuguang Yang, Katsumi Wasaki, Yasushi Fuwa, and Yatsuka Nakamura
  22. Defining by structural induction in the positive propositional language
    by Andrzej Trybulec
  23. Some Properties of Cells on Go Board
    by Czeslaw Bylinski
  24. Propositional Calculus For Boolean Valued Functions, III
    by Shunichi Kobayashi
  25. Propositional Calculus For Boolean Valued Functions, IV
    by Shunichi Kobayashi
  26. Basic Properties of Genetic Algorithm
    by Akihiko Uchibori and Noboru Endou
  27. Propositional Calculus for Boolean Valued Functions, V
    by Shunichi Kobayashi
  28. Properties of Left-, and Right Components
    by Artur Kornilowicz
  29. Noetherian Lattices
    by Christoph Schwarzweller
  30. A Small Computer Model with Push-Down Stack
    by JingChao Chen
  31. The SCMPDS Computer and the Basic Semantics of Its Instructions
    by JingChao Chen
  32. Computation and Program Shift in the SCMPDS Computer
    by JingChao Chen
  33. The Construction and shiftability of Program Blocks for SCMPDS
    by JingChao Chen
  34. Computation of Two Consecutive Program Blocks for SCMPDS
    by JingChao Chen
  35. The Construction and Computation of Conditional Statements for SCMPDS
    by JingChao Chen
  36. Recursive Euclide Algorithm
    by JingChao Chen
  37. Scott-Continuous Functions, Part II
    by Adam Grabowski
  38. Some Properties of Isomorphism between Relational Structures. On the Product of Topological Spaces
    by Jaroslaw Gryko and Artur Kornilowicz
  39. Cages, external aproximation of Jordan's curve
    by Czeslaw Bylinski and Mariusz Zynel
  40. Components and Basis of Topological Spaces
    by Robert Milewski
  41. Properties of the External Approximation of Jordan's Curve
    by Artur Kornilowicz
  42. Irrationality of e
    by Freek Wiedijk
  43. Injective Spaces, Part II
    by Artur Kornilowicz and Jaroslaw Gryko
  44. Propositional Calculus for Boolean Valued Functions, VI
    by Shunichi Kobayashi
  45. Predicate Calculus for Boolean Valued Functions, III
    by Shunichi Kobayashi and Yatsuka Nakamura
  46. A Characterization of Concept Lattices; Dual Concept Lattices
    by Christoph Schwarzweller
  47. Predicate Calculus for Boolean Valued Functions, IV
    by Shunichi Kobayashi and Yatsuka Nakamura
  48. Predicate Calculus for Boolean Valued Functions, V
    by Shunichi Kobayashi and Yatsuka Nakamura
  49. Definitions of Radix-2k Signed-Digit number and its adder algorithm
    by Yoshinori Fujisawa and Yasushi Fuwa
  50. Retracts and Inheritance
    by Grzegorz Bancerek
  51. Technical Preliminaries to Algebraic Specifications
    by Grzegorz Bancerek
  52. Multivariate polynomials with arbitrary number of variables
    by Piotr Rudnicki and Andrzej Trybulec
  53. Continuous Lattices between T$_0$ Spaces
    by Grzegorz Bancerek
  54. Predicate Calculus for Boolean Valued Functions, VI
    by Shunichi Kobayashi
  55. Predicate Calculus for Boolean Valued Functions, VII
    by Shunichi Kobayashi
  56. Predicate Calculus for Boolean Valued Functions, VIII
    by Shunichi Kobayashi
    The article has been removed from the Mizar Mathematical Library
  57. Predicate Calculus for Boolean Valued Functions, IX
    by Shunichi Kobayashi
    The article has been removed from the Mizar Mathematical Library
  58. Asymptotic notation
    by Richard Krueger, Piotr Rudnicki, and Paul Shelley
  59. Asymptotic notation
    by Richard Krueger, Piotr Rudnicki, and Paul Shelley
  60. Predicate Calculus for Boolean Valued Functions, X
    by Shunichi Kobayashi
  61. Predicate Calculus for Boolean Valued Functions, XI
    by Shunichi Kobayashi
  62. Four Variable Predicate Calculus for Boolean Valued Functions, (1)
    by Shunichi Kobayashi
  63. Four Variable Predicate Calculus for Boolean Valued Functions, (2)
    by Shunichi Kobayashi
  64. Function Spaces in the Category of Directed Suprema Preserving Maps
    by Grzegorz Bancerek and Adam Naumowicz
  65. Property of Complex Functions
    by Takashi Mitsuishi, Katsumi Wasaki, and Yasunari Shidama
  66. Property of Complex Sequence and Continuity of Complex Function
    by Takashi Mitsuishi, Katsumi Wasaki, and Yasunari Shidama
  67. Scalar Multiple of Riemann Definite Integral
    by Noboru Endou, Katsumi Wasaki, and Yasunari Shidama
  68. Darboux's Theorem
    by Noboru Endou, Katsumi Wasaki, and Yasunari Shidama
  69. Five Variable Predicate Calculus for Boolean Valued Functions, (1)
    by Shunichi Kobayashi
  70. Six Variable Predicate Calculus for Boolean Valued Functions, (1)
    by Shunichi Kobayashi
  71. The Construction and Computation of For-loop Programs for SCMPDS
    by JingChao Chen and Piotr Rudnicki
  72. Seven Variable Predicate Calculus for Boolean Valued Functions, (1)
    by Shunichi Kobayashi

[MML identifier index, Mizar home page]