Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors.
Dominik DietrichEwaryst SchulzMarc WagnerPublished in: AISC/MKM/Calculemus (2008)
Keyphrases
- text documents
- information retrieval
- digital documents
- web documents
- free text
- text collections
- text analysis
- document analysis
- plagiarism detection
- document content
- textual data
- keywords
- document processing
- text mining
- textual content
- text content
- text data
- multimedia documents
- text information
- text retrieval
- newspaper articles
- document categorization
- journal articles
- text clustering
- extractive summarization
- electronic documents
- latent semantic analysis
- document collections
- topic segmentation
- textual documents
- information extraction
- retrieval engine
- linguistic analysis
- scientific documents
- text classification
- web environment
- natural language text
- document set
- textual information
- relevant documents
- text corpus
- document level
- automatic categorization
- page layout
- vector space model
- model checking
- text segments
- scientific literature
- semantic information
- related documents
- document clustering
- authoring tool
- user queries
- digital libraries
- document retrieval
- learning objects
- document repositories
- handwritten text
- text classifiers
- multiword
- multi document summarization
- structured documents
- theorem prover
- text categorization
- natural language processing
- xml documents
- metadata
- web pages