An exercise in an interactive geometrical research

Arnon Avron*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

1 Scopus citations


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