On Baer Subspaces of Finite Projective Spaces.

Albrecht Beutelspacher

Displaying similar documents to “On Baer Subspaces of Finite Projective Spaces.”

Intersections in Projective Space I: Combinatorics.

A.A. Bruen, J.W.P. Hirschfeld (1986)

Mathematische Zeitschrift

Similarity:

q-Completeness of Subsets in Complex Projective Space.

Mathias Peternell (1987)

Mathematische Zeitschrift

Similarity:

Involutions of Projective Spaces.

Ascher Wagner (1969)

Mathematische Zeitschrift

Similarity:

Collineations of Finite Projective Spaces as Permutations on the Sets of Dual Subspaces.

Ascher Wagner (1969)

Mathematische Zeitschrift

Similarity:

Correction to "Collineations of Finite Projective Spaces as Permutations on the Sets of Dual Subspaces".

Ascher Wagner (1971)

Mathematische Zeitschrift

Similarity:

Factorisation Theorems and Projective Spaces in Topology.

Roy Dyckhoff (1972)

Mathematische Zeitschrift

Similarity:

Projective Resolutions for a Certain Class of Groups.

R.J. Clarke (1973)

Mathematische Zeitschrift

Similarity:

Homography in ℝℙ

Roland Coghetto (2016)

Formalized Mathematics

Similarity:

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],...

A projective characterization of cyclicity.

Boskoff, Wladimir G., Suceavă, Bogdan D. (2008)

Beiträge zur Algebra und Geometrie

Similarity:

Deforming real projective structures.

Gallo, Daniel M. (1997)

Annales Academiae Scientiarum Fennicae. Mathematica

Similarity:

Embeddings of projective Klingenberg planes in the projective space PG(5, $𝕂$ ).

Keppens, Dirk, Van Maldeghem, Hendrik (2009)

Beiträge zur Algebra und Geometrie

Similarity:

On collineation groups of projective spaces. I.

A. Wagner (1961)

Mathematische Zeitschrift

Similarity:

On the coexistence of various geometries

Marek Kordos (1989)

Colloquium Mathematicae

Similarity:

Pascal’s Theorem in Real Projective Plane

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...