Interaction with Formal Mathematical Documents in Isabelle/PIDE.
Makarius WenzelPublished in: CoRR (2019)
Keyphrases
- mathematical theory
- metadata
- document collections
- information retrieval
- information retrieval systems
- web documents
- formal model
- document retrieval
- ranked list
- user interaction
- human computer interaction
- relevant documents
- text documents
- formal methods
- digital documents
- electronic documents
- document analysis
- document classification
- free text
- keywords
- document clustering
- retrieval systems
- relational databases
- vector space model
- latent semantic analysis
- vector space
- similarity measure
- xml documents