Abstraction in Numerical Methods.

Abstract

We illustrate how the liberal use of high-order procedural abstractions and infinite streams helps us to express some of the vocabulary and methods of numerical analysis. We develop a software toolbox encapsulating the technique of Richardson extrapolation, and we apply these tools to the problems of numerical integration and differentiation. By separating the idea of Richardson extrapolation from its use in particular circumstances we indicate how numerical programs can be written that exhibit the structure of the ideas from which they are formed. Keywords: Artificial intelligence; LISP Programming language, Programming methodology. (KR).

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 1987
Accession Number
ADA196990

Entities

People

  • Gerald J. Sussman
  • Matthew Halfant

Organizations

  • Massachusetts Institute of Technology

Tags

DTIC Thesaurus Topics

  • Accuracy
  • Artificial Intelligence
  • Computations
  • Computer Science
  • Contracts
  • Convergence
  • Electrical Engineering
  • Estimators
  • Extrapolation
  • Massachusetts
  • Numbers
  • Numerical Analysis
  • Numerical Integration
  • Precision
  • Sequences
  • Square Roots
  • Standards

Readers

  • Computational Linguistics
  • Finite Element Method (FEM) for solving Partial Differential Equations (PDEs)
  • Systems Analysis and Design

Technology Areas

  • AI & ML
  • AI & ML - Machine Learning Algorithms