Notations for Living Mathematical Documents.
Michael KohlhaseChristine MüllerFlorian RabePublished in: AISC/MKM/Calculemus (2008)
Keyphrases
- legal documents
- information retrieval
- metadata
- xml documents
- document collections
- web documents
- document classification
- database
- plagiarism detection
- vector space
- digital documents
- levels of abstraction
- relevant documents
- information retrieval systems
- document retrieval
- document clustering
- text collections
- electronic documents
- text documents
- query terms
- text retrieval
- document set
- digital libraries
- related documents
- document content
- web pages
- neural network