Publication Date
| In 2025 | 0 |
| Since 2024 | 0 |
| Since 2021 (last 5 years) | 0 |
| Since 2016 (last 10 years) | 1 |
| Since 2006 (last 20 years) | 3 |
Descriptor
| Computer Uses in Education | 4 |
| Foreign Countries | 4 |
| Mathematical Logic | 4 |
| Validity | 4 |
| Algebra | 2 |
| Computer Software | 2 |
| Geometry | 2 |
| Mathematics Instruction | 2 |
| Mathematics Skills | 2 |
| Problem Solving | 2 |
| Teaching Methods | 2 |
| More ▼ | |
Author
| Campbell, Tye G. | 1 |
| Dana-Picard, Thierry | 1 |
| Lavy, Ilana | 1 |
| Lew, Hee-Chan, Ed. | 1 |
| Park, Kyo-Sik Park, Ed. | 1 |
| Seo, Dong-Yeop, Ed. | 1 |
| Woo, Jeong-Ho, Ed. | 1 |
| Zelkowski, Jeremy | 1 |
Publication Type
| Journal Articles | 3 |
| Collected Works - Proceedings | 1 |
| Information Analyses | 1 |
| Reports - Descriptive | 1 |
| Reports - Research | 1 |
Education Level
| Higher Education | 2 |
| Elementary Secondary Education | 1 |
Audience
Location
| Israel | 4 |
| Cyprus | 2 |
| Taiwan | 2 |
| United States | 2 |
| Australia | 1 |
| Germany | 1 |
| Hong Kong | 1 |
| Ireland | 1 |
| Italy | 1 |
| South Korea | 1 |
| Spain | 1 |
| More ▼ | |
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Peer reviewed
Direct linkCampbell, Tye G.; Zelkowski, Jeremy – International Journal for Technology in Mathematics Education, 2020
Proof and argumentation are essential components of learning mathematics, and technology can mediate students' abilities to learn. This systematic literature review synthesizes empirical literature which examines technology as a support for proof and argumentation across all content domains. The themes of this review are revealed through analyzing…
Descriptors: Computer Uses in Education, Computer Software, Intelligent Tutoring Systems, Mathematical Logic
Lavy, Ilana – International Journal of Mathematical Education in Science and Technology, 2007
This paper reports an example of a situation in which university students had to solve geometrical problems presented to them dynamically using the interactive computerized environment of the "MicroWorlds Project Builder". In the process of the problem solving, the students used ten different solution strategies. The unsuccessful…
Descriptors: Computer Uses in Education, Problem Solving, Instructional Effectiveness, College Students
Dana-Picard, Thierry – International Journal for Technology in Mathematics Education, 2005
A mathematician's work consists of proving theorems, calculating, and making mathematics understandable. An assistant for all three components is a Computer Algebra System. We describe and discuss various CAS-assisted processes for proving theorems, and discuss the constraints which can appear regarding efficiency, confidence in the result and…
Descriptors: Algebra, Mathematics Instruction, Validity, Mathematical Logic
Download full textWoo, Jeong-Ho, Ed.; Lew, Hee-Chan, Ed.; Park, Kyo-Sik Park, Ed.; Seo, Dong-Yeop, Ed. – International Group for the Psychology of Mathematics Education, 2007
This second volume of the 31st annual proceedings of the International Group for the Psychology of Mathematics Education conference presents research reports for author surnames beginning Alc- through Hal-. Reports include: (1) How Do Your Students Think about Proof? A DVD Resource for Mathematicians (Lara Alcock); (2) Teachers' Conceptions of…
Descriptors: Secondary School Mathematics, Preservice Teachers, Mathematics Education, Teacher Effectiveness
