|
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
ACM Guide to Computing Literature. ACM, New York. 1990.
|
| |
2
|
Beth, E.W. Semantic construction of intuitionistic logic. Kon. Ned. Ak. Wet. 19 (1956), 257-388.
|
| |
3
|
Bishop, E.J., and Bridges, D. Constructive Analysis. Springer-Verlag, New York. 1985
|
| |
4
|
|
| |
5
|
Davis, H.T. Introduction to Nonlinear Differential and Integeral Equations. Dover, New York, 1960.
|
| |
6
|
Dongarra, J.J et al. LINPACK: Users Guide. Soc. for Indust. and Appl. Math. 1979.
|
| |
7
|
Federal Coordinatiag Council for Science, Engineering and Technology. Grand Challenges 1993: High Performance Camputing and Communications. National Science Foundation, Computer and information Science and Engineering Directorate, Washington, D.C., 1993. May be obtained via email through pubs@note.nsf.gov.
|
| |
8
|
Gallopoulos, E., Houstis, E., and Rice, J.R. Future research directions in problem solving environments for computational science, Tech. Rep., Center for Supercompuling Research and Development, University of Illinois, 1991.
|
| |
9
|
Gettys, W.E., Keller, F.J., and Skove, M.J, Clssical and Modern Physics. McGraw-HiLl, New York, 1988.
|
| |
10
|
|
| |
11
|
Harre, R. The Principle of Scientific Thinking. The University of Chicago Press, Chicago, 1970.
|
| |
12
|
Kline, M. Mathematics: The Loss of Certainly. Oxford University Press, England, 1980.
|
| |
13
|
Krommes, J. FWEB User's Guide. Princeton University Press, Princeton, N.J., 1991.
|
 |
14
|
|
| |
15
|
Pout-El, M.B. arid Richards, J.I. Computability in Analysis and Physics. In Perspectives in Mathematical Logic. Springer-Verlag, New York, 1989.
|
| |
16
|
Schmidt, D.A. Denotational Semantics. Allyn and Bacon, New York, 1986.
|
| |
17
|
|
| |
18
|
Society for Industrial and Applied Mathematics. LAPACK Users Guide. May 1992.
|
 |
19
|
|
| |
20
|
|
| |
21
|
|
| |
22
|
|
|