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, mathaware OCR, TeX
translation, hashing signatures, automatic generation of metadata.
 At Query Time
 Mathaware algorithms might employ canonicalization, knowledge of
formal properties (e.g. commutativity), invariant hashing signatures, etc.
