Experienced Provers' Uses of Contexts While Engaging in Combinatorial Proof of Binomial Identities

Combinatorial proofs of binomial identities involve establishing an identity by arguing that each side enumerates a certain set of outcomes. In this paper, we share results from interviews with experienced provers (mathematicians and upper-division undergraduate mathematics students) and examine one particular aspect of combinatorial proof, namely the kinds of contexts that experienced provers used to establish combinatorial proofs of binomial identities. Our findings show that overall, our participants used a variety of contexts in their work; we also demonstrate ways in which previous experiences influenced the contexts they chose, and we offer some instances in which features of a context supported their combinatorial proof production. We offer some theoretical implications of our work, and we conclude with a discussion of limitations and avenues for future work.