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…

In this contribution, we show the practical use of the computer to visualise simple computational simulations to show phenomena that occur in everyday life, or require an abstract understanding for being unintuitive phenomena. The relationship of the mathematics to different scientific disciplines motivates us to devise different treatments to…

The research relates to undergraduate students' understanding of mathematical concepts that relate to the conceptualisation of the continuous such as the notion of limit. The cognitive difficulties that accompany the learning of these concepts at the different stages of the mathematics education are well reported in the literature. I analyse the…

A perennial problem in computer-aided assessment is that "a right answer", pedagogically speaking, is not the same thing as "a mathematically correct expression", as verified by a computer algebra system, or indeed other techniques such as random evaluation. Paper I in this series considered the difference in cases where there was "the right…

The study of a real function of two real variables can be supported by visualisation using a Computer Algebra System (CAS). One type of constraint of the system is due to the algorithms implemented, yielding continuous approximations of the given function by interpolation. This often masks discontinuities of the given function and can provide very…

This paper discusses experience with alternative assessment strategies for an introductory course in dynamical systems, where the use of computer algebra and calculus is fully integrated into the learning process, so that the standard written examination would not be appropriate. Instead, students' competence was assessed by grading three large…

We report on implementations of online homework systems at two moderately-sized state universities. These implementations were created with the intention of supporting student engagement outside of the classroom by mimicking the attempt-feedback-reattempt sequence of events which often occurs in a teacher's presence. Evidence is presented which…

This study examined students' perceptions of the Tablet PC as an instructional tool for teaching Calculus. A thirteen item survey was developed by the researchers and administered to 103 students in an introductory Calculus course at a large university in the Northeast of the United States. The purpose of this survey was to collect data regarding…

Courses below calculus need to be refocused to emphasise conceptual understanding and realistic applications via mathematical modelling rather than an overarching focus on developing algebraic skills that may be needed for calculus. Without understanding the concepts, students will not be able to transfer the mathematics to new situations or to…

The subject of q-calculus is a rich source of learning activities that address concept formation, exploration, variation, rich training and proof. This paper is a survey of the subject that shows how high school students using a computer algebra system can explore the field and prove some results. (Contains 7 figures.)

In a previous paper, we showed the importance of using low-level commands of a CAS in order to enhance the students' conceptual insight into mathematics. In this paper, we wish to emphasise a different use of a CAS, which makes possible the exploration of new topics, when the necessary theoretical results have still not been acquired, and avoids…