Publication Date
| In 2025 | 0 |
| Since 2024 | 0 |
| Since 2021 (last 5 years) | 0 |
| Since 2016 (last 10 years) | 0 |
| Since 2006 (last 20 years) | 1 |
Descriptor
Publication Type
| Journal Articles | 2 |
| Reports - Evaluative | 2 |
Education Level
| Elementary Education | 1 |
| Grade 8 | 1 |
| Grade 9 | 1 |
| High Schools | 1 |
| Higher Education | 1 |
| Junior High Schools | 1 |
| Middle Schools | 1 |
| Secondary Education | 1 |
Audience
Location
| Japan | 1 |
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Peer reviewed
Direct linkKomatsu, Kotaro; Tsujiyama, Yosuke; Sakamaki, Aruta – International Journal of Mathematical Education in Science and Technology, 2014
Proof and proving are important components of school mathematics and have multiple functions in mathematical practice. Among these functions of proof, this paper focuses on the discovery function that refers to invention of a new statement or conjecture by reflecting on or utilizing a constructed proof. Based on two cases in which eighth and ninth…
Descriptors: Mathematics Instruction, Mathematical Logic, Validity, Grade 8
Pech, Pavel – International Journal for Technology in Mathematics Education, 2005
Computer algebra methods based on results of commutative algebra like Groebner bases of ideals and elimination of variables make it possible to solve complex, elementary and non elementary problems of geometry, which are difficult to solve using a classical approach. Computer algebra methods permit the proof of geometric theorems, automatic…
Descriptors: Geometric Concepts, Geometry, Algebra, Mathematics Instruction
