Automatic Mathematical Information Retrieval to Perform Translations up to Computer Algebra Systems.
André Greiner-PetterPublished in: Bull. IEEE Tech. Comm. Digit. Libr. (2019)
Keyphrases
- computer algebra systems
- information retrieval
- computer algebra
- automatic indexing
- theorem prover
- information retrieval systems
- theorem proving
- search engine
- information extraction
- learning to rank
- information access
- semi automatic
- document collections
- language model
- term extraction
- information filtering
- test collection
- document retrieval
- data sets
- machine learning
- fully automatic
- query expansion
- text mining
- knowledge discovery
- probability distribution
- case study