Automatic Mathematical Information Retrieval to Perform Translations up to Computer Algebra Systems.
André Greiner-PetterPublished in: CICM Workshops (2018)
Keyphrases
- computer algebra systems
- information retrieval
- computer algebra
- theorem prover
- automatic indexing
- theorem proving
- search engine
- information retrieval systems
- fully automatic
- semi automatic
- labor intensive
- digital libraries
- knowledge discovery
- query expansion
- learning to rank
- database
- computational linguistics
- information access
- text retrieval
- machine translation
- document retrieval
- document collections
- text mining
- computer science