Proof and argumentation are essential components of learning mathematics, and technology can mediate students' abilities to learn. This systematic literature review synthesizes empirical literature which examines technology as a support for proof and argumentation across all content domains. The themes of this review are revealed through analyzing…

Technology and, in particular, computer algebra systems, allows us to change both the way we teach mathematics and the mathematical curriculum. Curiously enough, unlike what happens with linear system solving, algebraic system solving is not widely known. The aim of this paper is to show that, although the theory lying behind the "exact…