Advertisement

Mathpert: Computer support for learning algebra, trig, and calculus

  • M. Beeson
System Descriptions
Part of the Lecture Notes in Computer Science book series (LNCS, volume 624)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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
  2. Beeson, M. Mathpert: a computerized environment for learning algebra, trig, and calculus, J. Artificial Intelligence and Education 2 (1990), pp. 1–11.CrossRefGoogle Scholar
  3. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • M. Beeson

There are no affiliations available

Personalised recommendations