Table of Contents Author Guidelines Submit a Manuscript
Scientific Programming
Volume 8, Issue 4, Pages 261-273

Case Study on Algebraic Software Methodologies for Scientific Computing

Magne Haveraaen

Department of Informatics, University of Bergen, P.O. Box 7800 N-5020 BERGEN, Norway

Received 16 October 2001; Accepted 16 October 2001

Copyright © 2000 Hindawi Publishing Corporation. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Citations to this Article [3 citations]

The following is the list of published articles that have cited the current article.

  • Magne Haveraaen, Helmer André Friis, and Hans Munthe-Kaas, “Computable scalar fields: A basis for PDE software,” The Journal of Logic and Algebraic Programming, vol. 65, no. 1, pp. 36–49, 2005. View at Publisher · View at Google Scholar
  • Jv Tucker, and Ji Zucker, “Computable total functions on metric algebras, universal algebraic specifications and dynamical systems,” Journal Of Logic And Algebraic Programming, vol. 62, no. 1, pp. 71–108, 2005. View at Publisher · View at Google Scholar
  • J. A. Bergstra, and J. V. Tucker, “The rational numbers as an abstract data type,” Journal Of The Acm, vol. 54, no. 2, 2007. View at Publisher · View at Google Scholar