nouvelle page (2007) : http://www.noe-kaleidoscope.org/people/DenisB/

Denis Bouhineau
Maître de Conférences en informatique Adresse postale Laboratoire Leibniz 46 Avenue Félix Viallet 38031 GRENOBLE Cedex FRANCE Tel (fr:0/int:33) 4 76 57 47 75 Fax laboratoire (fr:0/int:33) 4 76 57 50 57 Envoyer un message Denis.Bouhineau@imag.fr

---

Important, nouvelle page (2007) : http://www.noe-kaleidoscope.org/people/DenisB/

Axes de recherche

• Définition et réalisation d'Environnements Informatisés d'Apprentissage Humain (EIAH)
• Projet APLUSIX : réalisation d'un EIAH pour l'algèbre
  

Publications (sélection)

• Denis Bouhineau, Jean-François. Nicaud, Thomas Huguet, The Aplusix-Editor, VISIT-ME-2002, Vienna Int. Symp. on Integrating Technology into Mathematics Education.  Juillet 2002.
• Denis Bouhineau, Jean-François. Nicaud, Thomas Huguet, Towards Educational Computer Algebra Systems, ITS'2002.  Juin 2002.
• Denis Bouhineau, Jean-Michel Gélis et Jean-François Nicaud. Syntax and Semantics in Algebra, Proceedings of the 12th ICMI Study Conference: The Future of the Teaching and the Learning of Algebra. p. 475-486. University of Melbourne. ISBN 0-9579673-0-6. Dec 2001.
• Denis Bouhineau, Jean-François Nicaud, Xavier Pavard et Emmanuel Sander. Un micromonde pour aider les élèves à apprendre l'algèbre, sixièmes journées francophones Environnements Interactifs d'Apprentissage avec Ordinateur EAIO’2001, 2001.
• Denis Bouhineau et Jean-François Nicaud. Implementation of the algebraic layer of the new APLUSIX with rewriting rules, Workshop associé à ITS’2000 "Learning algebra with the computer", Université du Québec à Montréal, Juillet 2000.
• Denis Bouhineau, Laurent Trilling, and Jacques Cohen. An application of clp: Checking the correctness of theorems in geometry. Constraints, An International Journal. Editor-in-chief: Eugene C. Freuder, 4(4), ISSN 1383-7133, December 1999. Special issue on Concepts and Topics in Constraint Programming Languages, Guest Editor: Jacques Cohen.
• Liste complète
   

Enseignements

• L2 : Algorithmique, Architecture Logicielle et Materielle
• L3 : Architecture Logicielle et Materielle, Programmation Logique avec Contraintes, Système
  
• M2 : Projet Applicatif
  

• en vrac ...
   

Autres

• Réalisations informatiques, petites ou grosses, en Delphi, ProLog, JavaScript, Java, Python, C.
  
• Evaluations des enseignements (faits dans le cadre de la commission UJF du même nom)
  
• Autres pages professionnelles : kaleidsocope, bureau-virtuel rhones-alpes.
  
• Avant, sauvegarde de mon site de travail à Nantes
• Pages personnelles (2 sites à trouver)