Keyphrases
- interactive theorem proving
- theorem proving
- von neumann
- neural network
- mathematical proofs
- linear logic
- theorem prover
- hidden markov models
- databases
- proof planning
- geometry theorem proving
- relational databases
- learning algorithm
- multiscale
- natural deduction
- digital topology
- intuitionistic logic
- face recognition
- artificial intelligence