Journal of Formalized Mathematics
Volume 2, 1990
University of Bialystok
Copyright (c) 1990
Association of Mizar Users
Warsaw University, Bialystok
A brief survey on semi-affine geometry, which results
from the classical Pappian and Desarguesian affine (dimension free)
geometry by weakening the so called trapezium axiom. With the help of the
relation of parallelogram in every semi-affine space we define the
operation of ``addition" of ``vectors". Next we investigate in greater
details the relation of (affine) trapezium in such spaces.
Supported by RPBP.III-24.C2.
The terminology and notation used in this paper have been
introduced in the following articles
Contents (PDF format)
Henryk Oryszczyszyn and Krzysztof Prazmowski.
Analytical ordered affine spaces.
Journal of Formalized Mathematics,
Received November 30, 1990
Download a postscript version,
MML identifier index,
Mizar home page]