Publication Date
| In 2025 | 0 |
| Since 2024 | 1 |
| Since 2021 (last 5 years) | 1 |
| Since 2016 (last 10 years) | 2 |
| Since 2006 (last 20 years) | 5 |
Descriptor
Source
| International Journal for… | 5 |
Author
Publication Type
| Journal Articles | 5 |
| Reports - Descriptive | 2 |
| Reports - Research | 2 |
| Guides - Classroom - Teacher | 1 |
| Reports - Evaluative | 1 |
Education Level
| Higher Education | 3 |
| Postsecondary Education | 3 |
| High Schools | 1 |
| Secondary Education | 1 |
Audience
| Teachers | 1 |
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Peer reviewed
Direct linkWahid 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
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
Aguilera-Venegas, Gabriel; Galán-García, José Luis; Galán-García, María Ángeles; Rodríguez-Cielos, Pedro – International Journal for Technology in Mathematics Education, 2015
Automated theorem proving (ATP) for Propositional Classical Logic is an algorithm to check the validity of a formula. It is a very well-known problem which is decidable but co-NP-complete. There are many algorithms for this problem. In this paper, an educationally oriented implementation of Semantic Tableaux method is described. The program has…
Descriptors: Mathematical Formulas, Problem Solving, Teaching Methods, Mathematical Logic
Ruiz, Rosario Vera – International Journal for Technology in Mathematics Education, 2011
From the point of view of functional programming, a computational process to solve a problem is described as a mathematical function taking some arguments (corresponding to the data of the problem) and returning as a result its solution. Turtle Graphics can be used to describe the movements of a virtual turtle, which leaves a trail along his path…
Descriptors: Mathematics Curriculum, Programming Languages, Information Technology, Programming
