April 6, Wednesday
12:00 – 13:00
From Experimental Mathematics to Computational Thinking
Computer Science seminar
Lecturer : Victor Adamchik
Affiliation : Computer Science Department, Carnegie Mellon University
Location : 202/37
Host : Dr. Mayer Goldberg
Significant progress has been made in the past two decades in the construction of software systems that relate directly
to mathematics: computer algebra systems, theorem provers,proof assistants, mathematical knowledge bases and so forth.
A variety of powerful algorithms have been implemented in general-purpose symbolic algebra systems, special purpose
systems, and state of the art numerical libraries.
I will discuss how computational tools and computationalthinking influence science and engineering and demonstrate
several accessible examples carried out in the spiritof experimental mathematics.