Beyond mathematical complexity, a proof's length may, in and of itself, impede its comprehension. The same would apply to constructions, calculations and other mathematical expositions. Today's technology provides readers websites and electronic documents with hyperlinks, giving readers direct access from one location of the exposition to a…

Problem solving and proofs have always played a major role in mathematics. They are, in fact, the heart and soul of the discipline. The using of a number of different proof techniques for one specific problem can display the beauty, and elegance of mathematics. In this paper, we present one specific, interesting geometry problem, and present four…

The article presents some examples of plane geometric variance of an area with the use of computer technology. These tools can offer teachers opportunities for adaptation and preparation of pedagogical presentations which will help students along the process of fruitful conjectures formation and eventually construction of formal deductive proofs.…

We perform dynamic investigation of two surprising geometrical properties, each of which involves additional properties. In the first task the property belongs to two regular polygons with the same number of sides and with one common vertex. It is found that all the straight lines that connect corresponding vertices of the two polygons intersect…

This document introduces, describes and exemplifies the technical features of some recently implemented automated reasoning tools in the dynamic mathematics software GeoGebra. The new tools are based on symbolic computation algorithms, allowing the automatic and rigorous proving and discovery of theorems on constructed geometric figures. Some…

A summary of an experimental course on algebraic curves is given that was held for young learners at age 11. The course was a part of Epsilon camp. a program designed for very gifted students who have already demonstrated high interest in studying mathematics. Prerequisites for the course were mastery of Algebra I and at least one preliminary year…

Technology and, in particular, computer algebra systems, allows us to change both the way we teach mathematics and the mathematical curriculum. Curiously enough, unlike what happens with linear system solving, algebraic system solving is not widely known. The aim of this paper is to show that, although the theory lying behind the "exact…

Studying geometry is an integral component of learning mathematics because it allows students to analyse and interpret the world they live in as well as equip them with tools they can apply in other areas of mathematics. Therefore, students need to develop an understanding of geometric concepts as well as gaining adequate geometry related skills.…

The new representations enabled by the educational computer game the "Juggler" can place vectors in a central role both for controlling and measuring the behaviours of objects in a virtual environment simulating motion in three-dimensional spaces. The mathematical meanings constructed by 13 year-old students in relation to vectors as…

The subject of q-calculus is a rich source of learning activities that address concept formation, exploration, variation, rich training and proof. This paper is a survey of the subject that shows how high school students using a computer algebra system can explore the field and prove some results. (Contains 7 figures.)

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.)

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.)

A mathematician's work consists of proving theorems, calculating, and making mathematics understandable. An assistant for all three components is a Computer Algebra System. We describe and discuss various CAS-assisted processes for proving theorems, and discuss the constraints which can appear regarding efficiency, confidence in the result and…