Automatic generating of theorems and constructing models for projective geometry

Abstract

The paper discusses the use of computers to construct models and generate theorems of projective geometry. After signalising the history of the issue, the axiomatics as well as basic properties of projective geometry have been introduced. The main body of the paper constitutes a proposed and discussed idea of building a plane by implementing axioms. As an essential extension, the theorems are pointed out, that, together with proofs, appear in the course of the program work. The limits and possible modifications of the proposed application are given in Conclusions.