Problem Solving and Theorem Proving with Symbolic Computation

Spring 2004, Math 518, Lecture 2, TR 9:30-10:45, ECON 200
Instructor: Prof. Marek Rychlik E-mail: rychlik@u.arizona.edu