Automatic Mathematical Information Retrieval to Perform Translations up to Computer Algebra Systems.
André Greiner-PetterPublished in: CoRR (2020)
Keyphrases
- computer algebra systems
- information retrieval
- computer algebra
- theorem prover
- theorem proving
- information retrieval systems
- automatic indexing
- machine translation
- learning to rank
- information filtering
- semi automatic
- fully automatic
- search engine
- document collections
- retrieval model
- neural network
- document retrieval
- text retrieval
- retrieval systems
- vector space model
- first order logic
- data driven
- latent semantic indexing
- term weighting
- language model
- mathematical expressions
- probability distribution
- case study