The Algorithm Activity

Algorithms are required at several points in the framework architecture:

At Authoring Time
Smart authoring tools could improve metadata in new documents using equation libraries, heuristics, profiles, etc.
At Indexing Time
Detection of math in PostScript/PDF, math-aware OCR, TeX translation, hashing signatures, automatic generation of metadata.
At Query Time
Math-aware algorithms might employ canonicalization, knowledge of formal properties (e.g. commutativity), invariant hashing signatures, etc.