MathWebSearch 0.5 An Open Formula Search Engine.

Corneliu-Claudiu Prodescu Michael Kohlhase

Published in: LWA (2011)

Keyphrases

search engine
web search engines
information retrieval
web search
web pages
search result
user queries
real time
relevance ranking
information extraction
databases
genetic algorithm
retrieval systems
search queries
propositional logic
database
open systems