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) | 3 |
Descriptor
Source
| International Journal of… | 6 |
Author
| Albano, Giovannina | 1 |
| Conrad, Marc | 1 |
| D'Apice, Ciro | 1 |
| French, Tim | 1 |
| Gila Hanna | 1 |
| Gomez, E. | 1 |
| Plaza, A. | 1 |
| Ruiz Jimenez, B. C. | 1 |
| Ruiz Munoz, M. | 1 |
| Schmidt, Karsten | 1 |
| Tomasiello, Stefania | 1 |
| More ▼ | |
Publication Type
| Journal Articles | 6 |
| Reports - Descriptive | 6 |
Education Level
| Higher Education | 4 |
| Postsecondary Education | 1 |
Audience
| Teachers | 3 |
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Peer reviewed
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
Ruiz Jimenez, B. C.; Ruiz Munoz, M. – International Journal of Mathematical Education in Science and Technology, 2011
Recreational Programming (RecPro) is the discipline that encourages the study of computer programming through ludic problems. Problems that are typically studied within this discipline are similar to those of Recreational Mathematics (RecMat), which sometimes leads to the confusion of these two disciplines. The objective for RecPro is to write…
Descriptors: Discipline, Programming Languages, Programming, Number Concepts
Schmidt, Karsten – International Journal of Mathematical Education in Science and Technology, 2008
In this paper "Derive" functions are provided for the computation of the Moore-Penrose inverse of a matrix, as well as for solving systems of linear equations by means of the Moore-Penrose inverse. Making it possible to compute the Moore-Penrose inverse easily with one of the most commonly used Computer Algebra Systems--and to have the blueprint…
Descriptors: Programming Languages, Computer Uses in Education, Programming, Algebra
Gomez, E.; Plaza, A. – International Journal of Mathematical Education in Science and Technology, 2002
One of the most astonishing properties when studying numerical series is that the sum is not commutative, that is the sum may change when the order of its elements is altered. In this note an example is given of such a series. A well-known mathematical proof is given and a MATLAB[C] program used for different rearrangements of the series…
Descriptors: Mathematical Logic, Validity, Intervals, Mathematics
Conrad, Marc; French, Tim – International Journal of Mathematical Education in Science and Technology, 2004
While the object oriented paradigm and its instantiation within programming languages such as Java has become a ubiquitous part of both the commercial and educational landscapes, its usage as a visualization technique within mathematics undergraduate programmes of study has perhaps been somewhat underestimated. By regarding the object oriented…
Descriptors: Models, Programming Languages, Mathematics Education, Higher Education
Albano, Giovannina; D'Apice, Ciro; Tomasiello, Stefania – International Journal of Mathematical Education in Science and Technology, 2002
A Mathematica[TM] package is described that uses simulations and animations to illustrate key concepts in harmonic oscillation and electric circuits for students not majoring in physics or mathematics. Students are not required to know the Mathematica[TM] environment: a user-friendly interface with buttons functionalities and on-line help allows…
Descriptors: Programming, Programming Languages, Energy, Physics
