Bibliography

1

Abramowitz, M. and I. A. Stegun (eds.): 1964, Handbook of Mathematical Functions, National Bureau of Standards Applied Mathematics Series No. 55.
U.S. Government Printing Office, Washington, DC.

2

Aho, A., R. Sethi, and J. Ullman: 1985, Compilers : Principles, Techniques, and Tools.
Addison-Wesley.

3

Downes, M. J.: 1997, `Breaking equations'.
TUGboat 18(3), 182.

4

Einwohner, T. H. and R. Fateman: 1995, `Searching techniques for integral tables'.
In: Proceedings of the International symposium on Symbolic and algebraic computation. p. 216.
http://torte.cs.berkeley.edu:8010/tilu.

5

Fateman, R.: 1992, `Honest Plotting, global extrema, and interval arithmetic'.
In: Proceedings of the International symposium on Symbolic and algebraic computation. p. 216.

6

Goossens, M., F. Mittlebach, and A. Samarin: 1994, The L^ATEX Companion.
Addison Wesley.

7

Goossens, M. and S. Rahtz: 1999, The L^ATEX Web Companion.
Addison Wesley.

8

Knuth, D. E.: 1986, The TEXbook.
Addison Wesley.

9

Kowalski, G.: 1997, Information Retrieval Systems, Theory and Implementation.
Kluwer Academic Publishers.

10

Lamport, L.: 1994, L^ATEX: A Document Preparation System.
Addison Wesley, 2nd edition.

11

Lozier, D. W.: 2002, `The NIST Digital Library of Mathematical Functions Project'.
Annals of Mathematics and Artificial Intelligence.
(see preceding paper in this journal).

12

Manber, U., S. Wu, and B. Gopal, `Glimpse and WebGlimpse'.
http://glimpse.cs.arizona.edu/.

13

Muchnick, S.: 1997, Advanced Compiler Design and Implementation.
Morgan Kaufmann.

14

Newborn, M. and M. Newborn: 2001, Automated Theorem Proving : Theory and Practice.
Springer Verlag.

15

NIST, `IRF'.
http://www-nlpir.nist.gov/projects/irf/.

16

PLS/AOL, `CPL and PLWeb'.
http://www.pls.com/.

17

Salton, G. and M. J. McGill: 1983, Introduction to Modern Information Retireval.
McGraw Hill, New York.

18

Saunders, B. and Q. Wang: 2000, `From 2D to 3D: Numerical Grid Generation and the Visualization of Complex Surfaces'.
Technical Report NISTIR 6555, NIST.

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

Wang, Q. and B. Saunders: 1999, `Interactive 3D Visualization of Mathematical Functions Using VRML'.
Technical Report NISTIR 6289, NIST.

23

World Wide Web Consortium: 2001, `Mathematical Markup Language (MathML) Version 2.0'.
http://www.w3.org/TR/MathML2/.