Tools


Below is a list of tools that may be useful for the MathIR task. This list is non-exhaustive, and recommendations from participants are quite welcome.

Evaluation and Visualization

Data Conversion


Participant Math Search Engines & Tools

RIT team

MIaS team