Computing Bisectors in a Dynamic Geometry Environment

Francisco Botana

International Journal of Mathematical Education in Science and Technology Vol. 44, No. 2 (2013) pp. 299–310

In this note, an approach combining dynamic geometry and automated deduction techniques is used to study the bisectors between points and curves. Usual teacher constructions for bisectors are discussed, showing that inherent limitations in dynamic...

A dynamic–symbolic interface for geometric theorem discovery

Francisco Botana; José L. Valcarce

Computers & Education Vol. 38, No. 1 (2002) pp. 21–35

This paper describes Discover, a program for learning and teaching geometry with the help of a computer. The program is a dynamic geometry environment that can communicate with Mathematica, using its symbolic capabilities to perform geometric...

Language: English

Remote Symbolic Computation of Loci

Miguel A. Abanades; Jesus Escribano; Francisco Botana

International Journal for Technology in Mathematics Education Vol. 17, No. 3 (2010) pp. 135–140

This article presents a web-based tool designed to compute certified equations and graphs of geometric loci specified using standard Dynamic Geometry Systems (DGS). Complementing the graphing abilities of the considered DGS, the equations of the...