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 note, we report on an implementation of discovery-oriented problems in courses on Real Analysis and Differential Equations. We explain a type of task design that gives students the opportunity to conjecture, refute and prove. What is new is that the complexity in our problems is limited and thus the tasks can also be used in homework…

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.)