Journal of Formalized Mathematics, Volume 14, 2002

Table of contents

  1. Fan Homeomorphisms in the Plane
    by Yatsuka Nakamura
  2. Half Open Intervals in Real Numbers
    by Yatsuka Nakamura
  3. Some Remarks on Clockwise Oriented Sequences on Go-boards
    by Adam Naumowicz and Robert Milewski
  4. Dickson's lemma
    by Gilbert Lee and Piotr Rudnicki
  5. On Ordering of Bags
    by Gilbert Lee and Piotr Rudnicki
  6. Combining of Multi Cell Circuits
    by Grzegorz Bancerek, Shin'nosuke Yamaguchi, and Yasunari Shidama
  7. Full Adder Circuit. Part II
    by Grzegorz Bancerek, Shin'nosuke Yamaguchi, and Katsumi Wasaki
  8. Upper and Lower Sequence on the Cage, Upper and Lower Arcs
    by Robert Milewski
  9. Fibonacci numbers
    by Robert M. Solovay
  10. Preparing the Internal Approximations of Simple Closed Curves
    by Andrzej Trybulec
  11. On the General Position of Special Polygons
    by Mariusz Giero
  12. Introducing Spans
    by Andrzej Trybulec
  13. General Fashoda Meet Theorem for Unit Circle
    by Yatsuka Nakamura
  14. Properties of the Internal Approximation of Jordan's Curve
    by Robert Milewski
  15. Preliminaries to Automatic Generation of Mizar Documentation for Circuits
    by Grzegorz Bancerek and Adam Naumowicz
  16. Properties of the Upper and Lower Sequence on the Cage
    by Robert Milewski
  17. On the Decompositions of Intervals and Simple Closed Curves
    by Adam Grabowski
  18. On the Minimal Distance Between Set in Euclidean Space
    by Andrzej Trybulec
  19. Sequences of Metric Spaces and an Abstract Intermediate Value Theorem
    by Yatsuka Nakamura and Andrzej Trybulec
  20. On the Decomposition of a Simple Closed Curve into Two Arcs
    by Andrzej Trybulec and Yatsuka Nakamura
  21. The Ordering of Points on a Curve, Part III
    by Artur Kornilowicz
  22. The Ordering of Points on a Curve, Part IV
    by Artur Kornilowicz
  23. Order Sorted Algebras
    by Josef Urban
  24. Subalgebras of a Order Sorted Algebra. Lattice of Subalgebras
    by Josef Urban
  25. Homomorphisms of Order Sorted Algebras
    by Josef Urban
  26. Order Sorted Quotient Algebra
    by Josef Urban
  27. Free Order Sorted Universal Algebra
    by Josef Urban
  28. Subspaces and Cosets of Subspace of Real Unitary Space
    by Noboru Endou, Takashi Mitsuishi, and Yasunari Shidama
  29. Operations on Subspaces in Real Unitary Space
    by Noboru Endou, Takashi Mitsuishi, and Yasunari Shidama
  30. Linear Combinations in Real Unitary Space
    by Noboru Endou, Takashi Mitsuishi, and Yasunari Shidama
  31. Dimension of Real Unitary Space
    by Noboru Endou, Takashi Mitsuishi, and Yasunari Shidama
  32. Trigonometric Functions on Complex Space
    by Takashi Mitsuishi, Noboru Endou, and Yasunari Shidama
  33. Topology of Real Unitary Space
    by Noboru Endou, Takashi Mitsuishi, and Yasunari Shidama
  34. Armstrong's Axioms
    by William W. Armstrong, Yatsuka Nakamura, and Piotr Rudnicki
  35. Convex Sets and Convex Combinations
    by Noboru Endou, Takashi Mituishi, and Yasunari Shidama
  36. Quotient Vector Spaces and Functionals
    by Jaroslaw Kotowicz
  37. Bilinear Functionals in Vector Spaces
    by Jaroslaw Kotowicz
  38. Hermitan Functionals. Canonical Construction of Scalar Product in Quotient Vector Space
    by Jaroslaw Kotowicz
  39. The Class of Series --- Parallel Graphs
    by Krzysztof Retel
  40. Term Orders
    by Christoph Schwarzweller
  41. Polynomial Reduction
    by Christoph Schwarzweller
  42. Processes in Petri nets
    by Grzegorz Bancerek, Mitsuru Aoki, Akio Matsumoto, and Yasunari Shidama

[MML identifier index, Mizar home page]
December 20, 2002