{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T06:12:17Z","timestamp":1757311937707},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2021,7,1]],"date-time":"2021-07-01T00:00:00Z","timestamp":1625097600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,7,1]],"date-time":"2021-07-01T00:00:00Z","timestamp":1625097600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J. Comput. Sci. Technol."],"published-print":{"date-parts":[[2021,7]]},"DOI":"10.1007\/s11390-021-0095-8","type":"journal-article","created":{"date-parts":[[2021,8,11]],"date-time":"2021-08-11T14:03:15Z","timestamp":1628690595000},"page":"910-921","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Method for Processing Graph Degeneracy in Dynamic Geometry Based on Domain Design"],"prefix":"10.1007","volume":"36","author":[{"given":"Hao","family":"Guan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yong-Sheng","family":"Rao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jing-Zhong","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sheng","family":"Cao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiao-Lin","family":"Qin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,7,30]]},"reference":[{"issue":"4","key":"95_CR1","doi-asserted-by":"publisher","first-page":"385","DOI":"10.3321\/j.issn:1003-9775.2004.04.001","volume":"16","author":"XS Gao","year":"2004","unstructured":"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)","journal-title":"Journal of Computer Aided Design & Computer Graphics"},{"key":"95_CR2","unstructured":"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)"},{"key":"95_CR3","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1016\/j.compedu.2017.06.008","volume":"113","author":"S Bokosmaty","year":"2017","unstructured":"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.","journal-title":"Computers & Education"},{"issue":"3","key":"95_CR4","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s10817-009-9162-5","volume":"45","author":"Z Ye","year":"2010","unstructured":"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.","journal-title":"Journal of Automated Reasoning"},{"issue":"3","key":"95_CR5","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/BF00283133","volume":"17","author":"SC Cou","year":"1996","unstructured":"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.","journal-title":"Journal of Automated Reasoning"},{"issue":"3","key":"95_CR6","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/BF02328447","volume":"2","author":"WT Wu","year":"1986","unstructured":"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.","journal-title":"Journal of Automated Reasoning"},{"issue":"4","key":"95_CR7","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1016\/S0747-7171(86)80007-4","volume":"2","author":"D Kapur","year":"1986","unstructured":"Kapur D. Using Gr\u00f6bner 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.","journal-title":"Journal of Symbolic Computation"},{"issue":"3","key":"95_CR8","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1145\/3015306.3015309","volume":"50","author":"M Ab\u00e1nades","year":"2016","unstructured":"Ab\u00e1nades M, Botana F, Kov\u00e1cs 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.","journal-title":"ACM Communications in Computer Algebra"},{"key":"95_CR9","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1007\/s11432-017-9235-7"},{"key":"95_CR10","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.3390\/su10124683"},{"issue":"3","key":"95_CR11","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1177\/0278364910387173","volume":"30","author":"JH Gillula","year":"2011","unstructured":"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.","journal-title":"The International Journal of Robotics Research"},{"issue":"3","key":"95_CR12","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1177\/0278364910386986","volume":"30","author":"H Kurniawati","year":"2011","unstructured":"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.","journal-title":"The International Journal of Robotics Research"},{"issue":"5","key":"95_CR13","doi-asserted-by":"publisher","first-page":"942","DOI":"10.1016\/j.rcim.2011.03.006","volume":"27","author":"H Chen","year":"2011","unstructured":"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.","journal-title":"Robotics and Computer-Integrated Manufacturing"},{"key":"95_CR14","doi-asserted-by":"publisher","unstructured":"Deng W, Karaliopoulos M, M\u00fchlbauerWet 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.","DOI":"10.1016\/j.comnet.2011.04.009"},{"key":"95_CR15","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1142\/9789812778031_0015"},{"issue":"2","key":"95_CR16","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/s00454-012-9473-x","volume":"49","author":"B Denner-Broser","year":"2013","unstructured":"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.","journal-title":"Discrete & Computational Geometry"},{"issue":"12","key":"95_CR17","first-page":"2163","volume":"29","author":"Q Lin","year":"2006","unstructured":"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)","journal-title":"Chinese Journal of Computers"},{"issue":"1","key":"95_CR18","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/s10817-013-9280-y","volume":"52","author":"MR Hidalgo","year":"2014","unstructured":"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.","journal-title":"Journal of Automated Reasoning"},{"key":"95_CR19","unstructured":"Kortenkamp U H. Foundations of dynamic geometry [Ph.D. Thesis]. Swiss Federal Institute of Technology, 1999."},{"key":"95_CR20","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1145\/1363686.1364127"},{"key":"95_CR21","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1007\/978-3-642-56240-2_12"},{"key":"95_CR22","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1007\/978-3-662-44199-2_37"},{"key":"95_CR23","unstructured":"Liu Z. Research of education-oriented key technologies on three-dimensional dynamic geometry [Ph.D. Thesis]. Central China Normal University, 2012. (in Chinese)"},{"key":"95_CR24","unstructured":"Dubrovin B A, Fomenko A T, Novikov S P. Modern Geometry\u2014Methods and Applications: Part II: The Geometry and Topology of Manifolds. Springer Science & Business Media, 2012."},{"key":"95_CR25","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1145\/326619.326656"},{"key":"95_CR26","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.21236\/ADA235785"},{"key":"95_CR27","unstructured":"Ajila S A, Tierney P J. The FOOM method\u2014Modeling software product lines in industrial settings. In Proc. the 2002 International Conference on Software Engineering Research and Practice, June 2002."},{"key":"95_CR28","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.21236\/ADA388924"},{"key":"95_CR29","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1007\/978-3-319-96418-8"},{"key":"95_CR30","first-page":"6","volume":"7","author":"T Pan","year":"2008","unstructured":"Pan T. Using the inverse to prove the multi-circle problem. High-School Mathematics, 2008, 7: 6-10. (in Chinese)","journal-title":"High-School Mathematics"}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-021-0095-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11390-021-0095-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-021-0095-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,7]],"date-time":"2023-01-07T04:09:43Z","timestamp":1673064583000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11390-021-0095-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7]]},"references-count":30,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2021,7]]}},"alternative-id":["95"],"URL":"https:\/\/doi.org\/10.1007\/s11390-021-0095-8","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,7]]},"assertion":[{"value":"10 October 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 January 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 July 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}