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

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

Last update Fri May 25 08:28:09 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page