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
| Computer Uses in Education | 2 |
| Foreign Countries | 2 |
| Mathematical Logic | 2 |
| Mathematics Instruction | 2 |
| Validity | 2 |
| Algebra | 1 |
| Calculus | 1 |
| College Mathematics | 1 |
| Computer Assisted Instruction | 1 |
| Computer Software | 1 |
| Efficiency | 1 |
| More ▼ | |
Source
| International Journal for… | 2 |
Publication Type
| Journal Articles | 2 |
| Information Analyses | 1 |
| Reports - Descriptive | 1 |
Education Level
| Higher Education | 1 |
Audience
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
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
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
