\input zb-basic
\input zb-matheduc
\iteman{ZMATH 2015c.00751}
\itemau{Sangwin, Christopher J.}
\itemti{Inequalities, assessment and computer algebra.}
\itemso{Int. J. Math. Educ. Sci. Technol. 46, No. 1, 76-93 (2015).}
\itemab
Summary: The goal of this paper is to examine single variable real inequalities that arise as tutorial problems and to examine the extent to which current computer algebra systems (CAS) can (1) automatically solve such problems and (2) determine whether students' own answers to such problems are correct. We review how inequalities arise in contemporary curricula. We consider the formal mathematical processes by which such inequalities are solved, and we consider the notation and syntax through which solutions are expressed. We review the extent to which current CAS can accurately solve these inequalities, and the form given to the solutions by the designers of this software. Finally, we discuss the functionality needed to deal with students' answers, i.e. to establish equivalence (or otherwise) of expressions representing unions of intervals. We find that while contemporary CAS accurately solve inequalities there is a wide variety of notation used.
\itemrv{~}
\itemcc{H30 U70}
\itemut{computer algebra; inequalities; reasoning; automatic assessment}
\itemli{doi:10.1080/0020739X.2014.941424}
\end