On the formalization of a number theory problem by pupils

Research output: Contribution to conferenceOther

Original languageEnglish
Pages21-23
Publication statusPublished - 2007

Cite this