Automated generation of illustrated proofs in geometry and beyond.
Predrag JanicicJulien NarbouxPublished in: Ann. Math. Artif. Intell. (2023)
Keyphrases
- automated theorem provers
- three dimensional
- semi automated
- theorem prover
- fully automated
- mathematical proofs
- multiresolution
- computer assisted
- computer algebra
- automated analysis
- generation algorithm
- geometric structure
- neural network
- fully automatic
- multi agent
- case study
- website
- information systems
- artificial intelligence
- genetic algorithm