Date: Fri, 01 Apr 2005 00:13:57 -0500
From: Lew Lefton
To: everyone@math.gatech.edu
Subject: New software automates the teaching of calculus, and more
Resent-Date: Fri, 1 Apr 2005 00:14:06 -0500 (EST)
Resent-From: faculty@math.gatech.edu
Hi everyone,
We have finally finished installing the next generation mathematical
software for Automated Theorem Proving (atp version 4.1.05). It is
available on all the Linux, Sun and Mac systems by typing "atp". You
may have to type 'rehash' first if you have an older shell.
OIT is considering installing this software campus wide as way to make
it easier for students to get mathematics help at any time. Some have
suggested that it could be used to actually teach a calculus course.
ATP is a tool which incorporates an "expert system" in mathematics along
with a natural language interface. As a result, you can "talk" to it
with no special syntax required. We have found it has a surprising
depth of knowledge and we encourage eveyone to begin using it, since it
will also learn more, as it discusses mathematics with more people.
There is a web based version available at
http://www.math.gatech.edu/atp/
Have a good day,
Lew Lefton