Abstract
A variety of problems in mathematical calculus can be solved by recursively applying a finite number of rules. Often, a generic solving strategy can be extracted and an interactive exercise system that emulates a tutor can be implemented.
In this paper we show how software developed by us can be used to realize this interactivity. In particular, an implementation of a generic exercise for computing the derivative of elementary functions is presented.
Work carried out within the LeActiveMath project.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bronstein, M.: Symbolic Integration I. Transcendental Functions. Springer, Heidelberg (1997)
LeActiveMath, http://www.leactivemath.org
LeActiveMath exercises, http://www.riaca.win.tue.nl:8080/leam-exercises
The J2EE Trademarked 1.4 Tutorial, http://java.sun.com/j2ee/1.4/docs/tutorial/doc/index.html
MapleTA, http://www.maplesoft.com/products/mapleta/index.aspx
Cohen, A.M., Cuypers, H., Reinaldo Barreiro, E.: MathDox: Mathematical Documents on the Web, Contribution to OMDoc book, http://www.win.tue.nl/~hansc/mathdox3.pdf
Metric, Imperial College London, http://metric.ma.imperial.ac.uk/new/html/index.html
Monet (Mathematics on net), http://monet.nag.co.uk/cocoon/monet/index.html
Joel Moses, Symbolic integration: the stormy decade, http://portal.acm.org/citation.cfm?id=362651
OpenMath, http://www.openmath.org/cocoon/openmath/index.html
Stack (System for Teaching and Assessment using a Computer algebra Kernel), http://eee595.bham.ac.uk/~stack/index.html
webSolutions Detailed and Dynamic Mathematical Solutions, http://www.webmath.ch/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cohen, A.M., Cuypers, H., Jibetean, D., Spanbroek, M. (2006). Interactive Learning and Mathematical Calculus. In: Kohlhase, M. (eds) Mathematical Knowledge Management. MKM 2005. Lecture Notes in Computer Science(), vol 3863. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11618027_22
Download citation
DOI: https://doi.org/10.1007/11618027_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-31430-1
Online ISBN: 978-3-540-31431-8
eBook Packages: Computer ScienceComputer Science (R0)