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}}
Downloads: 0