Discover Your Island University

Graduate Projects


Project ID: 127
Author: Edgar B. Reeves Jr.
Project Title: Algebraic Simplifier Incorporating Non-Standard Analysis
Semester: Fall 1996
Committe Chair: Dr. David E. Leasure
Committee Member 1: Dr. David R. Thomas
Committee Member 2: Dr. George D. Tintera
Project Description: This thesis discusses an algebraic simplifier program that caqn be used as either a subprogram in a more complete theorem prover, or to perform as a stand-alone program. The overall method uses natural deduction to implement Abraham Robinson's non-standard analysis for polynomial derivatives. The program also automates the symbolic calculation and algebraic simplification of polymial, exponential, and trigonometric derivatives.
Project URL:   127.pdf