blue banner

Graduate Projects - Details

Computer Science Program

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
 
© Texas A&M University-Corpus Christi • 6300 Ocean Drive, Corpus Christi, Texas 78412 • 361-825-5700