In this paper we describe two episodes of instructional interaction, in which examples are used in order to help students face their misconceptions. We introduce the notions of pivotal example and ...

This Python project uses Google's OR-Tools CP-SAT solver to explore a mathematical conjecture about equal-sum team combinations. For a given number N, it tries to find a counterexample - a set of N ...