Search results for author:"Francisco Botana"
Total records matched: 3 Search took: 0.100 secs
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...
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...
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...