zbMATH — the first resource for mathematics

Automatic determination of envelopes and other derived curves within a graphic environment. (English) Zbl 1091.68111
Summary: Dynamic geometry programs provide environments where accurate construction of geometric configurations can be done. Nevertheless, intrinsic limitations in their standard development technology mostly produce objects that are equationally unknown and so can not be further used in constructions. In this paper, we pursue the development of a geometric system that uses in the background the symbolic capabilities of two computer algebra systems, CoCoA and Mathematica. The cooperation between the geometric and symbolic modules of the software is illustrated by the computation of plane envelopes and other derived curves. These curves are described both graphically and analytically. Since the equations of these curves are known, the system allows the construction of new elements depending on them.

68U05 Computer graphics; computational geometry (digital and algorithmic aspects)
68W30 Symbolic computation and algebraic computation
Full Text: DOI
[1] Botana, F.; Valcarce, J.L., A dynamic-symbolic interface for geometric theorem discovery, Comput. educ., 38, 1/3, 21-35, (2002)
[2] Botana, F.; Valcarce, J.L., A software tool for the investigation of plane loci, Math. comput. simul., 61, 2, 141-154, (2003) · Zbl 1011.68149
[3] A. Capani, G. Niesi, L. Robbiano, CoCoA, a system for doing computations in commutative algebra. Available via anonymous ftp from: . · Zbl 0920.68060
[4] A. Chtcherba, Personal communication, 2001.
[5] X.S. Gao, Automated geometry diagram construction and engineering geometry, in: Proceedings of ADG’98, Lecture Notes in Artificial Intelligence, vol. 1669, Springer, Berlin, 1998, pp. 232-257.
[6] X.S. Gao, J.Z. Zhang, S.C. Chou, Geometry Expert, Nine Chapters Publ., Taiwan, 1998.
[7] Giering, O., Affine and projective generalization of Wallace lines, J. geom. graph., 1, 2, 119-133, (1997) · Zbl 0898.51013
[8] M. de Guzmán, The envelope of the Wallace-Simson lines of a triangle, http://www.mat.ucm.es/deptos/am/guzman/deltoide121298/00delten.htm.
[9] de Guzmán, M., An extension of the wallace – simson theorem: projecting in arbitrary directions, Am. math. mon., 106, 6, 574-580, (1999) · Zbl 1004.51021
[10] N. Jackiw, The Geometer’s Sketchpad, Key Curriculum Press, Berkeley, 1997.
[11] Kapur, D., A refutational approach to geometry theorem proving, Artif. intell., 37, 61-94, (1988) · Zbl 0678.68094
[12] JavaView, http://www.javaview.de.
[13] J. King, D. Schattschneider, Geometry Turned On, Mathematical Association of America, Washington, DC, 1997. · Zbl 0876.68108
[14] U. Kortenkamp, Integrating CAS with Cinderella, Dagstuhl-Seminar No. 01421, Integration of Algebra and Geometry Software Systems, 2001.
[15] J.M. Laborde, F. Bellemain, Cabri Geometry II, Texas Instruments, Dallas, 1998.
[16] T. Recio, Cálculo simbólico y geométrico, Sı́ntesis, Madrid, 1998 (in Spanish).
[17] Recio, T.; Vélez, M.P., Automatic discovery of theorems in elementary geometry, J. autom. reasoning, 23, 63-82, (1999) · Zbl 0941.03010
[18] T. Recio, Personal communication, 2002.
[19] J. Richter-Gebert, U. Kortenkamp, The Interactive Geometry Software Cinderella, Springer, Berlin, 1999. · Zbl 0926.51002
[20] E. Roanes-Lozano, Boosting the geometrical possibilities of dynamic geometry systems and computer algebra systems through cooperation, in: M. Borovcnik, H. Kautschitsch (Eds.), Technology in Mathematics Teaching, öbv & hpt, Vienna, 2002, pp. 335-348.
[21] J. Steiner, Gesammelte Werke, Band II (Herausgegeben von K. Weierstrass), G. Reimer, Berlin, 1882, pp. 639-647.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.