Extracting Higher-Order Goals from the Mizar Mathematical Library.
Chad E. BrownJosef UrbanPublished in: CoRR (2016)
Keyphrases
- higher order
- natural images
- computer assisted
- pairwise
- markov random field
- high order
- low order
- real time
- artificial intelligence
- automatically extracting
- mathematical knowledge
- lambda calculus
- user goals
- mathematical expressions
- data extraction
- markov models
- mathematical models
- digital libraries
- metadata
- search engine
- information retrieval