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) | 1 |
Descriptor
Source
International Journal for… | 1 |
Publication Type
Information Analyses | 2 |
Journal Articles | 1 |
Reports - Research | 1 |
Speeches/Meeting Papers | 1 |
Education Level
Audience
Researchers | 1 |
Location
Israel | 2 |
Cyprus | 1 |
Germany | 1 |
Hong Kong | 1 |
Italy | 1 |
Spain | 1 |
Taiwan | 1 |
Turkey | 1 |
United Kingdom | 1 |
United States | 1 |
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Campbell, 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
Salomon, Gavriel – 1988
The question of whether human thinking can come to simulate computer intelligence--i.e., AI in reverse--is addressed in this paper. Examples are given of three computer tools which perform several functions that constitute an intellectual partnership between student and tool. Such functions include: (1) assuming part of the intellectual burden in…
Descriptors: Artificial Intelligence, Cognitive Processes, Computer Assisted Instruction, Computer Software