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) | 2 |
Descriptor
Computer Uses in Education | 2 |
Foreign Countries | 2 |
Algebra | 1 |
Calculus | 1 |
College Mathematics | 1 |
Computer Interfaces | 1 |
Computer Software | 1 |
Computer Software Reviews | 1 |
Computer System Design | 1 |
Courseware | 1 |
Geometry | 1 |
More ▼ |
Source
International Journal for… | 2 |
Publication Type
Journal Articles | 2 |
Information Analyses | 1 |
Reports - Descriptive | 1 |
Education Level
Higher Education | 1 |
Postsecondary Education | 1 |
Audience
Location
Germany | 2 |
Cyprus | 1 |
Hong Kong | 1 |
Israel | 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
Janetzko, Hans-Dieter – International Journal for Technology in Mathematics Education, 2015
CATO is a new user interface, developed by the author as a response to the significant difficulties faced by scientists, engineers, and students in their usage of computer algebra (CA) systems. Their tendency to use CA systems only occasionally means that they are unfamiliar with requisite grammar and syntax these systems require. The author…
Descriptors: Algebra, Computer Interfaces, Computer System Design, Courseware