Journal of Formalized Mathematics, Volume 12, 2000

Table of contents

1. Lim-inf Convergence
   by Bartlomiej Skorulski
   
2. The Characterization of Continuity of Topologies
   by Grzegorz Bancerek and Adam Naumowicz
   
3. Meet Continuous Lattices Revisited
   by Artur Kornilowicz
   
4. Weights of Continuous Lattices
   by Robert Milewski
   
5. Representation Theorem For Finite Distributive Lattices
   by Marek Dudzicz
   
6. The Field of Complex Numbers
   by Anna Justyna Milewska
   
7. Integrability of Bounded Total Functions
   by Noboru Endou, Katsumi Wasaki, and Yasunari Shidama
   
8. High-speed algorithms for RSA cryptograms
   by Yasushi Fuwa and Yoshinori Fujisawa
   
9. Definition of Integrability for Partial Functions from REAL to REAL and Integrability for Continuous Functions
   by Noboru Endou, Katsumi Wasaki, and Yasunari Shidama
   
10. Introduction to Several Concepts of Convexity and Semicontinuity for Function from REAL to REAL
    by Noboru Endou, Katsumi Wasaki, and Yasunari Shidama
    
11. Standard Ordering of Instruction Locations
    by Andrzej Trybulec, Piotr Rudnicki, and Artur Kornilowicz
    
12. On the Composition of Macro Instructions of Standard Computers
    by Artur Kornilowicz
    
13. The Properties of Instructions of \bf SCM over Ring
    by Artur Kornilowicz
    
14. Basic facts about inaccessible and measurable cardinals
    by Josef Urban
    
15. Evaluation of Multivariate Polynomials
    by Christoph Schwarzweller and Andrzej Trybulec
    
16. The Ring of Polynomials
    by Robert Milewski
    
17. Solving Roots of Plynomial Equations of Degree 2 and 3 with Real Cofficients
    by Liang Xiquan
    
18. Concept of Fuzzy Set and Membership Function and Basic Properties of Fuzzy Set Operation
    by Takashi Mitsuishi, Noboru Endou, and Yasunari Shidama
    
19. Basic Properties of Fuzzy Set Operation and Membership Function
    by Takashi Mitsuishi, Katsumi Wasaki, and Yasunari Shidama
    
20. Hahn Banach Theorem in the Vector Space over the Field of Complex Numbers
    by Anna Justyna Milewska
    
21. The Tichonov Theorem
    by Bartlomiej Skorulski
    
22. On the Order-consistent Topology of Complete and Uncomplete Lattices
    by Ewa Gradzka
    
23. On Segre's Product of Partial Line Spaces
    by Adam Naumowicz
    
24. Evaluation of Polynomials
    by Robert Milewski
    
25. The Construction and Computation of While-loop Programs for SCMPDS
    by JingChao Chen
    
26. Insert Sort on SCMPDS
    by JingChao Chen
    
27. Quick Sort on SCMPDS
    by JingChao Chen
    
28. Justifying the Correctness of Fibonacci Sequence and Euclide Algorithm by Loop Invariant
    by JingChao Chen
    
29. On the Isomorphism Between Finite Chains
    by Marta Pruszynska and Marek Dudzicz
    
30. Jonsson Theorem about Representation of Modular Lattices
    by Mariusz Lapinski
    
31. The canonical formulae
    by Andrzej Trybulec
    
32. The Uncompleteness of the Lattice of Substitutions
    by Adam Grabowski
    
33. Trigonometric Form of Complex Numbers
    by Robert Milewski
    
34. Fundamental Theorem of Algebra
    by Robert Milewski
    
35. On Replace Function and Swap Function for Finite Sequences
    by Hiroshi Yamazaki, Yoshinori Fujisawa, and Yatsuka Nakamura
    
36. Correctness of the High Speed Array Multiplier Circuits
    by Hiroshi Yamazaki and Katsumi Wasaki
    
37. Miscellaneous I
    by Andrzej Trybulec
    
38. Mahlo and inaccessible cardinals
    by Josef Urban
    
39. Basic Properties of Extended Real Numbers
    by Noboru Endou, Katsumi Wasaki, and Yasunari Shidama
    
40. Definitions and Basic Properties of Measurable Functions
    by Noboru Endou, Katsumi Wasaki, and Yasunari Shidama
    
41. Gauges and Cages
    by Artur Kornilowicz, Robert Milewski, Adam Naumowicz, and Andrzej Trybulec
    
42. Some Properties of Extended Real Numbers Operations: absolute value, min and max
    by Noboru Endou, Katsumi Wasaki, and Yasunari Shidama
    
43. Concept of Fuzzy Relation and Basic Properties of Its Operation
    by Takashi Mitsuishi, Katsumi Wasaki, and Yasunari Shidama
    
44. Measurability of Extended Real Valued Functions
    by Noboru Endou, Katsumi Wasaki, and Yasunari Shidama
    
45. Some Properties of Cells and Arcs
    by Artur Kornilowicz, Robert Milewski, Adam Naumowicz, and Andrzej Trybulec
    
46. Formal topological spaces
    by Gang Liu, Yasushi Fuwa, and Masayoshi Eguchi
    
47. Some Properties of Cells and Gauges
    by Adam Grabowski, Artur Kornilowicz, and Andrzej Trybulec
    
48. Again on the Order on a Special Polygon
    by Andrzej Trybulec
    
49. Gauges and Cages. Part II
    by Artur Kornilowicz and Robert Milewski
    
50. The Binomial Theorem for Algebraic Structures
    by Christoph Schwarzweller
    
51. Ring Ideals
    by Jonathan Backer, Piotr Rudnicki, and Christoph Schwarzweller
    
52. Hilbert Basis Theorem
    by Jonathan Backer and Piotr Rudnicki
    
53. Dynkin's Lemma in Measure Theory
    by Franz Merkl
    
54. Lower Tolerance. Preliminaries to Wroclaw Taxonomy.
    by Mariusz Giero and Roman Matuszewski