Table of contents

Fan Homeomorphisms in the Plane
by Yatsuka Nakamura

Half Open Intervals in Real Numbers
by Yatsuka Nakamura

Some Remarks on Clockwise Oriented Sequences on Goboards
by Adam Naumowicz and Robert Milewski

Dickson's lemma
by Gilbert Lee and Piotr Rudnicki

On Ordering of Bags
by Gilbert Lee and Piotr Rudnicki

Combining of Multi Cell Circuits
by Grzegorz Bancerek, Shin'nosuke Yamaguchi, and Yasunari Shidama

Full Adder Circuit. Part II
by Grzegorz Bancerek, Shin'nosuke Yamaguchi, and Katsumi Wasaki

Upper and Lower Sequence on the Cage, Upper and Lower Arcs
by Robert Milewski

Fibonacci numbers
by Robert M. Solovay

Preparing the Internal Approximations of Simple Closed Curves
by Andrzej Trybulec

On the General Position of Special Polygons
by Mariusz Giero

Introducing Spans
by Andrzej Trybulec

General Fashoda Meet Theorem for Unit Circle
by Yatsuka Nakamura

Properties of the Internal Approximation of Jordan's Curve
by Robert Milewski

Preliminaries to Automatic Generation of Mizar
Documentation for Circuits
by Grzegorz Bancerek and Adam Naumowicz

Properties of the Upper and Lower Sequence on the Cage
by Robert Milewski

On the Decompositions of Intervals and Simple Closed Curves
by Adam Grabowski

On the Minimal Distance Between Set in Euclidean Space
by Andrzej Trybulec

Sequences of Metric Spaces and
an Abstract Intermediate Value Theorem
by Yatsuka Nakamura and Andrzej Trybulec

On the Decomposition of a Simple Closed Curve into Two Arcs
by Andrzej Trybulec and Yatsuka Nakamura

The Ordering of Points on a Curve, Part III
by Artur Kornilowicz

The Ordering of Points on a Curve, Part IV
by Artur Kornilowicz

Order Sorted Algebras
by Josef Urban

Subalgebras of a Order Sorted Algebra. Lattice of Subalgebras
by Josef Urban

Homomorphisms of Order Sorted Algebras
by Josef Urban

Order Sorted Quotient Algebra
by Josef Urban

Free Order Sorted Universal Algebra
by Josef Urban

Subspaces and Cosets of Subspace of Real Unitary Space
by Noboru Endou, Takashi Mitsuishi, and Yasunari Shidama

Operations on Subspaces in Real Unitary Space
by Noboru Endou, Takashi Mitsuishi, and Yasunari Shidama

Linear Combinations in Real Unitary Space
by Noboru Endou, Takashi Mitsuishi, and Yasunari Shidama

Dimension of Real Unitary Space
by Noboru Endou, Takashi Mitsuishi, and Yasunari Shidama

Trigonometric Functions on Complex Space
by Takashi Mitsuishi, Noboru Endou, and Yasunari Shidama

Topology of Real Unitary Space
by Noboru Endou, Takashi Mitsuishi, and Yasunari Shidama

Armstrong's Axioms
by William W. Armstrong, Yatsuka Nakamura, and Piotr Rudnicki

Convex Sets and Convex Combinations
by Noboru Endou, Takashi Mituishi, and Yasunari Shidama

Quotient Vector Spaces and Functionals
by Jaroslaw Kotowicz

Bilinear Functionals in Vector Spaces
by Jaroslaw Kotowicz

Hermitan Functionals.
Canonical Construction of Scalar Product in Quotient Vector Space
by Jaroslaw Kotowicz

The Class of Series  Parallel Graphs
by Krzysztof Retel

Term Orders
by Christoph Schwarzweller

Polynomial Reduction
by Christoph Schwarzweller

Processes in Petri nets
by Grzegorz Bancerek, Mitsuru Aoki, Akio Matsumoto, and Yasunari Shidama
[MML identifier index,
Mizar home page]
December 20, 2002