Mathpert: Computer support for learning algebra, trigonometry, and calculus. Beeson, M. In Logic Programming and Automated Reasoning, volume 624, of Lecture Notes in Artificial Intelligence, pages 454-457, 1992. bibtex @inproceedings{beeson1992b,
author = {Michael Beeson},
booktitle = {Logic Programming and Automated Reasoning},
date-added = {2014-11-13 23:52:44 +0000},
date-modified = {2014-11-14 21:59:02 +0000},
editor = {A.~ Voronkov},
keywords = {MathXpert, Symbolic computation, Education},
pages = {454-457},
series = {Lecture Notes in Artificial Intelligence},
title = {{M}athpert: Computer support for learning algebra, trigonometry, and calculus},
volume = {624},
year = {1992}}