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