scispace - formally typeset
Journal ArticleDOI

NIST Digital Library of Mathematical Functions

TLDR
The National Institute of Standards and Technology is preparing a Digital Library of Mathematical Functions to provide useful data about special functions for a wide audience and the initial products will be a published handbook and companion Web site, both scheduled for completion in 2003.
Abstract
The National Institute of Standards and Technology is preparing a Digital Library of Mathematical Functions (DLMF) to provide useful data about special functions for a wide audience. The initial products will be a published handbook and companion Web site, both scheduled for completion in 2003. More than 50 mathematicians, physicists and computer scientists from around the world are participating in the work. The data to be covered include mathematical formulas, graphs, references, methods of computation, and links to software. Special features of the Web site include 3D interactive graphics and an equation search capability. The information technology tools that are being used are, of necessity, ones that are widely available now, even though better tools are in active development. For example, LaTeX files are being used as the common source for both the handbook and the Web site. This is the technology of choice for presentation of mathematics in print but it is not well suited to equation search, for example, or for input to computer algebra systems. These and other problems, and some partially successful work-arounds, are discussed in this paper and in the companion paper by Miller and Youssef.

read more

Content maybe subject to copyright    Report

Citations
More filters
Journal ArticleDOI

Rapid Bayesian position reconstruction for gravitational-wave transients

TL;DR: In this article, a Bayesian, non-Markov chain Monte Carlo sky localization algorithm, BayStar, is proposed to detect binary neutron star and neutron star-black hole mergers.
Journal ArticleDOI

Recognition and retrieval of mathematical expressions

TL;DR: This paper surveys the state of the art in recognition and retrieval of mathematical expressions, organized around four key problems in math retrieval (query construction, normalization, indexing, and relevance feedback), and four key problem in math recognition (detecting expressions, detecting and classifying symbols, analyzing symbol layout, and constructing a representation of meaning).
Journal ArticleDOI

Difficulty control for blockchain-based consensus systems

TL;DR: This work model mining as a Poisson process with time-dependent intensity and uses this model to derive predictions about block times for various hash-rate scenarios, and analyses Bitcoin’s method to update the “network difficulty” as a mechanism to keep block times stable.
Journal ArticleDOI

SE-Sync: a certifiably correct algorithm for synchronization over the special Euclidean group

TL;DR: SE-Sync is able to efficiently recover certifiably globally optimal solutions of the special Euclidean synchronization problem in a non-adversarial noise regime and is significantly faster than the Gauss–Newton-based approach that forms the basis of current state-of-the-art techniques.
Journal ArticleDOI

Uniform WKB, Multi-instantons, and Resurgent Trans-Series

TL;DR: In this article, the authors illustrate the physical significance and mathematical origin of resurgence trans-series expansions for energy eigenvalues in quantum mechanical problems with degenerate harmonic minima, by using the uniform WKB approach.
References
More filters
Journal ArticleDOI

Technical Aspects of the Digital Library of Mathematical Functions

TL;DR: Practical initial solutions are proposed, 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.
Proceedings ArticleDOI

Design of a digital mathematical library for science, technology and education

TL;DR: The approach to such difficulties as the representation, display and manipulation of symbolic expressions, numerical data and graphical visualizations are discussed, and a prototype Web site is described that has been constructed to test, evaluate and advance the NIST Digital Library of Mathematical Functions project.
Proceedings ArticleDOI

The dlmf project: a new initiative in classical special functions

TL;DR: The Digital Library of Mathematical Functions (DLMF) as mentioned in this paper is a standard reference for mathematical functions published by the National Bureau of Standards (NIST) in the early 1970s.