On Communicating Proofs in Interactive Mathematical Documents.
Olga CaprottiMartijn OostdijkPublished in: AISC (2000)
Keyphrases
- computer algebra systems
- mathematical knowledge
- information retrieval
- document collections
- theorem prover
- mathematical proofs
- information retrieval systems
- relevant documents
- document classification
- automated theorem provers
- text documents
- theorem proving
- legal documents
- xml documents
- document retrieval
- retrieval systems
- structured documents
- user friendly
- virtual reality
- web documents
- user interaction
- electronic documents
- expert finding
- document representation
- document clustering
- keywords
- metadata
- database
- ranked list
- document content
- retrieved documents
- communication channels
- user queries
- test collection
- information extraction