Publication Date
| In 2026 | 0 |
| Since 2025 | 0 |
| Since 2022 (last 5 years) | 0 |
| Since 2017 (last 10 years) | 1 |
| Since 2007 (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
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
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
