Publication Date
| In 2025 | 1 |
| Since 2024 | 1 |
| Since 2021 (last 5 years) | 1 |
| Since 2016 (last 10 years) | 2 |
| Since 2006 (last 20 years) | 4 |
Descriptor
| Calculus | 8 |
| Computer Uses in Education | 8 |
| Mathematical Logic | 8 |
| Foreign Countries | 6 |
| Mathematics Instruction | 6 |
| Mathematics Education | 5 |
| Algebra | 4 |
| Geometry | 4 |
| Validity | 4 |
| College Mathematics | 3 |
| Concept Formation | 3 |
| More ▼ | |
Source
| Canadian Mathematics… | 2 |
| International Journal for… | 2 |
| International Electronic… | 1 |
| International Group for the… | 1 |
| International Journal of… | 1 |
Author
Publication Type
| Journal Articles | 4 |
| Collected Works - Proceedings | 3 |
| Reports - Research | 3 |
| Information Analyses | 1 |
| Reports - Descriptive | 1 |
| Tests/Questionnaires | 1 |
Education Level
| Elementary Secondary Education | 2 |
| Higher Education | 2 |
| Early Childhood Education | 1 |
| Elementary Education | 1 |
| High Schools | 1 |
| Postsecondary Education | 1 |
Audience
Location
| Canada | 2 |
| Germany | 2 |
| Taiwan | 2 |
| Cyprus | 1 |
| Hong Kong | 1 |
| Israel | 1 |
| Italy | 1 |
| Malaysia | 1 |
| Spain | 1 |
| Turkey | 1 |
| United Kingdom | 1 |
| More ▼ | |
Laws, Policies, & Programs
Assessments and Surveys
| Trends in International… | 1 |
What Works Clearinghouse Rating
Download full textFereshteh Zeynivandnezhad; Ramón Emilio Fernández; Yudariah binti Mohammad Yusof; Zaleha binti Ismail – International Electronic Journal of Mathematics Education, 2025
This study explores the effects of a computer algebra system on students' mathematical thinking. Mathematical thinking is identified with mathematical thinking powers and structures. We define mathematical thinking as students' capacity to specialize and generalize their previous knowledge to solve new mathematical problems. The study was…
Descriptors: Algebra, Computer Uses in Education, Mathematical Logic, Thinking Skills
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
Liljedahl, Peter, Ed.; Oesterle, Susan, Ed.; Allan, Darien, Ed. – Canadian Mathematics Education Study Group, 2011
This submission contains the Proceedings of the 2010 Annual Meeting of the Canadian Mathematics Education Study Group (CMESG), held at Simon Fraser University in Burnaby, British Columbia. The CMESG is a group of mathematicians and mathematics educators who meet annually to discuss mathematics education issues at all levels of learning. The aims…
Descriptors: Conferences (Gatherings), Mathematics Education, Textbooks, Performance Based Assessment
Oldenburg, Reinhard – International Journal for Technology in Mathematics Education, 2005
The subject of q-calculus is a rich source of learning activities that address concept formation, exploration, variation, rich training and proof. This paper is a survey of the subject that shows how high school students using a computer algebra system can explore the field and prove some results. (Contains 7 figures.)
Descriptors: Concept Formation, Calculus, Algebra, High School Students
Peer reviewedStroup, Walter M. – International Journal of Computers for Mathematical Learning, 2002
Explores what kinds of calculus-related insights seem to typify calculus-related reasoning. Introduces "qualitative calculus" in which learning is focused on synthesis. Discusses the resemblance and difference between traditional calculus and qualitative calculus, advantages of learning qualitative calculus, and how understanding qualitative…
Descriptors: Calculus, Cognitive Structures, Computer Simulation, Computer Uses in Education
Clark, Kevin Andrew – 1991
The objectives of this research were to review existing computer-assisted instruction systems for propositional calculus proofs or elementary logic and to develop an instructional computer program that guides students in the valid construction of propositional calculus proofs. The system is unique in that it provides assistance at each step of the…
Descriptors: Algorithms, Calculus, College Mathematics, Computer Assisted Instruction
Simmt, Elaine, Ed.; Davis, Brent, Ed. – Canadian Mathematics Education Study Group, 2003
This submission contains the Proceedings of the 2002 Annual Meeting of the Canadian Mathematics Education Study Group (CMESG), held at Queen's University in Kingston, Ontario. The CMESG is a group of mathematicians and mathematics educators who meet annually to discuss mathematics education issues at all levels of learning. The aims of the Study…
Descriptors: Mathematics Education, Mathematical Logic, Validity, Theories
Novotna, Jarmila, Ed.; Moraova, Hana, Ed.; Kratka, Magdalena, Ed.; Stehlikova, Nad'a, Ed. – International Group for the Psychology of Mathematics Education, 2006
This document contains the third volume of the proceedings of the 30th Conference of the International Group for the Psychology of Mathematics Education. Conference presentations are centered around the theme "Mathematics at the Centre." This volume features 60 research reports by presenters with last names beginning between Ead and Kou:…
Descriptors: Foreign Countries, Comparative Analysis, Low Achievement, Grade 1
