A Formal Proof Generator from Semi-formal Proof Documents.
Adrián RiescoKazuhiro OgataPublished in: ICTAC (2017)
Keyphrases
- formal proof
- theorem prover
- document collections
- information retrieval
- xml documents
- web documents
- database
- metadata
- relevant documents
- information retrieval systems
- document retrieval
- user queries
- latent semantic analysis
- document analysis
- retrieval systems
- document clustering
- feature selection
- structured documents
- electronic documents
- digital documents
- legal documents
- semantic information