CONTRIBUTIONS TO MECHANICAL MATHEMATICS.

Abstract

We describe the experience relating to the design of a programming language, Formula Algol, which is suitable for describing algorithms that mechanize some mathematical tasks. We develop a theory that yields results from which we can prove the termination of some Markov algorithms that perform algebraic transformations. Using these results, we also can characterize the classes of formulae that constitute the input and output for such algorithms. Next, we discuss in some detail the various problems related to the mechanization of limiting processes and inequalities. Twenty-five appendices--with running programs--illustrate the various points made during our presentation. (Author)

Document Details

Document Type
Technical Report
Publication Date
May 27, 1967
Accession Number
AD0660127

Entities

People

  • Renato Iturriaga

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Algorithms
  • Computer Languages
  • Computer Programming
  • Inequalities
  • Language
  • Mathematics
  • Mechanization
  • Programming Languages

Fields of Study

  • Mathematics

Readers

  • Computer Science.
  • Mathematical Modeling and Probability Theory.
  • Technical Research and Report Writing.