Extension of Collineations Defined on Certain Sets of a Desarguesian Projective Plane
B. ORBÁN (1971)
Aequationes mathematicae
Similarity:
B. ORBÁN (1971)
Aequationes mathematicae
Similarity:
Dieter Jungnickel, Klaus Vedder (1987)
Aequationes mathematicae
Similarity:
Klaus Vedder, Henda Swart (1981)
Aequationes mathematicae
Similarity:
B. Orbán (1970)
Aequationes mathematicae
Similarity:
Erich W. Ellers (1982)
Aequationes mathematicae
Similarity:
Erich W. Ellers (1982)
Aequationes mathematicae
Similarity:
S.S. Sane (1981)
Aequationes mathematicae
Similarity:
Roland Coghetto (2017)
Formalized Mathematics
Similarity:
In this article we check, with the Mizar system [2], Pascal’s theorem in the real projective plane (in projective geometry Pascal’s theorem is also known as the Hexagrammum Mysticum Theorem)1. Pappus’ theorem is a special case of a degenerate conic of two lines. For proving Pascal’s theorem, we use the techniques developed in the section “Projective Proofs of Pappus’ Theorem” in the chapter “Pappus’ Theorem: Nine proofs and three variations” [11]. We also follow some ideas from Harrison’s...
Jaroslava Jachanová, Helena Žáková (1976)
Sborník prací Přírodovědecké fakulty University Palackého v Olomouci. Matematika
Similarity: