Towards Automated Readable Proofs of Ruler and Compass Constructions.

Vesna Marinkovic Tijana Sukilovic Filip Maric

Published in: CoRR (2024)

Keyphrases

semi automated
automated theorem provers
computer aided
formal proofs
automated analysis
theorem proving
fully automated
data driven
lower bound
search algorithm
metadata
evolutionary algorithm
database
context sensitive
expert systems
theorem prover
preprocessing
website