Interaction with Formal Mathematical Documents in Isabelle/PIDE.
Makarius WenzelPublished in: CICM (2019)
Keyphrases
- document collections
- information retrieval
- information retrieval systems
- mathematical theory
- document classification
- xml documents
- formal model
- document clustering
- text documents
- web documents
- document retrieval
- relevant documents
- metadata
- user queries
- theorem prover
- document analysis
- electronic documents
- legal documents
- database
- semantic information
- information extraction
- mathematical models
- keywords
- multi document summarization
- multimedia documents
- document content
- digital documents