A program to create new geometry proof problems.

Philip H. Todd Danny Aley

Published in: Ann. Math. Artif. Intell. (2023)

Keyphrases

geometry theorem proving
problems involving
database
genetic algorithm
multiscale
optimization problems
three dimensional
expert systems
decision problems
combinatorial optimization
inference rules
theorem prover