When evaluators plan site-randomized experiments, they must conduct the appropriate statistical power analyses. These analyses are most likely to be valid when they are based on data from the jurisdictions in which the studies are to be conducted. In this method note, we provide software code, in the form of a SAS macro, for producing statistical…

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…

The Aplusix system has been designed for helping students to learn algebra. Its capacity to tell the students whether their calculations are correct or not, to provide families of exercises of a chosen level, and to give scores after tests allows this system to be used in the regular functioning of the class. Its capacity to record the students'…