Abstract
Mathematical games are problems that involve algorithmic solutions. The solutions require recognition of hidden patterns and capitalization on these patterns. The natural tendency of many problem solvers is to devise algorithms without fully unfolding patterns. Such an approach lacks rigor and may lead to undesired outcomes. This chapter underlines a rigorous approach, of first focusing on the characteristics of a posed game and then developing its algorithmic solution. The solution development “goes” hand-in-hand with the realization of correctness. The approach is based on declarative observations, which capture the “what” of patterns prior to the “how” of game-strategy instructions. We illustrate the approach with colorful mathematical games of different characteristics and underline elements of solution processes, including creativity, problem-solving features, and mathematical notions.