Automated Generation of Illustrations for Synthetic Geometry Proofs.
Predrag JanicicJulien NarbouxPublished in: CoRR (2022)
Keyphrases
- automated theorem provers
- theorem prover
- semi automated
- fully automated
- theorem proving
- three dimensional
- computer assisted
- data driven
- context sensitive
- geometric constraints
- generation method
- real images are presented
- information retrieval
- genetic algorithm
- data mining
- real scenes
- computer algebra
- machine learning