Das Problem perspektiver Bünde.
Die algebraischen Konoide mit ebener Striktionslinie.
Die Interpretation der Zentralkollineation in der hyperbollischen Ebene
Die projektiven Abbildungen auf einer Geraden.
Dualitäten mit zwei Geraden aus absoluten Punkten in projektiven Ebenen.
Due nuovi teoremi sui sistemi lineari di quadriche a jacobiana identicamente nulla.
Ein "affiner" Beweis des Satzes von v. Staudt - Schleiermacher.
Eine geometrische Kennzeichnung linearer Abbildungen.
Eine kinematische Kennzeichnung der gleichseitigen Paraboloide.
Eine Variante zur Bestimmung der Schnittkurve zweier Flächen zweiter Ordnung
Elemente der analytischen Geometrie der Ebene in trilinearen Coordinaten [Book]
Elemente der analytischen Geometrie in homogenen Coordinaten [Book]
Formules fondamentales de géométrie tricirculaire et tétrasphérique
Foyers et directrices des surfaces du second ordre
Geometrische Krystallographie [Book]
Group of Homography in Real Projective Plane
Using the Mizar system [2], we formalized that homographies of the projective real plane (as defined in [5]), form a group. Then, we prove that, using the notations of Borsuk and Szmielew in [3] “Consider in space ℝℙ2 points P1, P2, P3, P4 of which three points are not collinear and points Q1,Q2,Q3,Q4 each three points of which are also not collinear. There exists one homography h of space ℝℙ2 such that h(Pi) = Qi for i = 1, 2, 3, 4.” (Existence Statement 52 and Existence Statement 53) [3]. Or,...
Gruppi finiti di trasformazioni cremoniane intere
Higher-dimensional central projection into 2-plane with visibility and applications
Homography in ℝℙ
The real projective plane has been formalized in Isabelle/HOL by Timothy Makarios [13] and in Coq by Nicolas Magaud, Julien Narboux and Pascal Schreck [12]. Some definitions on the real projective spaces were introduced early in the Mizar Mathematical Library by Wojciech Leonczuk [9], Krzysztof Prazmowski [10] and by Wojciech Skaba [18]. In this article, we check with the Mizar system [4], some properties on the determinants and the Grassmann-Plücker relation in rank 3 [2], [1], [7], [16], [17]....
Homomorphismen von projektiven Räumen und verallgemeinerte semilineare Abbildungen