Observation du mathematicien: Aide a l'enseignement et a la Demonstration Automatique de Theoremes |
| |
Authors: | Dominique Pastre |
| |
Abstract: | Quelques mathématiciens ont été observés en train de résoudre des problèmes. Leurs protocoles sont décrits et analysés dans le but d'en dégager des idées susceptibles d'améliorer l'enseignement d'une part, de faire progresser la Démonstration Automatique de Théorèmes d'autre part. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|