This is the second in a two-part series. Part one can be found here. The debate over what early math should look like and what should be included in the Common Core State Standards for math is one of ...

We present a method and an associated system, called MathCheck, that embeds the functionality of a computer algebra system (CAS) within the inner loop of a conflict-driven clause-learning SAT solver.

Abstract: This chapter contains sections titled: Introduction, Tile Patterns, Strip Ornaments In Logo, The Seventeen Plane Symmetry Groups, The Group p1, The Group p4, The Group cm, The Group p4g, The ...