A CounterExample to Kahle-Conjecture, New Conjectures and Automated Proofs in Geometry
Francesco De ComitéJean-Paul DelahayePublished in: CoRR (2009)
Keyphrases
- theorem prover
- theorem proving
- geometry theorem proving
- semi automated
- automated theorem provers
- fully automated
- three dimensional
- genetic algorithm
- geometric constraints
- geometric structure
- decision procedures
- formal verification
- real time
- artificial neural networks
- geometrical constraints
- automated analysis
- data sets
- inductive inference
- computer aided
- model checking
- data driven