SOTAVerified

A distributed system for SearchOnMath based on the Microsoft BizSpark program

2017-11-11Unverified0· sign in to hype

Oliveira Ricardo M., Gonzaga Flavio B., Barbosa Valmir C., Xexéo Geraldo B.

Unverified — Be the first to reproduce this paper.

Reproduce

Abstract

Mathematical information retrieval is a relatively new area, so the first search tools capable of retrieving mathematical formulas began to appear only a few years ago. The proposals made public so far mostly implement searches on internal university databases, small sets of scientific papers, or Wikipedia in English. As such, only modest computing power is required. In this context, SearchOnMath has emerged as a pioneering tool in that it indexes several different databases and is compatible with several mathematical representation languages. Given the significantly greater number of formulas it handles, a distributed system becomes necessary to support it. The present study is based on the Microsoft BizSpark program and has aimed, for 38 different distributed-system scenarios, to pinpoint the one affording the best response times when searching the SearchOnMath databases for a collection of 120 formulas.

Tasks

Reproductions