@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}}

{"_id":"BaYxprKwTyzjiFEHF","authorIDs":["TqZdHatzyaM88iEPt"],"author_short":["Beeson, M."],"bibbaseid":"beeson-mathpertcomputersupportforlearningalgebratrigonometryandcalculus-1992","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"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":[{"firstnames":["A.~"],"propositions":[],"lastnames":["Voronkov"],"suffixes":[]}],"keywords":"MathXpert, Symbolic computation, Education","pages":"454-457","series":"Lecture Notes in Artificial Intelligence","title":"Mathpert: Computer support for learning algebra, trigonometry, and calculus","volume":"624","year":"1992","bibtex":"@inproceedings{beeson1992b,\n\tauthor = {Michael Beeson},\n\tbooktitle = {Logic Programming and Automated Reasoning},\n\tdate-added = {2014-11-13 23:52:44 +0000},\n\tdate-modified = {2014-11-14 21:59:02 +0000},\n\teditor = {A.~ Voronkov},\n\tkeywords = {MathXpert, Symbolic computation, Education},\n\tpages = {454-457},\n\tseries = {Lecture Notes in Artificial Intelligence},\n\ttitle = {{M}athpert: Computer support for learning algebra, trigonometry, and calculus},\n\tvolume = {624},\n\tyear = {1992}}\n\n","author_short":["Beeson, M."],"editor_short":["Voronkov, A."],"key":"beeson1992b","id":"beeson1992b","bibbaseid":"beeson-mathpertcomputersupportforlearningalgebratrigonometryandcalculus-1992","role":"author","urls":{},"keyword":["MathXpert","Symbolic computation","Education"],"metadata":{"authorlinks":{"beeson, m":"http://michaelbeeson.com/"}}},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","creationDate":"2014-11-14T17:58:49.997Z","downloads":0,"keywords":["mathxpert","symbolic computation","education"],"search_terms":["mathpert","computer","support","learning","algebra","trigonometry","calculus","beeson"],"title":"Mathpert: Computer support for learning algebra, trigonometry, and calculus","year":1992,"dataSources":["v9esbf6gQ8h64d3NA"]}