Models for mathematical systems

  • Authors:
  • Alfred H. Morris, Jr.

  • Affiliations:
  • -

  • Venue:
  • SYMSAC '66 Proceedings of the first ACM symposium on Symbolic and algebraic manipulation
  • Year:
  • 1966

Quantified Score

Hi-index 0.00

Visualization

Abstract

The purpose of this paper is to describe and illustrate a program, written for the IBM 7090, which defines a model for a finite collection of algebras for the computer. It is shown that the program contains a structure broad enough in scope to allow one to perform operations on such diverse mathematical concepts as differential equations, infinite series, and differential forms in a simple yet comprehensive manner, while also serving as a foundation upon which a variety of higher-level symbolic manipulation languages can be developed.