Aide logicielle à la résolution de problèmes avec preuve : des séquences didactiques pour l’enseignement de la démonstration
Résumé Sans entrer dans les débats ouverts sur le statut et la fonction de la démonstration dans l’enseignement des mathématiques, nous présentons ici des séquences