The early as well as the current literature in computer science, such as the publications of the ACM, shows that computer subroutines for numerically evaluating special functions are of great interest. This is a natural reflection of the importance of special functions in applied mathematics, which has existed since the great 19th century developments in mathematics and the mathematization of physics. Whereas previously methods associated with special functions were just about the only way of obtaining solutions to nontrivial problems, the vast increases in computational power brought about by technology have led to highly effective methods based on discretization and iteration. Special functions remain centrally important in the computationally efficient representation of solutions to continuous problems, and in the experimental verification of computer programs that implement the newer methods of solution.
As with all computer software, the problem of correctness needs to be addressed. For special functions, the wealth of mathematical knowledge coupled with the latest computer technology in communications and parallel processing provides a special opportunity to develop highly effective test methods. The mathematical interests and capabilities of ACMD, together with the comprehensive computer base in NIST, opens the possibility for an important advance in computer software testing.
Dr. Lozier presented a prospectus for an Internet-based test service at the Fall 1995 SIAM minisymposium devoted to computational issues in special functions. The service would consist of three key components: