Dynamic Geometry Software (DGS) is a powerful tool which enables students to move geometric objects interactively. Through experimental simulations with DGS, mathematical facts and background mechanisms are accessible to students. However, especially when those facts and mechanisms are complicated, it is not so easy for some students to record and…

This study explored the development of student's conceptual understandings of limit and derivative when utilizing specifically designed computational tools. Fourteen students from a secondary Advanced Placement Calculus AB course learned and explored the limit and derivative concepts from differential calculus using visualization tools in the…

Developing a software environment to enhance 3D geometric proficiency demands the consideration of theoretical views of the learning process. Simultaneously, this effort requires taking into account the range of tools that technology offers, as well as their limitations. In this paper, we report on the design of Virtual Spaces 1.0 software, a…

Mathematical knowledge can be categorized in different ways. One commonly used way is to distinguish between procedural mathematical knowledge and conceptual mathematical knowledge. Procedural knowledge of mathematics refers to formal language, symbols, algorithms, and rules. Conceptual knowledge is essential for meaningful understanding of…

In this paper, I review both mathematics education and CSCL literature and discuss how we can better take advantage of CSCL tools for developing mathematical proof skills. I introduce a model of proof in school mathematics that incorporates both empirical and deductive ways of knowing. I argue that two major forces have given rise to this…