Composable Discovery Engines for Interactive Theorem Proving.

Phil Scott Jacques D. Fleuriot

Published in: ITP (2011)

Keyphrases

interactive theorem proving
discovery process
data streams
knowledge discovery
scientific discovery
machine learning
learning algorithm
metadata
image processing
pattern recognition
information technology
hidden markov models
process mining