Journal of Formalized Mathematics
Volume 3, 1991
University of Bialystok
Copyright (c) 1991
Association of Mizar Users
Oriented MetricAffine Plane  Part I

Jaroslaw Zajkowski

Warsaw University, Bialystok
Summary.

We present (in Euclidean and Minkowskian geometry)
definitions and some properties of oriented orthogonality relation.
Next we consider consistence Euclidean space and
consistence Minkowskian space.
MML Identifier:
ANALORT
The terminology and notation used in this paper have been
introduced in the following articles
[6]
[1]
[2]
[8]
[7]
[4]
[3]
[5]
Contents (PDF format)
Bibliography
 [1]
Czeslaw Bylinski.
Some basic properties of sets.
Journal of Formalized Mathematics,
1, 1989.
 [2]
Krzysztof Hryniewiecki.
Basic properties of real numbers.
Journal of Formalized Mathematics,
1, 1989.
 [3]
Henryk Oryszczyszyn and Krzysztof Prazmowski.
Analytical metric affine spaces and planes.
Journal of Formalized Mathematics,
2, 1990.
 [4]
Henryk Oryszczyszyn and Krzysztof Prazmowski.
Analytical ordered affine spaces.
Journal of Formalized Mathematics,
2, 1990.
 [5]
Henryk Oryszczyszyn and Krzysztof Prazmowski.
A construction of analytical ordered trapezium spaces.
Journal of Formalized Mathematics,
2, 1990.
 [6]
Andrzej Trybulec.
Tarski Grothendieck set theory.
Journal of Formalized Mathematics,
Axiomatics, 1989.
 [7]
Wojciech A. Trybulec.
Vectors in real linear space.
Journal of Formalized Mathematics,
1, 1989.
 [8]
Edmund Woronowicz.
Relations defined on sets.
Journal of Formalized Mathematics,
1, 1989.
Received October 24, 1991
[
Download a postscript version,
MML identifier index,
Mizar home page]