utilisation d’un logiciel d’aide à la démonstration

Il y a 27 résultats avec cette recherche.

2009 Mathématice. N° 14. Articles déjà parus dans MathemaTICE à propos du travail collaboratif.

Auteur : Kuntz Gérard
2001 Produire et lire des textes de démonstration. Premier pas : un outil d’apprentissage et de révélation des erreurs. p. 241-248.

Auteur : Simon André
1990 Ecriture automatique de démonstrations en géométrie.

Auteurs : Guillot Philippe ; Jolivet Luc ; Leperd Jean-Luc ; Moulin Claude