Symbolic incidence geometry and finite linear spaces (Q1329353)

Symbolic incidence geometry (SIG) is a common project of some European Universities. The project has the task to develop a computer program package that will allow geometers to use the computer for their research in incidence geometry. In this paper the author presents a concept of how linear spaces can be dealt with in the SIG. In Section 2 he discusses what knowledge in linear spaces has to be implemented in SIG. Section 3 is devoted to the description of the basic algorithms. In Section 4 he describes how classification of semi-affine planes by Dembowski could be obtained by using SIG. Finally, in Section 5 he gives some indications about future implementation of SIG.