Understanding and Developing Proofs with the Aid of Technology

Document Type

Article

Publication Date

2008

Abstract

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.

Share

COinS