Essays in Algebraic Simplification
Name
MIT-LCS-TR-095.pdf
Size
50.69 MB
Format
Adobe PDF
Checksum (MD5)
a2cce6d042b918e8a79dbb56e8306f98
Author(s)
Fateman, Richard J.
Date Issued
April 1972
Series/Report no.
MIT-LCS-TR-095
MAC-TR-095
Abstract
This thesis consists of essays on several aspects of the problem of algebraic simplification by computer. Since simplification is at the core of most algebraic manipulations, efficient and effective simplification procedures are essential to building useful computer systems for non-numerical mathematics. Efficiency is attained through carefully designed and engineered algorithms, heuristics,and data types, while effectiveness is assured through theoretical considerations.
Persistent DSpace Link
