An exercise in an interactive geometrical research

Research output: Contribution to journalArticlepeer-review


We describe how an interactive research with a computer led to a new, simple proof of the classical Mascheroni-Mohr theorem concerning constructions with a compass alone. We then discuss the difficult problem which will face any attempt to attack this theorem using an independent theorem prover.

Original languageEnglish
Pages (from-to)239-252
Number of pages14
JournalAnnals of Mathematics and Artificial Intelligence
Issue number3-4
StatePublished - Sep 1993


Dive into the research topics of 'An exercise in an interactive geometrical research'. Together they form a unique fingerprint.

Cite this