Mathpert
Logic and computation in MATHPERT: An expert system for learning mathematics. MATHPERT (as in “Math Expert”) is an expert system in mathematics explicitly designed to support the learning of algebra, trigonometry, and first semester calculus. This paper gives an overview of the design of MATHPERT and goes into detail about some connections it has with automated theorem proving. These connections arise at the borderline between logic and computation, which is to be found when computational “operators” have logical side conditions that must be satisfied before they are applicable. The paper also explains how MATHPERT maintains and uses an internal model of its user to produce individually tailored explanations, and how it dynamically generates individualized and helpful error messages by comparing user errors to its own internal solution of the problem.
Keywords for this software
References in zbMATH (referenced in 19 articles , 1 standard article )
Showing results 1 to 19 of 19.
Sorted by year (- Prank, Rein: Analysing the “calculator effect” of different kinds of software for school arithmetic and algebra (2020)
- Carette, Jacques; Farmer, William M.: Towards specifying symbolic computation (2019)
- Sangwin, Christopher J.; Köcher, Nadine: Automation of mathematics examinations (2016) MathEduc
- Prank, Rein: A tool for evaluating solution economy of algebraic transformations (2014)
- Heeren, Bastiaan; Jeuring, Johan: Interleaving strategies (2011)
- Stoutemyer, David R.: Ten commandments for good default expression simplification (2011)
- Bokhove, Christian; Drijvers, Paul: Digital tools for algebra education: criteria and evaluation (2010) MathEduc
- Heeren, Bastiaan; Jeuring, Johan; Gerdes, Alex: Specifying rewrite strategies for interactive exercises (2010)
- Heeren, Bastiaan; Jeuring, Johan: Canonical forms in interactive exercise assistants (2009)
- Trgalova, Jana; Bouhineau, Denis; Nicaud, Jean-François: An analysis of interactive learning environments for arithmetic and algebra through an integrative perspective (2009) MathEduc
- Cantone, Domenico; Cincotti, Gianluca; Gallo, Giovanni: Decision algorithms for fragments of real analysis. I: Continuous functions with strict convexity and concavity predicates (2006)
- Beeson, Michael; Wiedijk, Freek: The meaning of infinity in calculus and computer algebra systems (2005)
- Zimmer, Jürgen; Melis, Erica: Constraint solving for proof planning (2004)
- Beeson, Michael; Wiedijk, Freek: The meaning of infinity in calculus and computer algebra systems (2002)
- Beeson, Michael: Automatic derivation of the irrationality of (e) (2001)
- Windsteiger, Wolfgang: A set theory prover within Theorema (2001)
- Beeson, Michael: Using nonstandard analysis to ensure the correctness of symbolic computations (1995)
- Beeson, Michael J.: Logic and computation in MATHPERT: An expert system for learning mathematics (1989)
- Beeson, M. J. (San Jose State Univ., CA (United States). Dept.of Mathematics and Computer Science): The user model in MATHPERT: an expert system for learning mathematics. Das Usermodell bei MATHPERT. Ein Expertensystem fuer das Mathematiklernen. (1989) MathEduc