Computable scalar fields: A basis for PDE software

Journal of Logic and Algebraic Programming

Volumn 65, Issue 1, 2005, Pages 36-49

  Haveraaen, Magne ^a   Friis, Helmer André ^b   Munthe Kaas, Hans ^a  

^a UNIVERSITY OF BERGEN   (Norway)

^b RF Rogaland Research   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; COMPUTATIONAL METHODS; COMPUTER SIMULATION; COMPUTER SOFTWARE; MATHEMATICAL MODELS; NUMERICAL METHODS; PROBLEM SOLVING; TENSORS;

APPROXIMATION TECHNIQUES; COMPUTABILITY; SCALAR FIELDS; TENSOR FIELDS;

PARTIAL DIFFERENTIAL EQUATIONS;

EID: 24144446459     PISSN: 15678326     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jlap.2004.12.001     Document Type: Article

References (26)

1. K. Åhlander, M. Haveraaen, and H. Munthe-Kaas On the role of mathematical abstractions for scientific computing R.F. Boisvert P.T.P. Tang The Architecture of Scientific Software 2001 Kluwer Academic Publishers Boston 145 158
2. C. Cerjan, D. Kosloff, R. Kosloff, and M. Reshef Short note: A nonreflecting boundary condition for discrete acoustic and elastic wave equations Geophysics 50 1985 705 708
3. H.A. Friis, T.A. Johansen, M. Haveraaen, H. Munthe-Kaas, and Å. Drottning Use of coordinate free numerics in elastic wave simulation Appl. Numer. Math. 39 2 2001 151 171
4. P.W. Grant, M. Haveraaen, and M.F. Webster Coordinate free programming of computational fluid dynamics problems Sci. Programming 8 4 2000 211 230
5. D. Goldberg What every computer scientist should know about floating-point arithmetic ACM Comput. Surveys 23 1 1991 5 48
6. M. Haveraaen Case study on algebraic software methodologies for scientific computing Sci. Programming 8 4 2000 261 273
7. M. Haveraaen, H.A. Friis, and T.A. Johansen Formal software engineering for computational modelling Nord. J. Comput. 6 3 1999 241 270
8. O. Holberg Computational aspects of the choice of operator and sampling interval for numerical differentiation in large-scale simulation of wave phenomena Geophys. Prospect. 35 1987 629 655
9. A. Iserles, H.Z. Munthe-Kaas, S.P. Nørsett, and A. Zanna Lie-group methods Acta Numer. 9 2000 215 365
10. S.K. Lele Compact finite difference schemes with spectral-like resolution J. Comput. Phys. 103 1992 16 42
11. F. Muir, J. Dellinger, J. Etgen, and D. Nichols Short note: Modeling elastic fields across irregular boundaries Geophysics 57 9 1992 1189 1193
12. R. Mittet Free surface boundary conditions for elastic staggered-grid modelling schemes Geophysics 67 5 2002 1616 1623
13. H. Munthe-Kaas, and M. Haveraaen Coordinate free numerics-closing the gap between 'pure' and 'applied' mathematics? Z. Angew. Math. Mech. 76 suppl. 1 1996 487 488
14. W.A. Mulder Experiments with Higdon's absorbing boundary conditions for a number of wave equations Comput. Geosci. 1 1 1997 85 108
15. Bernard Schutz Geometrical Methods of Mathematical Physics 1980 Cambridge University Press
16. J.S. Sochacki, J.H. George, R.E. Ewing, and S.B. Smithson Interface conditions for acustic and elastic wave-propagation Geophysics 56 2 1991 168 181
17. S. Smale Some remarks on the foundations of numerical analysis SIAM Rev. 32 2 1990 211 220
18. J.C. Strikwerda Finite Difference Schemes and Partial Differential Equations 1989 Chapman & Hall
19. S.V. Tsynkov Numerical solution of problems on unbounded domains. A review Appl. Numer. Math. 27 4 1998 465 532
20. J.V. Tucker, and J.I. Zucker Computable functions and semicomputable sets on many-sorted algebras S. Abramsky D.M. Gabbay T.S.E. Maibaum Handbook of Logic in Computer Science vol. 5 2000 Oxford University Press Oxford, UK 317 523
21. K. Weihrauch Computability EATCS Monographs on Theoretical Computer Science vol. 9 1987 Springer-Verlag Berlin
22. K. Weihrauch Computable analysis-an introduction Texts in Theoretical Computer Science-An EATCS Series 2000 Springer-Verlag Berlin
23. H. Wu, and J.M. Lees Boundary conditions on a finite grid: Applications with pseudospectral wave propagation Geophysics 62 5 1997 1544 1557
24. D.W. Zingg Comparison of high-accuracy finite-difference methods for linear wave propagation SIAM J. Sci. Comput. 22 2 2000 476 502
25. D.W. Zingg, H. Lomax, and H. Jurgens High-accuracy finite-difference schemes for linear wave propagation SIAM J. Sci. Comput. 17 2 1996 328 346
26. N. Zhong, K. Weihrauch, Computable analysis of partial differential equations, in: CCA'01, Dagstuhl seminar 01461, November 2001