Proposed Algorithm Research

Three families of algorithms will be investigated as part of the NSDL grant:

Pattern Matching with Normalization

Strategy: normalize MathML, canonicalization of variable names, standard forms for classes such as polynomials, etc.

Formal Evaluation

Strategy: convert to content MathML where possible, formally evaluate expressions at test points, use pullback metrics

Per-equation Metadata Methods

Strategy: automatic indexing using context and heuristics, various use of taxonomic methods in conjunction with other techniques