Recent years have seen a surge of calls for personalization of education. Automatised adaptivity in serious games has been advocated as a potential instantiation of such calls. Yet little is known about the extent to which personalised learning through automatised adaptivity poses an advantage for language learning over generalised teacher-led…

Computing limits of functions is a traditional part of mathematical analysis which is very difficult for students. Now an algorithm for the elimination of quantifiers in the field of real numbers is implemented in the program Mathematica. This offers a non-traditional view on this classical theme. (Contains 1 table.)

Describes a process of mathematical investigation involving generalized Fibonacci sequences. Provides the derivation using expressions, BASIC programs, and numerical verification. (YP)

Explores some classic Fibonacci problems with the aid of AppleWorks spreadsheets calculations. Provides problems and spreadsheets for solving them. (Author/YP)

This article illustrates that mathematical theory can be incorporated into the process to solve differential equations by a computer algebra system, muMATH. After an introduction to functions of muMATH, several short programs for enhancing the capabilities of the system are discussed. Listed are six references. (YP)

Described is a computer algebra system that can be used to help students understand the calculus. Provides several examples of solving calculus problems using muMATH. Lists eight references. (YP)

The paper describes the use of a spreadsheet in a mathematics teacher education course. It shows how the tool can serve as a link between seemingly disconnected mathematical concepts. The didactical triad of using a spreadsheet as an agent, consumer, and amplifier of mathematical activities allows for an extended investigation of simple yet…