Assisted Proof Document Authoring.
David AspinallChristoph LüthBurkhart WolffPublished in: MKM (2005)
Keyphrases
- information retrieval
- document collections
- authoring tool
- information retrieval systems
- digital documents
- keywords
- document classification
- retrieval systems
- document clustering
- document images
- document representation
- theorem proving
- theorem prover
- web documents
- data sets
- user queries
- learning objects
- tf idf
- e learning
- neural network
- linear logic
- content creation
- multimedia documents
- text documents