Problems and Methodologies in Mathematical Software Production 1980: Sorrento, Italy

Paul Messina, Almerico Murli (Eds.): Problems and Methodologies in Mathematical Software Production, International Seminar, Held at Sorrento, Italy, November 3-8, 1980. Lecture Notes in Computer Science 142 Springer 1982, ISBN 3-540-11603-6 BibTeX

@proceedings{DBLP:conf/msp/1980,
  editor    = {Paul Messina and
               Almerico Murli},
  title     = {Problems and Methodologies in Mathematical Software Production,
               International Seminar, Held at Sorrento, Italy, November 3-8,
               1980},
  booktitle = {Problems and Methodologies in Mathematical Software Production},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {142},
  year      = {1982},
  isbn      = {3-540-11603-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

William J. Cody: Basic concepts for computational software. 1-23 BibTeX
William J. Cody: Implementation and testing of function software. 24-47 BibTeX
T. J. Dekker: Program correctness and machine arithmetic. 48-80 BibTeX
Brian Ford, Jon Louis Bentley, J. J. Du Croz, Stephen J. Hague: Preparing the NAG library. 81-90 BibTeX
Brian Ford, Stephen J. Hague, S. M. Nugent: Computer-based documentation for the NAG library. 91-127 BibTeX
Brian Ford: Transportable numerical software. 128-140 BibTeX
Brian Ford, Stephen J. Hague: Tools for numerical software. 141-151 BibTeX
W. Morven Gentleman: Portability and other source management problems. 152-185 BibTeX
J. N. Lyness: Remarks about performance profiles. 186-197 BibTeX
Paul Messina: The role of computer centers in the field of mathematical software. 198-206 BibTeX
Paul Messina: Guidelines for managing mathematical software libraries at computer centers. 207-253 BibTeX
Panel session on the challenges for developments of mathematical software. 254-271 BibTeX