Accéder directement au contenu

Sylvain BEAUVOIR

3
Documents

Publications

Image document

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
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
Image document

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