Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane.
Bernardo SubercaseauxJohn MackeyMarijn J. H. HeuleRuben MartinsPublished in: CICM (2024)
Keyphrases
- automated analysis
- fully automated
- model checking
- semi automated
- knowledge discovery
- automated theorem provers
- three dimensional
- image sequences
- artificial intelligence
- verification method
- composition of web services
- real time
- face recognition
- data structure
- data driven
- information systems
- fully automatic
- ground plane
- data mining
- discovery process
- databases
- mathematical knowledge