Understanding and Developing Proofs with the Aid of Technology
This paper continues the work entitled On Proof Techniques and Technology [see paper for reference], which discusses strategies on how technology may be used to explore and understand mathematical ideas, and develop different kinds of proofs.
De Las Penas, M. L. A. N., & Bautista, D. M. Y. (2008). Understanding and developing proofs with the aid of technology. Electronic Journal of Mathematics and Technology, 2(3), 261.