Sommaire du Fascicule no. 4

Groupe de travail de calcul formel

Liste complète des exposés

Sur le calcul des racines des polynômes
p. 1-14
La règle de Newton et les théorèmes de Sylvester
p. 15-45
Spécialisation de la suite de Sturm et sous-résultants
p. 47-101
Sur la complexité du principe de Tarski-Seidenberg
p. 103-120
Une inégalité de Lojasiewicz effective
p. 121-131
An Introduction to the Tangent Cone Algorithm
p. 133-171
La Queste del Saint GR a (AL): a Computational Approach to Local Algebra
p. 173-201
Lambda-Upsilon-Omega : an Assistant Algorithms Analyzer
p. 203-216
Enlacements et tresses fermées Traitement algorithmique
p. 217-238
Théorie des nœuds et calcul formel
p. 239-260

Sommaire du Fascicule no. S6

Vème école d'été de didactique des mathématiques et de l'informatique

Liste complète des exposés

L'enseignement de la géométrie en tant que terrain d'exploration de phénomènes didactiques
p. 9-11
À la recherche de phénomènes didactiques dans l'enseignement de la géométrie
p. 12-16
Méthodes pour la conception d'un apprentissage du sens des graphismes techniques
p. 17-20
Le contrat didactique comme outil d'analyse des phases de dévolution et de bilan
p. 21-26
Les recherches actuelles sur l'apprentissage de la démonstration et les phénomènes de validation en France
p. 27-30
Rationalité scientifique et rationalité quotidienne face au problème de la preuve en mathématiques
p. 31-35
Initialisation dans la classe de mathématiques de la distinction entre différents types de rationalité
p. 36-38
Problématiques de recherche sur l'apprentissage de la démonstration et les phénomènes de validation
p. 39-42
La validation en programmation : à propos de conceptions des étudiants
p. 43-46
La théorie des champs conceptuels
p. 47-50
Situations évoquées, situations jouées et structures mathématiques
p. 51-57
Le champ conceptuel, outil d'analyse pour l'introduction de l'algèbre
p. 58-63
Les rapports entre langage et pensée dans le processus de résolution de problème
p. 64-67
Influence de l'informatique sur le savoir enseigné en mathématiques
p. 68-71
Influence de l'informatique sur le savoir enseigné en mathématiques : le cas des équations différentielles
p. 72-75
Spécificités de Cabri-géomètre pour les problèmes de constructions en géométrie
p. 76-79
Le micro-ordinateur, outil de révélation et d'analyse du raisonnement déductif de l'élève
p. 80-84
Registres mis en jeu par la notion de fonction
p. 85-86
Didactique de l'informatique et acquisition de la programmation
p. 87-93
Le contrat didactique et le concept de milieu
p. 95-101
La dévolution du raisonnement logique, problème d'ingénierie. Un exemple de rupture de contrat
p. 102-105
La mémoire du milieu didactique
p. 106-111
Analyse d'un contrat didactique
p. 112-115
Forum des problèmes
p. 116-119
Approches cliniques, contre-transfert et analyse didactique
p. 120-123
Ingénierie didactique
p. 124-128
L'ingénierie didactique comme outil de formation en didactique
p. 129-130
Ingénierie didactique d'un point de vue méthodologique : étude d'une recherche sur l'enseignement de l'algèbre linéaire
p. 131-139
Ingénierie didactique du point de vue des genèses artificielles
p. 140-144