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