This paper presents a prototype of a computer learning assistant ILMEV (Interactive Learning-Mathematica Enhanced Vector calculus) package with the purpose of helping students to understand the theory and applications of integration in vector calculus. The main problem for students using Mathematica is to convert a textbook description of a…

The concept of definite integral is almost always introduced as the Riemann integral, which is defined in terms of the Riemann sum, and its geometric interpretation. This definition is hard to understand for high school students. With the aid of mathematical software for visualisation and computation of approximate integrals, the notion of…

This paper explores the wide range of pure mathematics that becomes accessible through the use of problems involving powers. In particular we stress the need to balance an applied and context based pedagogical and curricular approach to mathematics with the powerful pure mathematics beneath the simplicity of easily stated and understandable…

The purpose of this paper is to provide researchers with a shared framework, terminology and tool to improve the coherence of research into learning mathematics with CAS and to assist its findings to accumulate into a significant body of knowledge. Experience with calculators in arithmetic led to a framework for number sense. There is an obvious…

In the UK there is increasing concern about the lack of skill in algebraic manipulation that is evident in students entering mathematics courses at university level. In this note we discuss how the computer can be used to ameliorate some of the problems. We take as an example the calculations needed in three dimensional vector analysis in polar…

This paper provides a pragmatic view of efficient use of graphics calculators. Efficiency is described in terms of quick and easy calculation, as debated and evidenced in a Year 12 calculus class. Students' methods of calculation are analysed in terms of the algebraic understanding and technical skills that underpinned them. Patterns in students'…

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…

The paper's aim is to note a remarkable (and apparently unknown) relation for right triangles, its generalisation to arbitrary triangles and the possibility to derive these and some related relations by elimination using Groebner basis computations with a modern computer algebra system. (Contains 9 figures.)

In a previous paper, we showed the importance of using low-level commands of a CAS in order to enhance the students' conceptual insight into mathematics. In this paper, we wish to emphasise a different use of a CAS, which makes possible the exploration of new topics, when the necessary theoretical results have still not been acquired, and avoids…