Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems.
Jónathan HerasVico PascualJulio RubioPublished in: Calculemus/MKM (2009)
Keyphrases
- computer algebra
- automated theorem provers
- computer algebra systems
- theorem prover
- complex systems
- web documents
- retrieval systems
- information retrieval
- mathematical proofs
- metadata
- document collections
- test bed
- theorem proving
- mathematical knowledge
- human machine interface
- question answering systems
- text documents
- mathematical models
- free text
- relevant documents
- distributed systems
- management system
- user interface
- expert systems
- multimedia
- artificial intelligence