Symbolic incidence geometry and finite linear spaces

doi:10.1016/0012-365X(92)00514-R

Discrete Mathematics

Volume 129, Issues 1–3, 28 May 1994, Pages 205-217

https://doi.org/10.1016/0012-365X(92)00514-R Get rights and content

Under an Elsevier user license

open archive

Abstract

The symbolic incidence geometry is a project to develop a computer package that will allow geometers to use the computer for their research in incidence geometry. In this paper we discuss the use of the computer for research on finite linear spaces.