WebMIaS on Docker - Deploying Math-Aware Search in a Single Line of Code.

Dávid Lupták Vít Novotný Michal Stefánik Petr Sojka

Published in: CICM (2021)

Keyphrases

search algorithm
search space
search efficiency
search methods
search queries
search strategies
line segments
search strategy
real time
data structure
open source
software development
test cases
user queries
solution space