NotesFAQContact Us
Collection
Advanced
Search Tips
Showing all 2 results Save | Export
Peer reviewed Peer reviewed
Direct linkDirect link
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
Peer reviewed Peer reviewed
Direct linkDirect link
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