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.