Science, computational science, and computer science: at a crossroads

We describe computational science as an interdisciplinary approach to doing science on computers. Our purpose is to introduce computational science as a legitimate interest of computer scientists. We present a possible foundation for computational science. These foundations show that there is a need to consider computational aspects of science at the scientific level. We next present some obstacles to computer scientists' participation in computational science. We see a cultural bias in computer science that inhibits participation. Finally, we indicate areas of mutual interests between computational science and computer science.

[1]  W. Luxemburg.  Non-Standard Analysis , 1977 .

[2]  Victor F. Hess.  Classical and Modern Physics , 1941 .

[3]  Peter D. Mosses,et al.  Denotational semantics , 1995, LICS 1995.

[4]  D. E. Stevenson,et al.  Frontiers for computer science in computational science , 1992, ACM Southeast Regional Conference.

[5]  H. Woxniakowski.  Information-Based Complexity , 1988 .

[6]  Klaus Weihrauch,et al.  A unified approach to constructive and recursive analysis , 1984 .

[7]  R. O. Gandy,et al.  COMPUTABILITY IN ANALYSIS AND PHYSICS (Perspectives in Mathematical Logic) , 1991 .

[8]  Peter D. Mosses,et al.  Abstract Semantic Algebras , 1982, Formal Description of Programming Concepts.

[9]  John R. Rice,et al.  Future Research Directions in Problem Solving Environments for Computational Science , 1991, Programming Environments for High-Level Scientific Problem Solving.

[10]  Xiaomei Yang.  Rounding Errors in Algebraic Processes , 1964, Nature.

[11]  D. E. Stevenson,et al.  Experiences in building the Clemson Computational Sciences Program , 1990, Proceedings SUPERCOMPUTING '90.

[12]  John P. Cleave,et al.  The Primitive Recursive Analysis of Ordinary Differential Equations and the Complexity of Their Solutions , 1969, J. Comput. Syst. Sci..

[13]  M. Kline.  Mathematics: The Loss of Certainty , 1982 .

[14]  Cherri M. Pancake,et al.  Software Support for Parallel Computing: Where Are We headed? , 1991 .

[15]  Marian Boykan Pour-El,et al.  Computability in analysis and physics , 1989, Perspectives in Mathematical Logic.

[16]  M. B. Pour-El,et al.  Noncomputability in analysis and physics: A complete determination of the class of noncomputable linear operators , 1983 .

[17]  Cherri M. Pancake,et al.  Where are we headed? , 1991, CACM.

[18]  Gregory J. Chaitin,et al.  Algorithmic Information Theory , 1987, IBM J. Res. Dev..

[19]  Richard W. Hamming,et al.  Numerical Methods for Scientists and Engineers , 1962 .

[20]  Nicholas Griffin,et al.  THE PRINCIPLES OF SCIENTIFIC THINKING , 1971 .

[21]  Jack Dongarra,et al.  LINPACK Users' Guide , 1987 .

[22]  Juris Hartmanis,et al.  Computing the Future: A Broader Agenda for Computer Science and Engineering , 1992 .

[23]  Errett Bishop.  The crisis in contemporary mathematics , 1975 .

[24]  Mansur H. Samadzadeh,et al.  An annotated bibliography of literate programming , 1991, SIGP.

[25]  H. Davis.  Introduction to Nonlinear Differential and Integral Equations , 1964 .

[26]  A. Robinson.  Non-standard analysis , 1966 .

[27]  Dana S. Scott,et al.  Some Domain Theory and Denotational Semantics in Coq , 2009, TPHOLs.

[28]  Henryk Wozniakowski,et al.  Information-based complexity , 1987, Nature.

[29]  R. Harré.  The Principles Of Scientific Thinking , 1970 .

[30]  J. H. Wilkinson.  Error analysis of floating-point computation , 1960 .