Mathpert: Computer support for learning algebra, trigonometry, and calculus (1992)

by M Beeson
Venue:Logic Programming and Automated Reasoning, Lecture Notes in Artificial Intelligence 624, SpringerVerlag