Programme

(dernière mise à jour : 13 juin 2000)

Jeudi 15 juin

 9h  Accueil
10h Ouverture
Gilles Aldon, Georges-Louis Baron, Annie Morin, Jean-Baptiste Lagrange, Dominique Lenne
10h 30 Conférence
Luc Trouche, Equipe ERES, Montpellier
Description, prescription, à propos de limites de fonction
11h 30 Communications
· Paul Drijvers
La conception du paramètre dans un environnement informatique de calcul formel
· Jean-Michel Gélis, Dominique Lenne
Conception d'environnements d'apprentissage utilisant le calcul symbolique : l'exemple de LIMITES
12h30 Repas
14h Conférence
Eric Bruillard, IUFM de Créteil
Problèmes généraux de conception et d'intégration dans l'éducation des instruments de calcul formel
15h  Communications
· Brigitte Grugeon, Elisabeth Delozanne
Vers la définition d'une problématique de l'intégration des TIC dans l'enseignement des mathématiques
· Ruhal Floris
Calculatrice symbolique : le rôle du contrat didactique
16h  Pause
16h 15  Communications
· Elisabeth Delozanne, Pierre Jacoboni
Élise: un logiciel pour s'entraîner à une méthode de calcul de primitives
· Jean-François Nicaud
Créer des modèles pour l’enseignement de l’algèbre et construire des EIAH
17h 15  Ateliers (en parallèle)
Jean Bacle, Pierre Grandrie
Utilisation de Derive en Section Tecnologique Industrielle
Jean Leblanc
Une approche expérimentale en classe : de la diagonalisation aux probabilités
Lise Heilbronner,  Dominique Hilt, Jean-baptiste Lagrange, Bernard  Le Feuvre, Dominique  Py, Xavier Meyrier, Odile Simon
Conception et expérimentation d'un environnement pour l'étude des fonctions avec le calcul formel
18h 15  Ateliers (en parallèle)
Monique Benzérara, André Guillemot
Deux ans en TS avec la TI89 
Michel Enjalbert, Hervé Hamon
Conception et expérimentation de LIMITES, un environnement utilisant le calcul symbolique
Lionel Darie, Jacques Martinie 
Programmation symbolique à l'aide du langage  de Mathematica 
19h 15 Fin

 
Dîner avec animation par le Cercle Celtique de Rennes (Fest Noz)

Vendredi 16 juin

8h 30 Conférence
Marie-Françoise Roy, Institut de Recherche Mathématique de Rennes
Inégalités polynomiales et calcul formel
9h 30 Communications courtes (2 sessions en parallèle)
Session A Session B
Stéphanie Jean
Manipulation des expressions algébriques en environnement informatisé 
Abdenacer Makhlouf
Enseigner à l’aide du calcul formel en Licence et Maîtrise de Mathématiques
Denis Bouhineau
Implantation de la couche algébrique à base de règles de réécritures dans le nouvel APLUSIX
Bernard Parisse
Possibilités et limites du calcul formel sur calculatrices
Krystyna Dalek
Une expérience d'introduction de calculatrices graphiques dans l'enseignement en Pologne
Michel Mizony
Sur l'enseignement de l'analyse, avec Maple, aux étudiants de Maths
10h 30 Pause
10h 45 Ateliers
Jean-François Nicaud, Denis Bouhineau, Xavier Pavard
Ebauches de modèles pour un EIAH en algèbre
Jean-Alain Roddier, Claudine Voldoire
Limites et calcul formel 
Renée De Graeve
Calcul formel et Mathématiques avec la nouvelle calculatrice HP graphique de la classe de troisième à la terminale
11h 45 Ateliers
Maryse Nogues, Christian Faure
Calculatrices symboliques : interface et apprentissage
Jean-Pierre Douris, Paul Perret
Objets mathématiques et démonstrations formelles
 Michel Mizony
Sur l'enseignement de l'analyse, avec Maple, aux étudiants de Maths
12h 45 Repas
14h 15 Conférence
Phillip Kent, Mathematics Education Technology Research (Londres) 
Expressivité et Abstraction dans les environnements de calcul symbolique
15h 15 Communication
· Jean-Baptiste Lagrange, Dominique Py, Lise Heilbronner, Dominique Hilt, Bernard Le Feuvre, Xavier Meyrier, Odile Simon
Aide logicielle à la construction de démarches d’exploration et de justification du comportement des fonctions réelles
15h 45 Pause
16h 15 Table ronde
animée par Dominique Guin (Equipe ERES, Montpellier)
avec Michèle Artigue, Philippe Clarou, Anne Hirlimann, Monique Baron, Marie-Francoise Roy.
17h 45 Fin des journées