MathXpert is a computer program to help students learn algebra, trigonometry, and calculus,
by assisting them to generate correct, step-by-step solutions of problems. This assistance can take
several forms, ranging from natural-language hints, to suggesting the next step, to taking the next step, or even actually generating the complete step-by-step solution in "auto mode". The system is able to solve all symbolic problems of the level of difficulty likely to be encountered in standard courses in those subjects. (It cannot do word problems.) MathXpert is based primarily on algorithms that are taught to students, i.e. it does not have high-powered algorithms that do not use student methods. MathXpert is, however, a logically correct system: unlike in Maple and Mathematica, you cannot derive any incorrect results in MathXpert. It accomplishes this design goal by incorporating some theorem-proving algorithms, which (unlike the computations) are used internally, but invisible to the user.
MathXpert also draws beautiful graphs of a dozen different kinds. Like the computations, the graphs are mathematically correct, for example, showing singularities without incorrect vertical lines. This is difficult,
and not always achievable, but if MathXpert cannot be sure it is drawing the graph correctly, it will warn you that the graph might not be correct.
The talk will consist of a demonstration of MathXpert and some discussions of the design issues and the implementation. Bring along your favorite problems. A free beer goes to anyone who can make the program crash, get a wrong answer, or draw an incorrect graph without warning that the graph might be incorrect.
For more information see www.HelpWithMath.com