Publication Date
| In 2025 | 1 |
| Since 2024 | 1 |
| Since 2021 (last 5 years) | 1 |
| Since 2016 (last 10 years) | 1 |
| Since 2006 (last 20 years) | 1 |
Descriptor
Source
| International Journal of… | 2 |
Publication Type
| Journal Articles | 2 |
| Guides - Classroom - Teacher | 1 |
| Reports - Descriptive | 1 |
Education Level
| Higher Education | 1 |
| Postsecondary Education | 1 |
Audience
| Teachers | 2 |
| Practitioners | 1 |
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Direct linkXiaoheng Yan; Gila Hanna – International Journal of Mathematical Education in Science and Technology, 2025
As new technological developments continue to change the educational landscape, it is not an exception in the area of proof and proving. This classroom note introduces the use of one of the trending proofs assistants -- the Lean theorem prover. We first provide a technical account of Lean, then exemplify Lean proofs in propositional logic, number…
Descriptors: Mathematics Instruction, Undergraduate Students, Mathematical Logic, Validity
Peer reviewedOladunni, M. O. – International Journal of Mathematical Education in Science and Technology, 1998
Focuses on the effects of the application of two problem-solving techniques--metacognitive and heuristic--on the achievement of students in the computation of creative mathematics problems. Results indicate that there was a significant difference in the achievement of experimental and control groups. Contains 24 references. (Author/ASK)
Descriptors: Cognitive Processes, Creative Thinking, Heuristics, Learning Processes
