Vote Counting as Mathematical Proof.
Dirk PattinsonCarsten SchürmannPublished in: Australasian Conference on Artificial Intelligence (2015)
Keyphrases
- mathematical proofs
- mathematical knowledge
- automated theorem provers
- case study
- machine learning
- voting schemes
- linear logic
- geometry theorem proving
- data mining
- knowledge base
- real time
- theorem prover
- cognitive processes
- mathematical models
- proof planning
- computer algebra
- proof theory
- np hard
- special case
- search algorithm
- multiscale
- image sequences
- computer vision
- neural network