Sylvain BEAUVOIR

3
Documents

Publications

Publications

Deposit thumbnail

Proof, reasoning and logic at the interface between Mathematics and Computer Science : toward a framework for analyzing problem solving

Simon Modeste , Sylvain Beauvoir , Jonathan Chappelon , Viviane Durand-Guerrier , Nicolás León et al.

Eleventh Congress of the European Society for Research in Mathematics Education (CERME11), Utrecht University, Feb 2019, Utrecht, Netherlands. pp.284-291

Communication dans un congrès hal-02398483v1
Deposit thumbnail

ANALYSE DES CONTRÔLES LORS DE LA RÉSOLUTION ALGORITHMIQUE OU MATHÉMATIQUE D'UN PROBLÈME

Beauvoir Sylvain

Espace Mathématiques Francophone 2018, Oct 2018, Genevilliers, France. , Actes du Colloque EMF 2018. Mathématiques en scène des ponts entre les disciplines

Poster de conférence hal-03624013v1