Accession Number : AD0671938

Title :   ON CANONICAL FORMS AND SIMPLIFICATION.

Descriptive Note : Doctoral thesis,

Corporate Author : CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE

Personal Author(s) : Caviness,Bobby Forrester

Report Date : 20 MAY 1968

Pagination or Media Count : 86

Abstract : The purpose of the dissertation was to study the representations of formula expressions in a way that would give meaning to the so-called simplification problem.

Descriptors :   (*PROBLEM SOLVING, *COMPUTER PROGRAMMING), TRANSFORMATIONS(MATHEMATICS), POLYNOMIALS, ALGORITHMS, DECISION THEORY, THEOREMS, COMPUTER PROGRAMS, THESES

Subject Categories : Theoretical Mathematics
      Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE