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,
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,
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,
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,
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,
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,
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,
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 ,
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,
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,
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,
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,
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,
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,''
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,
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.