NATS a collaborative effort to certify and disseminate mathematical software

James M. Boyle, William J. Cody, Wayne R. Cowell, Burton S. Garbow, Yasuhiko Ikebe, Cleve B. Moler, Brian T. Smith. NATS a collaborative effort to certify and disseminate mathematical software. In John J. Donovan, Rosemary Shields, editors, Proceedings of the ACM annual conference, ACM 1972, 1972, Volume 2. pages 630-635, ACM, 1972. [doi]

Abstract

Abstract is missing.