Keyphrases
- mathematical proofs
- mathematical knowledge
- automated theorem provers
- theorem prover
- theorem proving
- computer algebra
- neural network
- real world
- computer vision
- three dimensional
- proof planning
- objective function
- concept maps
- learning process
- linear logic
- mathematical models
- real time
- video sequences
- bayesian networks
- similarity measure
- information systems
- data sets