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.

Publication Date


Document Type


Student Type


Degree Name

Computer Science (MS)

Department, Program, or Center

Computer Science (GCCIS)


Richard Zanibbi

Advisor/Committee Member

Carlos Rivero

Advisor/Committee Member

Matthew Fluet


RIT – Main Campus