Accession Number : ADA190559

Title :   Expressing Mathematical Subroutines Constructively.

Descriptive Note : Memorandum rept.,

Corporate Author : MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB

Personal Author(s) : Roylance, Gerald L

PDF Url : ADA190559

Report Date : Nov 1987

Pagination or Media Count : 16

Abstract : The typical subroutines that compute sin(x) and exp(x) bear little resemblance to our mathematical knowledge of these functions: they are composed of concrete arithmetic expressions that include many mysterious numerical constants. Instead of programming these subroutines conventionally, we can express their construction using symbolic ideas such as periodicity and Taylor series. Such an approach has many advantages: the code is closer the mathematical basis of the function, less vulnerable to errors, and is trivially adaptable to various precisions. Keywords: Constructive programming; Bessel functions.

Descriptors :   *SUBROUTINES, BESSEL FUNCTIONS, CONSTANTS, ERRORS, NUMERICAL ANALYSIS, TAYLORS SERIES, VULNERABILITY, MATHEMATICAL PROGRAMMING

Subject Categories : Computer Programming and Software
      Operations Research

Distribution Statement : APPROVED FOR PUBLIC RELEASE