Skip to main content
SpringerLink
Log in

Method for Processing Graph Degeneracy in Dynamic Geometry Based on Domain Design

  • Regular Paper
  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

Abstract

A dynamic geometry system, as an important application in the field of geometric constraint solving, is widely used in elementary mathematics education; moreover, the dynamic geometry system is also a fundamental environment for automated theorem proving in geometry. In a geometric constraint solving process, a situation involving a critical point is often encountered, and geometric element degeneracy may occur at this point. Usually, the degeneracy situation must be substantively focused on during the learning and exploration process. However, many degeneracy situations cannot be completely presented even by the well-known dynamic geometry software. In this paper, the mechanisms causing the degeneracy of a geometric element are analyzed, and relevant definitions and formalized descriptions for the problem are provided according to the relevant modern Euclidean geometry theories. To solve the problem, the data structure is optimized, and a domain model design for the geometric element and the constraint relationships thereof in the dynamic geometry system are formed; furthermore, an update algorithm for the element is proposed based on the novel domain model. In addition, instances show that the proposed domain model and the update algorithm can effectively cope with the geometric element degeneracy situations in the geometric constraint solving process, thereby achieving unification of the dynamic geometry drawing and the geometric intuition of the user.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Gao X S, Jiang K. Survey on geometric constraint solving. Journal of Computer Aided Design & Computer Graphics, 2004, 16(4): 385-396. DOI: https://doi.org/10.3321/j.issn:1003-9775.2004.04.001. (in Chinese)

    Article  Google Scholar 

  2. Zhang J Z, Ge Q, Peng X C. Educational technology research should be in-depth discipline. e-Education Research, 2010, (2): 8-13. DOI: 10.13811/j.cnki.eer.2010.02.009. (in Chinese)

  3. Bokosmaty S, Mavilidi M F, Paas F. Making versus observing manipulations of geometric properties of triangles to learn geometry using dynamic geometry software. Computers & Education, 2017, 113: 313-326. DOI: https://doi.org/10.1016/j.compedu.2017.06.008.

    Article  Google Scholar 

  4. Ye Z, Cou S C, Gao X S. Visually dynamic presentation of proofs in plane geometry. Journal of Automated Reasoning, 2010, 45(3): 213-241. DOI: https://doi.org/10.1007/s10817-009-9162-5.

    Article  MathSciNet  Google Scholar 

  5. Cou S C, Gao X S, Zhang J Z. Automated generation of readable proofs with geometric invariants. Journal of Automated Reasoning, 1996, 17(3): 325-347. DOI: https://doi.org/10.1007/BF00283133.

    Article  MathSciNet  MATH  Google Scholar 

  6. Wu W T. Basic principles of mechanical theorem proving in elementary geometries. Journal of Automated Reasoning, 1986, 2(3): 221-252. DOI: https://doi.org/10.1007/BF02328447.

    Article  MATH  Google Scholar 

  7. Kapur D. Using Gröbner bases to reason about geometry problems. Journal of Symbolic Computation, 1986, 2(4): 399-408. DOI: https://doi.org/10.1016/S0747-7171(86)80007-4.

    Article  MathSciNet  MATH  Google Scholar 

  8. Abánades M, Botana F, Kovács Z et al. Development of automatic reasoning tools in GeoGebra. ACM Communications in Computer Algebra, 2016, 50(3): 85-88. DOI: https://doi.org/10.1145/3015306.3015309.

    Article  MathSciNet  MATH  Google Scholar 

  9. Rao Y S, Zhang J Z, Zou Y et al. An advanced operating environment for mathematics education resources. Science China (Information Sciences), 2018, 61(9): 1-3. DOI: 10.1007/s11432-017-9235-7.

  10. Muthanna T, Sivertsen E, Kliewer D et al. Coupling field observations and geographical information system (GIS)-based analysis for improved sustainable urban drainage systems (SUDS) performance. Sustainability, 2018, 10(12): Article No. 4683. DOI: 10.3390/su10124683.

  11. Gillula J H, Hoffmann G M, Huang H et al. Applications of hybrid reachability analysis to robotic aerial vehicles. The International Journal of Robotics Research, 2011, 30(3): 335-354. DOI: https://doi.org/10.1177/0278364910387173.

    Article  Google Scholar 

  12. Kurniawati H, Du Y, Hsu D et al. Motion planning under uncertainty for robotic tasks with long time horizons. The International Journal of Robotics Research, 2011, 30(3): 308-323. DOI: https://doi.org/10.1177/0278364910386986.

    Article  MATH  Google Scholar 

  13. Chen H, Sheng W. Transformative CAD based industrial robot program generation. Robotics and Computer-Integrated Manufacturing, 2011, 27(5): 942-948. DOI: https://doi.org/10.1016/j.rcim.2011.03.006.

    Article  Google Scholar 

  14. Deng W, Karaliopoulos M, MühlbauerWet al. k-Fault tolerance of the Internet AS graph. Computer Networks, 2011, 55(10): 2492-2503. DOI: https://doi.org/10.1016/j.comnet.2011.04.009.

  15. Richter-Gebert J, Kortenkamp U H. Complexity issues in dynamic geometry. In Foundations of Computational Mathematics, Cucker F, Rojas J M (eds.), 2002, pp.355-404. DOI: 10.1142/9789812778031_0015.

  16. Denner-Broser B. About tracing problems in dynamic geometry. Discrete & Computational Geometry, 2013, 49(2): 221-246. DOI: https://doi.org/10.1007/s00454-012-9473-x.

    Article  MathSciNet  MATH  Google Scholar 

  17. Lin Q, Ren L, Chen Y et al. The design of intelligent dynamic geometric software based on the enhanced LIMD arithmetic. Chinese Journal of Computers, 2006, 29(12): 2163-2171. (in Chinese)

    Google Scholar 

  18. Hidalgo M R, Joan-Arinyo R. The reachability problem in constructive geometric constraint solving based dynamic geometry. Journal of Automated Reasoning, 2014, 52(1): 99-122. DOI: https://doi.org/10.1007/s10817-013-9280-y.

    Article  MathSciNet  MATH  Google Scholar 

  19. Kortenkamp U H. Foundations of dynamic geometry [Ph.D. Thesis]. Swiss Federal Institute of Technology, 1999.

  20. Denner-Broser B. An algorithm for the tracing problem using interval analysis. In Proc. the 23rd ACM Symposium on Applied Computing, March 2008, pp.1832-1837. DOI: 10.1145/1363686.1364127.

  21. Kortenkamp U H, Richter-Gebert J. A dynamic setup for elementary geometry. In Multimedia Tools for Communicating Mathematics, Borwein J, Morales M H, Rodrigues J F, Polthier K (eds.), Springer, 2002, pp.203-219. DOI: 10.1007/978-3-642-56240-2_12.

  22. Su W, Wang P S, Cai C et al. A touch-operation-based dynamic geometry system: Design and implementation. In Proc. the 4th International Congress on Mathematical Software, August 2014, pp.235-239. DOI: 10.1007/978-3-662-44199-2_37.

  23. Liu Z. Research of education-oriented key technologies on three-dimensional dynamic geometry [Ph.D. Thesis]. Central China Normal University, 2012. (in Chinese)

  24. Dubrovin B A, Fomenko A T, Novikov S P. Modern Geometry—Methods and Applications: Part II: The Geometry and Topology of Manifolds. Springer Science & Business Media, 2012.

  25. Arango G. A brief introduction to domain analysis. In Proc. the 1994 ACM Symposium on Applied Computing, April 1994, pp.42-46. DOI: 10.1145/326619.326656.

  26. Kang K C, Cohen S G, Hess J A et al. Feature-oriented domain analysis (FODA) feasibility study. Technical Report, Software Engineering Inst., Carnegie-Mellon Univ., PITTSBURGH, PA, 1990. http://www.oppybunny.org/robin/web/virtualclassroom/chap12/s4/articles/foda_1990.pdf, Oct. 2020.

  27. Ajila S A, Tierney P J. The FOOM method—Modeling software product lines in industrial settings. In Proc. the 2002 International Conference on Software Engineering Research and Practice, June 2002.

  28. Chastek G, Donohoe P, Kang K C et al. Product line analysis: A practical introduction. Technical Report, Carnegie-Mellon Univ. Pittsburgh Pa Software Engineering Inst, 2001. https://resources.sei.cmu.edu/asset_files/TechnicalReport/2001_005_001_13853.pdf, Oct. 2020.

  29. Rao Y S, Guan H, Chen R X et al. A novel dynamic mathematics system based on the Internet. In Proc. the 2018 International Congress on Mathematical Software, July 2018, pp.389-396. DOI: 10.1007/978-3-319-96418-8 46.

  30. Pan T. Using the inverse to prove the multi-circle problem. High-School Mathematics, 2008, 7: 6-10. (in Chinese)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Computing Science and Technology, Guangzhou University, Guangzhou, 510006, China

    Hao Guan, Yong-Sheng Rao & Jing-Zhong Zhang

  2. Chengdu Institute of Computer Applications, Chinese Academy of Sciences, Chengdu, 610041, China

    Hao Guan & Xiao-Lin Qin

  3. University of Chinese Academy of Sciences, Beijing, 100049, China

    Hao Guan & Xiao-Lin Qin

  4. School of Computer Science and Engineering, University of Electronic Science and Technology of China, Chengdu, 61173, China

    Sheng Cao

Authors
  1. Hao Guan
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yong-Sheng Rao
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jing-Zhong Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Sheng Cao
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Xiao-Lin Qin
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Yong-Sheng Rao.

Supplementary Information

ESM 1

(PDF 173 kb)

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Guan, H., Rao, YS., Zhang, JZ. et al. Method for Processing Graph Degeneracy in Dynamic Geometry Based on Domain Design. J. Comput. Sci. Technol. 36, 910–921 (2021). https://doi.org/10.1007/s11390-021-0095-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11390-021-0095-8

Keywords

Search

Navigation