Institut Mittag-Leffler The Royal Swedish Academy of Sciences

Reports Institut Mittag-Leffler
ISSN: 1103-467X
ISRN: IML-R

Terminating Proof Search in Elementary Geometry
Source file as TeX DVI Data Postscript Document Portable Document Format

Preprint series: Mathematical Logic - 2000/2001, No. 43

MSC 2000

03F07 Structure of proofs

03B25 Decidability of theories and sets of sentences

51A05 General theory and projective geometries

Keywords: proof search, decidability, projective geometry, affine geometry