Outils développés par les membres du groupe

A compléter en donnant des éléments de contexte et liens vers les ressources pertinentes (template de présentation d'outil). Les noms en gras correspondent aux membres impliqués dans le groupe computational-teaching.

  • Satoulouse et Panda par Olivier Gasquet, François Schwarzentruber et Martin Strecker
    Comment initier à la logique propositionnelle ?
  • AlgoTouch par Patrice Frison
    Comment passer d'une activité débranchée au programme sur machine?
  • MobiNet par Fabrice Neyret, Sylvain Lefebvre, Eric Ragusi, Samuel Hornus, Franck Hetroy, Joelle Thollot, et bien d'autres.
    Plateforme de programmation/simulation + ateliers (math-physique interactive, initiation à la programmation logicielle) + outil d'exerciciels.