The Algorithm Activity
Algorithms are required at several points in the
- 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.