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…

We present an investigation of the infinite sequences of numbers formed by calculating the pairwise averages of three given numbers. The problem has an interesting geometric interpretation related to the sequence of triangles with equal perimeters which tend to an equilateral triangle. Investigative activities of the problem are carried out in…

The purpose of this article is to offer teaching ideas in the treatment of the definite integral concept and the Riemann sums in a technology-supported environment. Specifically, the article offers teaching ideas and activities for classroom for the numerical methods of approximating a definite integral via left- and right-hand Riemann sums, along…

This article presents the importance of using multimedia in the math classes by an example of multimedia lesson about definite integral and the results of the research carried out among the students of the first years of faculty, divided into two groups of 25. One group had the traditional lecture about the definite integral, while the other one…

Discusses reasons for and ways of using computer software to teach mechanics. Describes using software to explore mechanics, challenge misconceptions, make links between mathematical representations and motion, and solve non-standard problems. Stresses the need for structured approaches to the use of software. (Contains 24 references.) (Author/ASK)

Macromedia's FLASH development system can be a great tool for mathematics education. This article presents detailed Flash tutorials that were developed and taught by the author to a group of mathematics professors in a summer course in 2005. The objective was to educate the teachers in the techniques of animating equations and mathematical…

Examines issues relevant to the development, implementation, and evaluation of educational software in mathematics in the particular context of a Mathwise module covering the topic of complex numbers. Presents results of an evaluation exercise and some conclusions on issues of design and implementation. Contains 13 references. (ASK)

Discusses software for geometric construction, measurement, and calculation, and software for numerical calculation and symbolic analysis that allows for new approaches to the solution of geometric problems. Illustrates these computer-aided graphical, numerical, and algebraic methods of solution and discusses examples using the appropriate choice…

Provides an overview of recent changes in calculus education at Chinese colleges and universities. Focuses on the changes parallel to the development of computer-assisted instruction (CAI) technology and software. Discusses how the wide application of mathematical CAI software has greatly facilitated mathematical experimentation and offerings of…

Current e-learning environments are ill-suited to college mathematics. Instructors/students struggle to post diagrams and math notation. A new generation of math-friendly e-learning tools, including WebEQ, bundled with Blackboard 6, and NetTutor's Whiteboard, address these problems. This paper compares these two systems using criteria for ideal…

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…