An Extensible Proof Text Editor.

Thomas Hallgren Aarne Ranta

Published in: LPAR (2000)

Keyphrases

information retrieval
text mining
markup language
theorem proving
theorem prover
free text
text retrieval
language generation
natural language generation
text documents
data model
website
data types
keywords
artificial intelligence
text analysis
text processing
machine learning
text content
database