Scheduled System Maintenance:
Some services will be unavailable Sunday, March 29th through Monday, March 30th. We apologize for the inconvenience.
By Topic

Solving mathematical exercises that involve symbolic computations

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
2 Author(s)
Diez, F. ; Dept. of Comput. Eng., Univ. Autonoma de Madrid, Spain ; Moriyon, R.

Using Mathematica, we recently developed MathEdu, an authoring tool based on a programming-by-demonstration paradigm. Students can use it in two ways: as a tutor that shows them how to solve specific problems corresponding to previously defined patterns, or to solve specific problems interactively with the tool while it controls the resolution process. MathEdu allows a degree of interactivity that no other tool with a similar purpose has achieved. We illustrate this last claim by briefly reviewing the most advanced tutoring systems currently representing mathematical concepts by means of symbolic information. We also describe the three core modules in MathEdu: MathSolver, MathDesigner, and MathTrainer.

Published in:

Computing in Science & Engineering  (Volume:6 ,  Issue: 1 )