Our goal is to evaluate the usefulness of types as standalone lexical components in the retrieval of research-level mathematical information needs.
our hypothesis is twofold: (a) types are important discriminators in the mathematical discourse and (b) semantic relationships between types can be used to enrich queries and obtain significant improvements in retrieval efficiency.