Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/springer-journals/technical-aspects-of-the-digital-library-of-mathematical-functions-iD0y86Kyqw
References (25)
-
S. Muchnick (1997)
Advanced Compiler Design and Implementation -
D. Knuth (1984)
The TeXbook -
The ht://Dig Group, 'ht://Dig -
M. Newborn, M. Newborn (2001)
Automated Theorem Proving: Theory and Practice -
M. Newborn (2000)
Automated Theorem Proving -
M. Abramowitz, I. Stegun, D. Mcquarrie (1966)
Handbook of Mathematical Functions.American Mathematical Monthly, 73
-
D.E. Knuth (1986)
The T EXbook -
J. Murray, A. Charles, V. Laspias, M. Currie, D. Terrett, A. Lotts, M. Lawden, M. Bly (1997)
LaTeX -- A Document Preparation System, 9
-
R. Fateman (1992)
Honest plotting, global extrema, and interval arithmetic -
G. Kowalski (1997)
Information Retrieval Systems, 1
-
(1997)
TUGboat -
G. Kowalski (1997)
Information Retrieval Systems, Theory and Implementation -
G. Chowdhury (1999)
Introduction to Modern Information Retrieval -
A. Aho, Ravi Sethi, J. Ullman (1986)
Compilers: Principles, Techniques, and Tools -
池内 健二 (2006)
Document preparation system -
K. Kölbig, F. Schaeff (1972)
Errata: Milton Abramowitz and Irene A. Stegun, editors, Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, National Bureau of Standards, Applied Mathematics Series, No. 55, U.S. Government Printing Office, Washington, D.C., 1994, and all known reprintsMathematics of Computation, 26
-
B. Saunders, Qiming Wang (2000)
From 2D to 3D: Numerical Grid Generation and the Visualization of Complex Surfaces -
P. Ion, Robert Miner, Ron Ausbrooks, S. Buswell, D. Carlisle, Giorgi Chavchanidze, Stéphane Dalmas, Stan Devitt, Angel Díaz, S. Dooley, R. Hunter, M. Kohlhase, A. Lazrek, P. Libbrecht, B. Miller, C. Rowley, M. Sargent, Bruce Smith, N. Soiffer, R. Sutor, S. Watt (2001)
Mathematical Markup Language (MathML) Version 3.0 -
Simple Web Indexing System for Humans — Enhanced'. http://swish-e.org -
T. Einwohner, R. Fateman (1995)
Searching techniques for integral tables -
D. Lozier (2003)
NIST Digital Library of Mathematical FunctionsAnnals of Mathematics and Artificial Intelligence, 38
-
M. Goosens, S. Rathz (1999)
The LAT EX Web Companion -
(1993)
The LaTeX companion -
M. Goossens, S. Rahtz, E. Gutari, R. Moore, R. Sutor (1999)
The LaTeX web companion -
(1997)
Breaking equations
- Publisher
- Springer Journals
- Copyright
- Copyright © 2003 by Kluwer Academic Publishers
- Subject
- Computer Science; Artificial Intelligence (incl. Robotics); Mathematics, general; Computer Science, general; Complex Systems
- ISSN
- 1012-2443
- eISSN
- 1573-7470
- DOI
- 10.1023/A:1022967814992
- Publisher site
- See Article on Publisher Site
Abstract
The NIST Digital Library of Mathematical Functions (DLMF) Project, begun in 1997, is preparing a handbook and Web site intended for wide communities of users. The contents are primarily mathematical formulas, graphs, methods of computation, references, and links to software. The task of developing a Web handbook of this nature presents several technical challenges. We describe the goals of the Digital Library of Mathematical Functions Project and the realities that constrain those goals. We propose practical initial solutions, in order to ease the authoring of adaptable content: a LaTeX class which encourages a modestly semantic markup style; and a mathematical search engine that adapts a text search engine to the task.
Journal
Annals of Mathematics and Artificial Intelligence – Springer Journals
Published: Oct 10, 2004