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

[MML identifier index, Mizar home page]