Publication Date
In 2025 | 0 |
Since 2024 | 1 |
Since 2021 (last 5 years) | 2 |
Since 2016 (last 10 years) | 4 |
Since 2006 (last 20 years) | 9 |
Descriptor
Source
International Journal for… | 9 |
Author
Publication Type
Journal Articles | 9 |
Reports - Research | 4 |
Reports - Descriptive | 3 |
Reports - Evaluative | 2 |
Education Level
Higher Education | 4 |
Postsecondary Education | 3 |
Elementary Education | 1 |
Elementary Secondary Education | 1 |
Audience
Location
United Kingdom (London) | 1 |
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Wahid Yunianto; Guillermo Bautista Jr.; Bungkus Dias Prasetyo; Zsolt Lavicza – International Journal for Technology in Mathematics Education, 2024
As computational thinking (CT) is new to teachers, they need support on how CT integration will work. This study examines the use of a hypothetical learning trajectory (HLT) to support teachers in integrating computational thinking into mathematics lessons utilizing GeoGebra. By employing the educational design research (EDR) methodology, the…
Descriptors: Computer Software, Mental Computation, Mathematics Instruction, Educational Technology
Mari, Emilie; Millon Faure, Karine; Assude, Teresa – International Journal for Technology in Mathematics Education, 2022
In this article, we focus on how spatial knowledge can be articulated with the integration of programmable floor robots in the mathematics classroom. We describe the observation grid we conceived to take into account three distinct dimensions: spatial knowledge, robotics and computer programming. Then, we implement this tool to analyse mathematics…
Descriptors: Programming, Robotics, Elementary School Students, Spatial Ability
Solin, Pavel; Roanes-Lozano, Eugenio – International Journal for Technology in Mathematics Education, 2020
Many mathematics educators are not aware of a strong connection that exists between the education of computer programming and mathematics. The reason may be that they have not been exposed to computer programming. This connection is worth exploring, given the current trends of automation and Industry 4.0. Therefore, in this paper we take a closer…
Descriptors: Computer Science Education, Mathematics Education, Programming Languages, Interdisciplinary Approach
Simic, Danijela – International Journal for Technology in Mathematics Education, 2015
Stepwise program refinement techniques can be used to simplify program verification. Programs are better understood since their main properties are clearly stated, and verification of rather complex algorithms is reduced to proving simple statements connecting successive program specifications. Additionally, it is easy to analyse similar…
Descriptors: Mathematics, Computer Science, Computer Science Education, Comparative Analysis
Aguilera-Venegas, Gabriel; Galán-García, José L.; Galán-García, María Á.; Lobillo-Mora, Gema; Martínez-del-Castillo, Javier; Merino-Córdoba, Salvador; Padilla-Domínguez, Yolanda; Rodríguez-Cielos, Pedro; Rodríguez-Cielos, Ricardo – International Journal for Technology in Mathematics Education, 2017
Programming with Computer Algebra Systems (CAS) has become an important tool as a support in Computer lectures in Mathematics subjects aimed at Engineering degrees. In this paper, the authors present their teaching experience within the concept "Line Integration" with the help of two specific CAS: DERIVE and MAXIMA. When introducing the…
Descriptors: Educational Technology, Technology Uses in Education, Programming, Computer Software
Kaneko, Masataka; Yamashita, Satoshi; Kitahara, Kiyoshi; Maeda, Yoshifumi; Nakamura, Yasuyuki; Kortenkamp, Ulrich; Takato, Setsuo – International Journal for Technology in Mathematics Education, 2015
Dynamic Geometry Software (DGS) is a powerful tool which enables students to move geometric objects interactively. Through experimental simulations with DGS, mathematical facts and background mechanisms are accessible to students. However, especially when those facts and mechanisms are complicated, it is not so easy for some students to record and…
Descriptors: Computer Software, Geometry, Technology Uses in Education, Educational Technology
Jerome, Lawrence – International Journal for Technology in Mathematics Education, 2012
Discrete Mathematics instructors and students have long been struggling with various labelling and scanning algorithms for solving many important problems. This paper shows how to solve a wide variety of Discrete Mathematics and OR problems using assignment matrices and linear programming, specifically using Excel Solvers although the same…
Descriptors: Mathematical Applications, Computer Software, Computer Assisted Instruction, Mathematics Instruction
Decker, Robert – International Journal for Technology in Mathematics Education, 2011
Dynamic/interactive graphing applets can be used to supplement standard computer algebra systems such as Maple, Mathematica, Derive, or TI calculators, in courses such as Calculus, Differential Equations, and Dynamical Systems. The addition of this type of software can lead to discovery learning, with students developing their own conjectures, and…
Descriptors: Expertise, Investigations, Discovery Learning, Computer Software
Mor, Yishay; Noss, Richard; Hoyles, Celia; Kahn, Ken; Simpson, Gordon – International Journal for Technology in Mathematics Education, 2006
This paper reports on a design experiment in the domain of number sequences conducted in the course of the "WebLabs" project. We iteratively designed and tested a set of activities and tools in which 10-14 year old students used the "ToonTalk" programming environment to construct models of sequences and series, and then shared…
Descriptors: Mathematics Education, Programming, Algebra, Foreign Countries