Publication Date
| In 2025 | 1 |
| Since 2024 | 2 |
| Since 2021 (last 5 years) | 4 |
| Since 2016 (last 10 years) | 4 |
| Since 2006 (last 20 years) | 7 |
Descriptor
Source
| International Journal for… | 2 |
| Australian Senior Mathematics… | 1 |
| International Electronic… | 1 |
| International Group for the… | 1 |
| International Journal of… | 1 |
| Mathematics Education… | 1 |
| ZDM: Mathematics Education | 1 |
Author
Publication Type
| Journal Articles | 6 |
| Reports - Research | 4 |
| Collected Works - Proceedings | 2 |
| Reports - Descriptive | 2 |
| Guides - Classroom - Teacher | 1 |
| Tests/Questionnaires | 1 |
Education Level
| Postsecondary Education | 8 |
| Higher Education | 6 |
| Elementary Secondary Education | 2 |
| Early Childhood Education | 1 |
| Secondary Education | 1 |
Audience
| Teachers | 1 |
Location
| Australia | 2 |
| Malaysia | 1 |
| Netherlands | 1 |
| South Africa | 1 |
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Peer reviewed
Direct linkHyunkyoung Yoon; Jihye Hwang; Kyungwon Lee; Kyeong Hah Roh; Oh Nam Kwon – ZDM: Mathematics Education, 2024
In this exploratory study, we investigate undergraduate students' engagement with generative Artificial Intelligence (genAI) in proving mathematical statements. We selected six mathematical statements to conduct interviews with three students. We present the emergent framework, Students' Interactive Proving Experience with AI (SIPE-AI), which…
Descriptors: Artificial Intelligence, Computer Uses in Education, Mathematical Logic, Ethics
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
Weissman, Shula; Stupel, Moshe – International Journal for Technology in Mathematics Education, 2021
We present an investigative activity that was set as part of a course of pre-service teachers of mathematics. The emphasis in the course was set on the importance of using the computerized technological tool for teaching the subject. The activity focused on investigating interesting geometrical conservation properties which are not known to the…
Descriptors: Computer Uses in Education, Computer Assisted Instruction, Geometry, Geometric Concepts
Stupel, Moshe; Weissman, Shula; Sigler, Avi – International Journal of Mathematical Education in Science and Technology, 2021
This paper presents research into closed orbits parallel to quadrilaterals inscribed in various geometric shapes that can be represented by mathematical functions: straight lines, circles, ellipses, parabolas, and hyperbolas. Mathematical proofs have been given for the existence of an infinite number of parallel orbits for each of these shapes.…
Descriptors: Geometric Concepts, Mathematical Logic, Computer Uses in Education, Computer Software
Aguilera-Venegas, Gabriel; Galán-García, José Luis; Galán-García, María Ángeles; Rodríguez-Cielos, Pedro – International Journal for Technology in Mathematics Education, 2015
Automated theorem proving (ATP) for Propositional Classical Logic is an algorithm to check the validity of a formula. It is a very well-known problem which is decidable but co-NP-complete. There are many algorithms for this problem. In this paper, an educationally oriented implementation of Semantic Tableaux method is described. The program has…
Descriptors: Mathematical Formulas, Problem Solving, Teaching Methods, Mathematical Logic
Pierce, Robyn; Bardini, Caroline – Australian Senior Mathematics Journal, 2015
Since the 1990s, computer algebra systems (CAS) have been available in Australia as hand-held devices designed for students with the expectation that they will be used in the mathematics classroom. The data discussed in this paper was collected as part of a pilot study that investigated first year university mathematics and statistics students'…
Descriptors: Mathematics, Mathematics Instruction, Algebra, Computer Uses in Education
Goos, Merrilyn, Ed.; Brown, Ray, Ed.; Makar, Katie, Ed. – Mathematics Education Research Group of Australasia, 2008
This document presents the proceedings of the 31st Annual Conference of the Mathematics Education Research Group of Australasia (MERGA). The theme of this conference is "Navigating Currents and Charting Directions." The theme reminds us that, although we are constantly pushed to account for the quality and impact of our research, we…
Descriptors: Feedback (Response), Constructivism (Learning), Educational Development, Practicums
Pateman, Neil A., Ed; Dougherty, Barbara J., Ed.; Zilliox, Joseph T., Ed. – International Group for the Psychology of Mathematics Education, 2003
This volume of the 27th International Group for the Psychology of Mathematics Education Conference includes the following research reports: (1) Improving Decimal Number Conception by Transfer from Fractions to Decimals (Irita Peled and Juhaina Awawdy Shahbari); (2) The Development of Student Teachers' Efficacy Beliefs in Mathematics during…
Descriptors: Student Teachers, Mathematics Education, Teacher Effectiveness, Metalinguistics
