Representing Mathematical Concepts Associated With Formulas Using Math Entity Cards

We introduce Math Entity Cards, a modified version of existing Entity Cards specifically tailored for Math Information Retrieval. Math Entity Cards help connect formulas to titles and description and make the navigation between formulas and text related to formulas, seamless. These cards are populated from a new knowledge base, created by extracting and combining formulas, titles and descriptions from three different sources, Wikidata, Wiktionary & ProofWiki. We demonstrate a novel approach of using entity cards for auto-complete by integrating our cards into a Math-Aware Search Interface: MathSeer. This helps create a new ecosystem for consuming information during formula editing and search. We design and conduct a human experiment, in a math information retrieval setting and find statistical evidence for the usefulness of individual card components