Essays in Algebraic Simplification
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 mathem...
| Main Author: | |
|---|---|
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149407 |
| _version_ | 1826213191081787392 |
|---|---|
| author | Fateman, Richard J. |
| author_facet | Fateman, Richard J. |
| author_sort | Fateman, Richard J. |
| collection | MIT |
| description | 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. |
| first_indexed | 2024-09-23T15:45:05Z |
| id | mit-1721.1/149407 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T15:45:05Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1494072023-03-30T03:11:56Z Essays in Algebraic Simplification Fateman, Richard J. 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. 2023-03-29T14:55:54Z 2023-03-29T14:55:54Z 1972-04 https://hdl.handle.net/1721.1/149407 00731329 MIT-LCS-TR-095 MAC-TR-095 application/pdf |
| spellingShingle | Fateman, Richard J. Essays in Algebraic Simplification |
| title | Essays in Algebraic Simplification |
| title_full | Essays in Algebraic Simplification |
| title_fullStr | Essays in Algebraic Simplification |
| title_full_unstemmed | Essays in Algebraic Simplification |
| title_short | Essays in Algebraic Simplification |
| title_sort | essays in algebraic simplification |
| url | https://hdl.handle.net/1721.1/149407 |
| work_keys_str_mv | AT fatemanrichardj essaysinalgebraicsimplification |