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