3.3.2 Mathematical Ambiguities Design of a Digital Mathematical Library for Science, Technology and Education Daniel W. Lozier, Bruce R. Miller and Bonita V. Saunders 3.3.1 Style files 3.3 Creation of XML 4 Graphics and Visualization 3 . Generally, human readers aware of the context of the formula will immediately recognize the intended interpretation.
Computers often fare less well.
It is, of course, here that our translation software will be most challenged. And given the high confidence level we hope to achieve with the DLMF, we are not inclined to rely on heuristic methods of analysis. To this end, we devise what may be more tedious, but hopefully more reliable, methods to disambiguate the formula. Given these declarations, a minimal type inference system can be expected to be sufficient for resolving these cases. Ultimately, we must develop a rather complete set of such macros to disambiguate all the notations and usages that we expect to find in the author's materials.