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

 

Calendar of Events

«  

May

  »
S M T W T F S
 
 
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
13
 
14
 
15
 
16
 
17
 
18
 
19
 
20
 
21
 
22
 
23
 
24
 
25
 
26
 
27
 
28
 
29
 
30
 
31
 
 
 
Add to calendar