SELECTED PUBLICATIONS

 
Allen R, Broquin P, Channac S, Trilling L, “Issues in Declarative Dynamic Geometry
     System Design and Implementation, 5th ERCIM Working Group on Constraints,
     Padua, Italy, June 2000.

Allen R, Channac S, Trilling L, “The Role of Requirements, Specifications, and
     Implementation in Constructing Dynamic Figures,” Journal of Computers

    Mathematics and Science Teaching, AACE, Vol. 19, 2000, pp179-197.   

Allen R, Channac S, Trilling L, “GDRev: A Declarative Dynamic Learning
     Environment," Proceedings of 7th International Conference on Computers in Education

     99, Chiba, Japan, Nov 4-7, 1999, IOS Press, Amsterdam.

Allen R, Channac S, Trilling L, “AI Issues in Declarative Dynamic Geometry System
     Design,” International Journal of Artificial Intelligence in Education, (submitted).

Allen R, Trilling L, “Methodology for Constructing Dynamic Figures,” Proceedings of
     The National Conference on Inquiry-Based Geometry Throughout the Secondary
     Curriculum
, St. Olaf College, Northfield, MN, June 25-28, 1997.

Allen R, Wallace M, Cederberg J, Pearson D, “Geometry and Visualization for Pre-
     Service and In-service Teachers,” Proceedings of the National Conference on Inquiry-

     Based Geometry Throughout the Secondary Curriculum, St. Olaf College, Northfield,
     MN, June 25-28, 1997.

Allen R, Trilling L, "Dynamic Geometry and Declarative Geometric Programming,"
     Geometry Turned On:  Dynamic Software in Learning, Teaching, and Research, J King
     and D Schattschneider editors, Mathematical Association of America, 1997.

Allen R, Wallace M, Cederberg J, Pearson D, "Teachers Empowering Teachers:
     Vertically-Integrated, Inquiry-Based Geometry in School Classrooms," Mathematics

     Teacher, NCTM, v.90, no.3, pp. 254-255, 1996.

Allen R, Trilling L, "Logic Programming:  A Tool for Educational Systems
     Development," Proceedings of WCCE 95, Birmingham, England, July 23-28, 1995.

Allen R, Wallace M, Cederberg J, "Preparing Teachers to Use Geometry Exploration
     Software," Proceedings of the Seventh International Congress on Mathematics

     Education, 1995.

Allen R, Desmoulins D, Trilling L, "On Cross Fertilization betweeen Logic Programming
     Educational Systems," Proceedings of the Workshop on Logic Programming and

     Education, International Conference on Logic Programming '94, S. Margherita Ligure,
     Italy, June 13-18, 1994.

Allen R, Cederberg J, Wallace M, "Teachers Empowering Teachers:  A Professional
     Enhancement Model,"  1994 NCTM Yearbook:  Professional Development for

     Teachers of Mathematics, National Council of Teachers of Mathematics, Reston, VA,
     1994.

Allen R, Idt J, Trilling L, "Constraint Based Automatic Construction and Manipulation of
     Geometric Figures," Proceedings of 13th International Joint Conference on Artificial

     Intelligence, Chambéry, August 28-September 3, 1993,  vol. 1, pp. 453-458.

Allen R, Cederberg J, Wallace M, "L'intégration de l'ordinateur dans l'enseignement de la
     géométrie en tant que projet de formation continue," Bulletin d'Association

     d'Enseignement Public et Informatique , Paris, no. 70, June 1993, pp. 197-208.

Allen, R, Bouhineau, D, Trilling, L, "Construction and manipulation of geometric figures,"
     Research report, Workshop on Constraint Logic Programming, CRIM, University of
     Marseille-Luminy, March 17-19, 1993.

Allen R, Desmoulins C, Trilling L, "Tuteurs intelligents et intelligence artificielle:
     problèmes posés en construction de figures géométriques," Intelligent Tutoring
     Systems, Lecture Notes in Computer Science 608, Springer-Verlag, Heidelberg, 1992,
     pp. 325-334.

Allen R, Cederberg J, Wallace M, “Computers in Geometry Classrooms:  A Model for
     Teacher Training,” Proceedings of the Fourth Annual International Conference on
     Techology in Collegiate Mathematics, Portland State U, November 15-17, 1991,
     Addison-Wesley Publishing, pp. 433-437.

Allen R, Cederberg J, Wallace M, "L'Intégration de l'ordinateur dans l'enseignement de la
     géométrie par le développement et l'utilisation des scénarios," Actes des Deuxiemes

     Journees EIAO de Cachan, January 1991, LAFORIA, Paris, pp.33-44.

Allen R, Nicolas P, Trilling L, "Figure Correctness  in an Expert System for Teaching
     Geometry," Proceedings of the Eighth Biennial Conference of the Canadian  Society

     For Computational Studies of Intelligence, Ottawa, May 23-25, 1990, pp.154-160.

Allen R, Boisnard D, Giorgiutti I, Gras R, Nicolas P, Trilling L, "Computer Aids for
     Organizing Thought Processes," Proceedings of Theme Group 2, Sixth International
     Congress on Mathematical Education, Ed Dubinsky, ed., July 27-August 3, 1988,
     Elsevier, 1990.

Allen R, Boisnard D, Gras R, Nicolas P, Trilling L, "Gestion Informatisée de Problèmes
     Et de Démarches Liées à leur Résolution," entry in La Nouvelle Encyclopédie

     Didérot, Fondation Didérot, Paris, 1989.

Allen R, Nicolas P, Trilling L, "Spécification Logique de Figures pour l'Aide à
     l'Enseignement de la Géométrie," Proceedings of COGNITIVA 87, Paris, May 18-22,
     1987, pp. 26-32.

Allen R, Gras R, "Informatics, Teaching, and Learning," Proceedings of
     Discussion Group: New Insights into Mathematics Education with the Microcomputer,
     Tenth International Congress on the Psychology of Mathematics Education, London,
     1986, pp. 3-9.

Allen R, Nicolas P, Trilling L, "Learning Geometry with the Assistance of Logic
     Programming," Supporting Papers of the International Commission on Mathematical

     Instruction, Symposium on "The Influence of Computers and Informatics,'' Strasbourg,
     France, March 25-30, 1985, pp. 131-137.

Allen R, "Equivariant embeddings of finite abelian group actions in Euclidean space,"
     Fundamenta Mathematicae, vol. 110, 1980, pp. 25-33.

Allen R, "Equivariant embeddings of abelain group actions," Proceedings of the
     International Conference on Geometric Topology, PWN-Polish Scientific Publishers,
     Warsaw, 1980, pp. 27-30.

Allen R, "Equivariant embeddings of Zp-actions in Euclidean space," Fundamenta
     Mathematicae, vol. 103, 1979, pp. 23-30.

Allen R, "Equivariant maps of Zp-actions into polyhedra," Fundamenta Mathematicae,
     vol. 103, 1979, pp. 9-22.

 
Return to Vita Links

Return to Home Page

Disclaimer