Geometry theorem proving involves skills that are difficult to learn. Instead of working with abstract and complicated representations, students might start with concrete, graphical representations. A proof tree is a graphical representation of a formal proof, with each node representing a proposition or given conditions. A computer-assisted…

This literature review is intended to provide practical information; lessons learned and promising practices which have been drawn from recent Kindergarten to Grade 12 (K-12) one-to-one mobile computing research reports and related articles. The information is presented in the form of answers to the following questions: (1) How is one-to-one…