Technical aspects of the Digital Library of Mathematical Functions

Annals of Mathematics and Artificial Intelligence

Volumn 38, Issue 1-3, 2003, Pages 121-136

  Miller, Bruce R ^a   Youssef, Abdou ^b  

^a NATIONAL INSTITUTE OF STANDARDS AND TECHNOLOGY   (United States)

^b George Washington University   (United States)

Author keywords

Digital library; Mathematical markup; Mathematical notation; Mathematical search

Indexed keywords

EID: 0037257106     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1022967814992     Document Type: Conference Paper

References (23)

1. M. Abramowitz and I.A. Stegun (eds.), Handbook of Mathematical Functions, National Bureau of Standards Applied Mathematics Series, Vol. 55 (U.S. Government Printing Office, Washington, DC, 1964).
2. A. Aho, R. Sethi and J. Ullman, Compilers: Principles, Techniques, and Tools (Addison-Wesley, Reading, MA, 1985).
3. M.J. Downes, Breaking equations, TUGboat 18(3) (1997) 182.
4. T.H. Einwohner and R. Fateman, Searching techniques for integral tables, in: Proceedings of the International Symposium on Symbolic and Algebraic Computation (1995) p. 216, http://torte.cs.berkeley. edu:8010/tilu.
5. R. Fateman, Honest plotting, global extrema, and interval arithmetic, in: Proceedings of the International Symposium on Symbolic and Algebraic Computation (1992) p. 216.
6. M. Goosens, F. Mittlebach and A. Samarin, The LATEX Web Companion (Addison-Wesley, Reading, MA, 1994).
7. M. Goosens and S. Rathz, The LATEX Web Companion (Addison-Wesley, Reading, MA, 1999).
8. D.E. Knuth, The TEXbook (Addison-Wesley, Reading, MA, 1986).
9. G. Kowalski, Information Retrieval Systems, Theory and Implementation (Kluwer Academic, Dordrecht, 1997).
10. L. Lamport, LATEX: A Document Preparation System, 2nd edn. (Addison-Wesley, Reading, MA, 1994).
11. D.W. Lozier, The NIST Digital Library of Mathematical Functions Project, Annals of Mathematics and Artificial Intelligence (2003) this issue.
12. U. Manber, S. Wu and B. Gopal, Glimpse and WebGlimpse, http://glimpse.cs.arizona.edu/.
13. S. Muchnick, Advanced Compiler Design and Implementation (Morgan Kaufmann, San Mateo, CA, 1997).
14. M. Newborn and M. Newborn, Automated Theorem Proving: Theory and Practice (Springer, Berlin, 2001).
15. NIST, IRF, http://www-nlpir.nist.gov/projects/irf/.
16. PLS/AOL, CPL and PLWeb, http://www.pls.com/.
17. G. Salton and M.J. McGill, Introduction to Modern Information Retireval (McGraw Hill, New York, 1983).
18. B. Saunders and Q. Wang, From 2D to 3D: Numerical grid generation and the visualization of complex surfaces, Technical Report NISTIR 6555, NIST (2000).
19. SWISH-E. Simple Web indexing system for humans - enhanced, http://swish-e.org/.
20. The ht://Dig Group, ht://Dig, http://www.htdig.org.
21. The OpenMath Society, OpenMath, http://www.openmath.org/.
22. Q. Wang and B. Saunders, Interactive 3D visualization of mathematical functions using VRML, Technical Report NISTIR 6289, NIST (1999).
23. World Wide Web Consortium, Mathematical Mukup Language (MathML) Version 2.0 (2001), http:// www.w3.org/TR/MathML2/.