Web-based 3D visualization in a digital library of mathematical functions
Web3D '05 Proceedings of the tenth international conference on 3D Web technology
Validated Evaluation of Special Mathematical Functions
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Automating Side Conditions in Formalized Partial Functions
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Continued Fractions for Special Functions: Handbook and Software
Numerical Validation in Current Hardware Architectures
A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range
Numerical Validation in Current Hardware Architectures
Towards an electronic geometry textbook
ADG'06 Proceedings of the 6th international conference on Automated deduction in geometry
Hi-index | 0.00 |
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.