The book is written to share ideas stemming from technology-rich K-12 mathematics education courses taught by the author to American and Canadian teacher candidates over the past two decades. It includes examples of problems posed by the teacher candidates using computers. These examples are analyzed through the lenses of the theory proposed in the book.Also, the book includes examples of computer-enabled formulation as well as reformulation of rather...