C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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