Summary. In the classes of projective spaces, defined in terms of collinearity, introduced in the article [3], we distinguish the subclasses of Desarguesian projective structures. As examples of these types of objects we consider analytical projective spaces defined over suitable real linear spaces; analytical counterpart of the Desargues Axiom is proved without any assumption on the dimension of the underlying linear space. MML Identifier: ANPROJ 4. The articles [1], [4], [2], and [3] provide the notation and terminology for this paper. We adopt the following rules: V will denote a real linear space, o, p, p1
In this work, initially, some results of Linear Algebra are presented, in particular the study of th...
Every nontrivial linear space embedded in a Pappian projective space such that the blocks of the lin...
Summary. The classical sequence of implications which hold between Desargues and Pappus Axioms is pr...
Summary. In the class of all collinearity structures a subclass of (dimension free) projective space...
AbstractFormalizing geometry theorems in a proof assistant like Coq is challenging. As emphasized in...
Summary. We prove the Hessenberg theorem which states that every Pappian projective space is Desargu...
AbstractA linear representation (LR) of a projective plane π (Desarguesian or not) is an isomorphic ...
AbstractIn this paper, the author gives an elementary proof of the theorem that each Desarguesian af...
We describe a method to try to construct non-Desarguesian projective planes of a given finite order...
Formalizing geometry theorems in a proof assistant like Coq is challenging. As emphasized in the lit...
Starting with the three axioms of projective geometry, this paper explores concepts such as perspect...
The real projective plane has been formalized in Isabelle/HOL by Timothy Makarios [13] and in Coq by...
summary:The paper gives a proof (without of using of “great” Desargues’ axiom) that any two axiomati...
A result of Dempwolff [4] asserts that a projective plane Π of order q3 admitting G =PGL(3, q) as a...
Linear algebra and projective geometryGeared toward upper-level undergraduates and graduate students...
In this work, initially, some results of Linear Algebra are presented, in particular the study of th...
Every nontrivial linear space embedded in a Pappian projective space such that the blocks of the lin...
Summary. The classical sequence of implications which hold between Desargues and Pappus Axioms is pr...
Summary. In the class of all collinearity structures a subclass of (dimension free) projective space...
AbstractFormalizing geometry theorems in a proof assistant like Coq is challenging. As emphasized in...
Summary. We prove the Hessenberg theorem which states that every Pappian projective space is Desargu...
AbstractA linear representation (LR) of a projective plane π (Desarguesian or not) is an isomorphic ...
AbstractIn this paper, the author gives an elementary proof of the theorem that each Desarguesian af...
We describe a method to try to construct non-Desarguesian projective planes of a given finite order...
Formalizing geometry theorems in a proof assistant like Coq is challenging. As emphasized in the lit...
Starting with the three axioms of projective geometry, this paper explores concepts such as perspect...
The real projective plane has been formalized in Isabelle/HOL by Timothy Makarios [13] and in Coq by...
summary:The paper gives a proof (without of using of “great” Desargues’ axiom) that any two axiomati...
A result of Dempwolff [4] asserts that a projective plane Π of order q3 admitting G =PGL(3, q) as a...
Linear algebra and projective geometryGeared toward upper-level undergraduates and graduate students...
In this work, initially, some results of Linear Algebra are presented, in particular the study of th...
Every nontrivial linear space embedded in a Pappian projective space such that the blocks of the lin...
Summary. The classical sequence of implications which hold between Desargues and Pappus Axioms is pr...