{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T13:40:30Z","timestamp":1773409230216,"version":"3.50.1"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"1-3","license":[{"start":{"date-parts":[[2003,5,1]],"date-time":"2003-05-01T00:00:00Z","timestamp":1051747200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,5,1]],"date-time":"2003-05-01T00:00:00Z","timestamp":1051747200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Mathematics and Artificial Intelligence"],"published-print":{"date-parts":[[2003,5]]},"DOI":"10.1023\/a:1022967814992","type":"journal-article","created":{"date-parts":[[2003,4,7]],"date-time":"2003-04-07T22:16:51Z","timestamp":1049753811000},"page":"121-136","source":"Crossref","is-referenced-by-count":58,"title":["Technical Aspects of the Digital Library of Mathematical Functions"],"prefix":"10.1007","volume":"38","author":[{"given":"Bruce R.","family":"Miller","sequence":"first","affiliation":[]},{"given":"Abdou","family":"Youssef","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5118023_CR1","series-title":"National Bureau of Standards Applied Mathematics Series","volume-title":"Handbook of Mathematical Functions","year":"1964","unstructured":"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)."},{"key":"5118023_CR2","volume-title":"Compilers: Principles, Techniques, and Tools","author":"A. Aho","year":"1985","unstructured":"A. Aho, R. Sethi and J. Ullman, Compilers: Principles, Techniques, and Tools (Addison-Wesley, Reading, MA, 1985)."},{"issue":"3","key":"5118023_CR3","first-page":"182","volume":"18","author":"M.J. Downes","year":"1997","unstructured":"M.J. Downes, Breaking equations, TUGboat 18(3) (1997) 182.","journal-title":"TUGboat"},{"key":"5118023_CR4","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1145\/220346.220364"},{"key":"5118023_CR5","doi-asserted-by":"crossref","unstructured":"R. Fateman, Honest plotting, global extrema, and interval arithmetic, in: Proceedings of the International Symposium on Symbolic and Algebraic Computation (1992) p. 216.","DOI":"10.1145\/143242.143314"},{"key":"5118023_CR6","volume-title":"The LAT EX Web Companion","author":"M. Goosens","year":"1994","unstructured":"M. Goosens, F. Mittlebach and A. Samarin, The LAT\nEX Web Companion (Addison-Wesley, Reading, MA, 1994)."},{"key":"5118023_CR7","volume-title":"The LAT EX Web Companion","author":"M. Goosens","year":"1999","unstructured":"M. Goosens and S. Rathz, The LAT\nEX Web Companion (Addison-Wesley, Reading, MA, 1999)."},{"key":"5118023_CR8","volume-title":"The T EXbook","author":"D.E. Knuth","year":"1986","unstructured":"D.E. Knuth, The T\nEXbook (Addison-Wesley, Reading, MA, 1986)."},{"key":"5118023_CR9","volume-title":"Information Retrieval Systems, Theory and Implementation","author":"G. Kowalski","year":"1997","unstructured":"G. Kowalski, Information Retrieval Systems, Theory and Implementation (Kluwer Academic, Dordrecht, 1997)."},{"key":"5118023_CR10","volume-title":"LATEX: A Document Preparation System","author":"L. Lamport","year":"1994","unstructured":"L. Lamport, LATEX: A Document Preparation System, 2nd edn. (Addison-Wesley, Reading, MA, 1994).","edition":"2nd edn."},{"key":"5118023_CR11","unstructured":"D.W. Lozier, The NIST Digital Library of Mathematical Functions Project, Annals of Mathematics and Artificial Intelligence (2003) this issue."},{"key":"5118023_CR12","unstructured":"U. Manber, S. Wu and B. Gopal, Glimpse and WebGlimpse, http:\/\/glimpse.cs.arizona.edu\/."},{"key":"5118023_CR13","volume-title":"Advanced Compiler Design and Implementation","author":"S. Muchnick","year":"1997","unstructured":"S. Muchnick, Advanced Compiler Design and Implementation (Morgan Kaufmann, San Mateo, CA, 1997)."},{"key":"5118023_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0089-2","volume-title":"Automated Theorem Proving: Theory and Practice","author":"M. Newborn","year":"2001","unstructured":"M. Newborn and M. Newborn, Automated Theorem Proving: Theory and Practice (Springer, Berlin, 2001)."},{"key":"5118023_CR15","unstructured":"NIST, IRF, http:\/\/www-nlpir.nist.gov\/projects\/irf\/."},{"key":"5118023_CR16","unstructured":"PLS\/AOL, CPL and PLWeb, http:\/\/www.pls.com\/."},{"key":"5118023_CR17","volume-title":"Introduction to Modern Information Retireval","author":"G. Salton","year":"1983","unstructured":"G. Salton and M.J. McGill, Introduction to Modern Information Retireval (McGraw Hill, New York, 1983)."},{"key":"5118023_CR18","doi-asserted-by":"crossref","unstructured":"B. Saunders and Q. Wang, From 2D to 3D: Numerical grid generation and the visualization of complex surfaces, Technical Report NISTIR 6555, NIST (2000).","DOI":"10.6028\/NIST.IR.6555"},{"key":"5118023_CR19","unstructured":"SWISH-E. Simple Web indexing system for humans \u2013 enhanced, http:\/\/swish-e.org\/."},{"key":"5118023_CR20","unstructured":"The ht:\/\/Dig Group, ht:\/\/Dig, http:\/\/www.htdig.org\/."},{"key":"5118023_CR21","unstructured":"The OpenMath Society, OpenMath, http:\/\/www.openmath.org\/."},{"key":"5118023_CR22","doi-asserted-by":"crossref","unstructured":"Q. Wang and B. Saunders, Interactive 3D visualization of mathematical functions using VRML, Technical Report NISTIR 6289, NIST (1999).","DOI":"10.6028\/NIST.IR.6289"},{"key":"5118023_CR23","unstructured":"WorldWideWeb Consortium, Mathematical Markup Language (MathML) Version 2.0 (2001), http:\/\/www.w3.org\/TR\/MathML2\/."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1022967814992.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1022967814992\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1022967814992.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:47:25Z","timestamp":1747547245000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1022967814992"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,5]]},"references-count":23,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2003,5]]}},"alternative-id":["5118023"],"URL":"https:\/\/doi.org\/10.1023\/a:1022967814992","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,5]]}}}