zbMATH — the first resource for mathematics

A parametric approach to 3D dynamic geometry. (English) Zbl 07312629
Summary: Dynamic geometry systems are computer applications allowing the exact on-screen drawing of geometric diagrams and their interactive manipulation by mouse dragging. Whereas there exists an extensive list of 2D dynamic geometry environments, the number of 3D systems is reduced. Most of them, both in 2D and 3D, share a common approach, using numerical data to manage geometric knowledge and elementary methods to compute derived objects. This paper deals with a parametric approach for automatic management of 3D Euclidean constructions. An open source library, implementing the core functions in a 3D dynamic geometry system, is described here. The library deals with constructions by using symbolic parameters, thus enabling a full algebraic knowledge about objects such as loci and envelopes. This parametric approach is also a prerequisite for performing automatic proof. Basic functions are defined for symbolically checking the truth of statements. Using recent results from the theory of parametric polynomial systems solving, the bottleneck in the automatic determination of geometric loci and envelopes is solved. As far as we know, there is no comparable library in the 3D case, except the paramGeo3D library (designed for computing equations of simple 3D geometric objects, which, however, lacks specific functions for finding loci and envelopes).
68-XX Computer science
Full Text: DOI
[2] Botana, F., Interactive versus symbolic approaches to plane loci generation in dynamic geometry environments, (Sloot, P. M.A., ICCS 2002, volume 2330 of Lectures Notes on Computer Science (2002), Springer), 211-218 · Zbl 1055.68580
[3] Botana, F., Automatic determination of algebraic surfaces as loci of points, (Sloot, P. M.A., ICCS 2003, volume 2657 of Lectures Notes on Computer Science (2003), Springer), 879-886 · Zbl 1033.68674
[4] Botana, F., A symbolic companion for interactive geometric systems, (Davenport, J. H.; et, al., Intelligent Computer Mathematics, volume 6824 of Lectures Notes on Computer Science (2011), Springer), 285-286 · Zbl 1335.68225
[6] Botana, F.; Valcarce, J. L., A dynamic-symbolic interface for geometric theorem discovery, Computers and Education, 38, 21-35 (2002)
[7] Botana, F.; Valcarce, J. L., A software tool for the investigation of plane loci, Mathematics and Computers in Simulation, 61, 139-152 (2003) · Zbl 1011.68149
[8] Botana, F.; Valcarce, J. L., Automatic determination of envelopes and other derived curves within a graphic environment, Mathematics and Computers in Simulation, 67, 3-13 (2004) · Zbl 1091.68111
[9] Buchberger, B., Applications of Groebner bases in nonlinear computational geometry, (Rice, J. R., Mathematical Aspects of Scientific Software (1988), Springer: Springer Berlin), 59-87
[13] Chou, S. C., Mechanical Geometry Theorem Proving (1988), D. Reidel Publishing Company: D. Reidel Publishing Company Dordrecht, The Netherlands · Zbl 0661.14037
[15] Conti, P.; Traverso, C., Algebraic and semialgebraic proofs: methods and paradoxes, (Richter-Gebert, J.; Wang, D., Automated Deduction In Geometry, ADG 2000, volume 2061 of Lectures Notes in Artificial Intelligence (2000)), 83-103 · Zbl 0985.68075
[16] Gao, X. S.; Zhang, J. Z.; Chou, S. C., Geometry Expert (1998), Nine Chapters: Nine Chapters Taiwan
[19] Hoffmann, C. M.; Vermeer, P. J., Eliminating extraneous solutions in curve and surface operations, International Journal of Computational Geometry and Applications, 1, 47-66 (1991) · Zbl 0722.68100
[20] Kapur, D., Using Groebner bases to reason about geometry problems, Journal of Symbolic Computation, 2, 399-408 (1986) · Zbl 0629.68087
[21] Kapur, D.; Sun, Y.; Wang, D., A new algorithm for computing comprehensive Groebner systems, (Proceedings of ISSAC 2010 (2010), ACM), 29-36 · Zbl 1321.68533
[22] Lazard, D.; Rouillier, F., Solving parametric polynomial systems, Journal of Symbolic Computation, 42, 636-667 (2007) · Zbl 1156.14044
[23] Montes, A., Discusión de sistemas polinómicos con parámetros, La Gaceta de la Real Sociedad Matemática Espa nola, 14, 527-544 (2011)
[24] Montes, A.; Wibmer, M., Groebner bases for polynomial systems with parameters, Journal of Symbolic Computation, 45, 1391-1425 (2010) · Zbl 1207.13018
[25] Recio, T.; Vélez, M. P., Automatic discovery of theorems in elementary geometry, Journal of Automated Reasoning, 23, 63-82 (1999) · Zbl 0941.03010
[26] Roanes-Lozano, E.; Labeke, N.; Roanes-Macías, E., Connecting the 3D DGS Calques3D with the CAS Maple, Mathematics and Computers in Simulation, 80, 1153-1176 (2010) · Zbl 1207.68450
[27] Roanes-Lozano, E.; Roanes-Macías, E.; Villar, M., A bridge between dynamic geometry and computer algebra, Mathematical and Computer Modelling, 37, 1005-1028 (2003) · Zbl 1073.68899
[28] Roanes-Macías, E.; Roanes-Lozano, E., A Maple package for automatic theorem proving and discovery in 3D-geometry, (Automated Deduction in Geometry, ADG 2006, volume 4689 of Lecture Notes in Artificial Intelligence (2006)), 171-188 · Zbl 1195.68095
[32] Spivak, M. A., A Comprehensive Introduction to Differential Geometry, vol. 3 (1979), Publish or Perish Press: Publish or Perish Press Berkeley, California
[33] Suzuki, A.; Sato, Y., An alternative approach to comprehensive Groebner bases, (Mora, T., ISSAC 2002 (2002), ACM), 255-261 · Zbl 1072.68699
[36] Wang, D., Geother: a geometry theorem prover, (McRobbie, M. A.; Slaney, J. K., Automated Deduction - CADE 13, volume 1104 of Lecture Notes in Computer Science (1996), Springer), 166-170 · Zbl 1412.68266
[37] Weispfenning, V., Comprehensive Groebner bases, Journal of Symbolic Computation, 14, 1-29 (1992) · Zbl 0784.13013
[38] Wibmer, M., Groebner bases for families of affine or projective schemes, Journal of Symbolic Computation, 42, 803-834 (2007) · Zbl 1134.13025
[39] Wu, W., On the decision problem and the mechanization of theorem-proving in elementary geometry, (Bledsoe, W. W.; Loveland, D. W., Automated Theorem Proving: After 25 Years, volume 29 of Contemporary Mathematics (1984)), 213-234
[40] Wu, W., Some recent advances in mechanical theorem proving of geometries, (Bledsoe, W. W.; Loveland, D. W., Automated Theorem Proving: After 25 Years, volume 29 of Contemporary Mathematics (1984)), 235-241
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.