An algorithm for automatic checking of exercises in a dynamic geometry system: iGeom

Computers and Education

Volumn 51, Issue 3, 2008, Pages 1283-1303

  Isotani, Seiji ^a   Brandão, Leônidas de Oliveira ^b  

^a OSAKA UNIVERSITY   (Japan)

^b UNIVERSITY OF SÃO PAULO   (Brazil)

Author keywords

Automatically checking exercises; Distance education; Dynamic geometry; Geometry; iGeom

Indexed keywords

E-LEARNING; EDUCATION; GEOMETRY; INTERNET; MULTIMEDIA SYSTEMS; SCHOOL BUILDINGS; STUDENTS;

AUTOMATICALLY CHECKING EXERCISES; CORRECT SOLUTION; DISTANCE EDUCATION; DYNAMIC GEOMETRY; E-LEARNING ENVIRONMENTS; GEOMETRIC CONSTRUCTIONS; GEOMETRIC OBJECTS; IGEOM; LEARNING MANAGEMENT SYSTEMS; NON-TRIVIAL; REAL TIME; STUDENT MOTIVATION; TRACK RECORDS;

SOLUTIONS;

EID: 48549095545     PISSN: 03601315     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.compedu.2007.12.004     Document Type: Article

References (35)

1. Aleven V., Koedinger K.R., Sinclair H.C., and Snyder J. Combatting shallow learning in a tutor for geometry problem solving. Proceedings of the International Conference on Intelligent Tutoring Systems. Lecture Notes in Computer Science Vol. 1452 (1998), Springer, Berlin 364-373
2. Anderson J. Rules of the Mind. Hillsdale (1993), Lawrence Erlbaum Associates, New Jersey
3. Botana F., and Valcarce J.L. A dynamic-symbolic interface for geometric theorem discovery. Computer and Education 49 2 (2002) 27-34
4. Brandão, L. O., & Isotani, S. (2003). A tool for teaching of dynamic geometry in the Internet: iGeom. Proceedings of the Brazilian Computer Society Congress, 1476-1487.
5. Brandão L.O., Isotani S., and Moura J.G. A Plug-in based adaptive System: SAAW. Proceedings of the International Conference on Intelligent Tutoring Systems. Lecture Notes in Computer Science Vol. 3220 (2004), Springer, Berlin 791-793
6. Brandão L.O., Isotani S., and Moura J.G. Immersing dynamic geometry in distance education environments: iGeom e SAW. Brazilian Journal of Informatics in Education 14 1 (2005) 41-49
7. Cabri II Plus (2007). http://www.cabri.com.
8. Chou S.C., Gao X.S., and Zhang J.Z. A deductive database approach to automated geometry theorem proving and discovering. Journal of Automated Reasoning 25 3 (2000) 219-246
9. Fourrey, E. (1924). Procédés Originaux de Instructions Géométriques (pp. 86-89), Paris: Librairie Vuibert.
10. Gallier J.H. Logic for computer science: Foundations of automatic theorem proving (2003), Harper and Row Publishers, New York, NY. http://www.cis.upenn.edu/~jean/gbooks/logic.html Available at
11. Gao X.-S., and Zhu C. Building dynamic mathematical models with geometry expert - iii a geometry deductive database. Proceedings of Asian Technology Conference in Mathematics (1999) 153-162
12. Gelernter H. Realization of a geometry theorem-proving mechanism. Computers and Thought (1963), McGraw-Hill, New York 134-152
13. Gelernter H., Hanson J.R., and Loveland D.W. Empirical explorations of the geometry-theorem proving machine. Computers and Thought (1963), McGraw-Hill, New York
14. Gilmore P.C. An examination of the geometry theorem-proving machine. Artificial Intelligence 1 (1970) 171-187
15. Grothman, R. (1999). C.a.R.: Compass and Rules. http://www.z-u-l.de/doc_en/index.html.
16. Hara N., and Kling R. Students' frustrations with a web-based distance education course. First Monday: Journal on the Internet 4 12 (1999). http://www.firstmonday.dk/issues/issue4_12/index.html Available at
17. Hentea, M., Shea, M. J., & Pennington, L. (2003). A perspective on fulfilling the expectations of distance education. Proceedings of the 4th conference on Information technology curriculum, 160-167.
18. Holland G. Geolog Geometrische Konstruktionen mit dem Computer (1993), Dümmler Verlag. http://www.uni-giessen.de/~gcp3/Geolog/geolog.htm Available at
19. Isotani, S. (2005). Developing tools in iGeom: Using the dynamic geometry in the classroom and distance learning, master dissertation. Institute of Mathematics and Statistics of the University of São Paulo, 2005. Available at http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17092005-063522/.
20. Isotani, S., & Brandão, L. O. (2004). Tool of automatic evaluation in the iGeom. In Proceedings of the Brazilian symposium of informatics in education, 328-337.
21. Jackiw, N. (designer) (1995). The Geometer's Sketchpad. Berkeley, CA: Key Curriculum Press.
22. Kortenkamp, U. (1999). Foundations of dynamic geometry. Ph.D. Thesis No. 13403, Swiss Federal Institute of Technology, Zurich, Switzerland. Available at http://kortenkamps.net/papers/diss.pdf.
23. Litto F.M. Learning with technology in Brazil: A study in contrasts and conquests. Advanced Technology for Learning 3 2 (2006) 62-68
24. Lucena C.J.P., Fuks H., Raposo A., Gerosa M.A., and Pimentel M. Communication, coordination and cooperation in computer-supported learning: The AulaNet experience. Advances in Computer-Supported Learning (2006) 274-297
25. Mizoguchi R., and Bourdeau J. Using ontological engineering to overcome AI-ED problems. International Journal of Artificial Intelligence in Education 11 2 (2000) 107-121
26. Moodle (2007). http://moodle.org/.
27. Moraes, T. G., Santoro, F. M., & Borges, M. R. S. (2005). Tabulae: educational groupware for learning geometry. In IEEE international conference on advanced learning technologies, Kaohsiung, 750-754.
28. Moura, J. G., Brandão L. O., & Brandão, A. A. F. (2007). A web-based learning management system with automatic assessment resources. In Proceedings of ASEE/IEEE Frontiers in education conference, Session F2D, 1-6.
29. Oldknow, A. (1997). Dynamic geometry software - a powerful tool for teaching mathematics, not just geometry. In Proceedings of international conference on technology in mathematics teaching. Available at http://citeseer.ist.psu.edu/341832.html.
30. Raggett, D., Hors, A. L., & Jacobs, I. (1999). HTML 4.01 Specification. Available at http://www.w3.org/TR/REC-html40/.
31. Ruthven, K., Hennessy, S., & Deaney, R. (in press). Constructions of dynamic geometry: A study of the interpretative flexibility of educational software in classroom practice. Computers and Education http://dx.doi.org/10.1016/j.compedu.2007.05.013.
32. Santos E.T., and Sola J.I.R. A proposal for an on-line library of descriptive geometry problems. Journal for Geometry and Graphics 5 1 (2001) 93-100
33. Schwartz J.T. Probabilistic algorithms for verification of polynomial identities. Journal of the ACM 27 4 (1980) 701-717
34. Sinclair M.P. Peer interactions in a computer lab: Reflections on results of a case study involving web-based dynamic geometry sketches. Journal of Mathematical Behavior 24 1 (2005) 89-107
35. Yin R.K. Case study research, design and methods. 3rd ed. (2002), Sage Publications, Newbury Park