A proof-centric approach to mathematical assistants.
Lucas DixonJacques D. FleuriotPublished in: J. Appl. Log. (2006)
Keyphrases
- mathematical proofs
- automated theorem provers
- mathematical knowledge
- intelligent agents
- computer algebra
- theorem prover
- theorem proving
- user centric
- data mining
- artificial intelligence
- proof planning
- cognitive processes
- computer software
- social networks
- proof search
- computer vision
- mathematical expressions
- linear logic
- multi agent
- website
- real time
- mathematical models
- first order logic
- multiscale
- multiresolution