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

被引:21
|
作者
Isotani, Seiji [1 ]
Brandao, Leonidas de Oliveira [2 ]
机构
[1] Osaka Univ, Dept Knowlcdge Syst, Inst Sci & Ind Res, Osaka 5670047, Japan
[2] Univ Sao Paulo, Inst Math & Stat, BR-05508090 Sao Paulo, Brazil
关键词
dynamic geometry; automatically checking exercises; distance education; geometry; iGeom;
D O I
10.1016/j.compedu.2007.12.004
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
One of the key issues in e-learning environments is the possibility of creating and evaluating exercises. However, the lack of tools supporting the authoring and automatic checking of exercises for specifics topics (e.g., geometry) drastically reduces advantages in the use of e-learning environments on a larger scale, as usually happens in Brazil. This paper describes an algorithm, and a tool based on it, designed for the authoring and automatic checking of geometry exercises. The algorithm dynamically compares the distances between the geometric objects of the student's solution and the template's solution, provided by the author of the exercise. Each solution is a geometric construction which is considered a function receiving geometric objects (input) and returning other geometric objects (output). Thus, for a given problem, if we know one function (construction) that solves the problem, we can compare it to any other function to check whether they are equivalent or not. Two functions are equivalent if, and only if, they have the same output when the same input is applied. If the student's solution is equivalent to the template's solution, then we consider the student's solution as a correct solution. Our software utility provides both authoring and checking tools to work directly on the Internet, together with learning management systems. These tools are implemented using the dynamic geometry software, iGeom, which has been used in a geometry course since 2004 and has a successful track record in the classroom. Empowered with these new features, iGeom simplifies teachers' tasks, solves non-trivial problems in student solutions and helps to increase student motivation by providing feedback in real time. (c) 2008 Elsevier Ltd. All rights reserved.
引用
收藏
页码:1283 / 1303
页数:21
相关论文
共 50 条
  • [42] Achievements and Challenges in Automatic Locus and Envelope Animations in Dynamic Geometry
    Zoltán Kovács
    Mathematics in Computer Science, 2019, 13 : 131 - 141
  • [43] An Automated, Dynamic Radiation Oncology Prescription Checking System
    Pashtan, I. M.
    Kosak, T.
    Shin, K. -y.
    Molodowitch, C.
    Killoran, J. H.
    Hancox, C.
    Czerminska, M.
    Bredfeldt, J. S.
    Cail, D. W.
    Kearney, M.
    Tishler, R. B.
    Mak, R. H.
    PRACTICAL RADIATION ONCOLOGY, 2024, 14 (04) : 343 - 352
  • [44] Dynamic model checking for concurrent programs in control system
    Liang, Hao
    Ai, Yunfeng
    Shen, Huairong
    Zhao, Yongchao
    Computer Modelling and New Technologies, 2014, 18 (12): : 275 - 281
  • [45] Elements for a Modular Dynamic Geometry System
    Freixas, M.
    Joan Arinyo, R.
    Soto-Riera, A.
    APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 1816 - 1820
  • [46] A Symbolic Dynamic Geometry System Using the Analytical Geometry Method
    Todd, Philip
    MATHEMATICS IN COMPUTER SCIENCE, 2020, 14 (04) : 693 - 726
  • [47] A Symbolic Dynamic Geometry System Using the Analytical Geometry Method
    Philip Todd
    Mathematics in Computer Science, 2020, 14 : 693 - 726
  • [48] An Educational Support System based on Automatic Impasse Detection in Programming Exercises
    Yamashita, Koichi
    Sugiyama, Takumi
    Kogure, Satoru
    Noguchi, Yasuhiro
    Konishi, Tatsuhiro
    Itoh, Yukihiro
    25TH INTERNATIONAL CONFERENCE ON COMPUTERS IN EDUCATION (ICCE 2017): TECHNOLOGY AND INNOVATION: COMPUTER-BASED EDUCATIONAL SYSTEMS FOR THE 21ST CENTURY, 2017, : 288 - 295
  • [49] Automatic decomposition for sequential equivalence checking of system level and RTL descriptions
    Vasudevan, Shobha
    Viswanath, Vinod
    Abraham, Jacob A.
    Tu, Jiajin
    FOURTH ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2006, : 71 - +
  • [50] An automatic chip character checking system for circuit board quality control
    Wang, ZY
    Li, YJ
    Luo, ZM
    IECON'03: THE 29TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1 - 3, PROCEEDINGS, 2003, : 1767 - 1770