Part of the Lecture Notes in Computer Science book series (LNCS, volume 624)
Mathpert: Computer support for learning algebra, trig, and calculus
Unable to display preview. Download preview PDF.
- Beeson, M., Logic and computation in Mathpert: an expert system for learning mathematics, in: Kaltofen, E., and Watt, S. M., Computers and Mathematics, pp. 202–214, Springer-Verlag (1989).Google Scholar
- Beeson, M., Some applications of Gentzen's proof theory to automated deduction, in P. Schroeder-Heister (ed.), Extensions of Logic Programming, Springer LNCS 475, pp. 101–156, Springer-Verlag (1991).Google Scholar
© Springer-Verlag Berlin Heidelberg 1992