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

Denis Bouhineau
Liste de publications

---

• Alain Bronner, Thomas Huguet, Jean-François Nicaud et Denis Bouhineau. Usages didactiques du logiciel APLUSIX pour l'enseignement de l'algèbre. Intégration des Technologies dans l'Enseignement des Mathématiques (ITEM), IUFM - Reims, 20-22 juin 2003. (isbn à venir)
  
• Denis Bouhineau, Jean-François Nicaud,Hamid Chaachoua, Thomas Huguet et Alain Bronner. A computer program for the learning of algebra: description and first experiment. Eleventh International PEG Conference, St. Petersburg, Russia, June 2003 (isbn à venir)
• Denis Bouhineau, Alain Bronner, Hamid Chaachoua, Thomas Huguet. Analyse didactique de protocoles obtenus dans un EIAH en algébre. EIAH2003 Environnements Informatiques pour l'Apprentissage Humain, Strasbourg, Ed. Paris : INRP.  ISBN 2-7342-0911-X.,  avril 2003.
• Denis Bouhineau, Jean-François. Nicaud, Thomas Huguet, The Aplusix-Editor,  VISIT-ME-2002, Vienna Int. Symp. on Integrating Technology into Mathematics Education.  ISBN 3-901769-49-8, Juillet 2002.
• Denis Bouhineau, Jean-François. Nicaud, Thomas Huguet, Towards Educational Computer Algebra Systems,  ITS'2002.  LNCS 2363. ISBN 3-540-43750-9, Juin 2002.
• Denis Bouhineau, Jean-François. Nicaud, Xavier Pavard, Emmanuel Sander. A Microworld for Helping Students to Learn Algebra. ICTMT'5, the Fifth International Conference on Technology in Mathematics Teaching, University of Klagenfurt, Schriftenreihe Didaktik der Mathematik v. 25. öbv&hpt, ISBN 3-209-03847-3 Vienna 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. Edix: A Software for Editing Algebraic Expressions. Proceedings of ACTMT2001, the Sixth Asian Technology Conference in Mathematics. University of Melbourne. 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. Implantation de la couche algébrique à base de règles de réécriture dans le nouvel APLUSIX, Journées apprentissage et calcul symbolique, Institut National de Recherche Pédagogique, isbn : 2-7342-0840-7, Juin 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.
• Jean-François Nicaud, Denis Bouhineau, Christian Varlet, and Anh Nguyen-Xuan. Towards a product for teaching formal algebra. In S. Lajoie et M. Vivet, editor, Proceedings of Artificial Intelligence in Education, pages 207-214. IOS Press, ISBN 90-5199-452-4, 1999.
• Denis Bouhineau. Construction automatique de figures géométriques & Programmation logique avec contraintes, Thèse de l'Université Joseph Fourier de Grenoble, Juin 1997.
• Denis Bouhineau. Solving Geometrical Constraint Systems Using CLP Based on Linear Constraint Solver Third international Conference on Artificial Intelligence, and Symbolic Mathematical Computation, AISMC-3, Steyr-Autriche, ISBN 3-540-61732-9, Sept 1996. LNCS 1138.
• Denis Bouhineau et Stéphane Channac. La programmation logique par contraintes pour l'aide à l'enseignant. Third International Conference on Intelligent Tutoring Systems, Montréal-Canada, ISSN 0302-9743, Juin 1996. LNCS 1086.
• Denis Bouhineau. Verification of non-linear overconstraints in Euclidean geometry with linear programming OverConstraints Systems, ISSN 0302-9743. Cassis 1995.
• Denis Bouhineau. Vers une approche declarative pour les logiciels de dessins geometriques 4ieme journees EIAO de l'ENS Cachan, ISBN 2-212-08849-3, 1995.