Mathematics Lecture Series: Use of Computer Technology for Insight and Proof
Mathematics Lecture Series, Fall 2010 Fresno State
Speaker: DR. KENT PEARCE,
Texas Tech University
Title: Use of Computer Technology for Insight and Proof:
Strengths, Weaknesses and Practical Strategies
Friday, September 24, 2010
from 4:00 to 5:00 p.m.
PB 192
Abstract: We will consider the capability and role of computer algebra systems (CAS) in constructing proofs -- in particular in "proving" inequalities. Can you (your calculator or your computer) ever draw a graph and deduce from the drawn graph that you have a proof of an inequality? We will conclude that there is a role for CAS in analysis and, specifically, that there are various useful and practical strategies for rigorously establishing analytic inequalities.
Kent Pearce is a professor of mathematics at Texas Tech University. He received his Ph. D. from SUNY Albany in 1980 and is the author of over 30 refereed publications. His area of research is complex analysis.
For further information call (559) 278-4907 or e-mail tforgacs@csufresno.edu
References and Citations
Cindy Douglas
Administrative Support Coordinator
Department of Mathematics
College of Science and Math
5245 North Backer Avenue M/S PB108
Fresno, CA. 93740-8001
(559) 278-2992
Fax (559) 278-2872

Comments