{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:31:42Z","timestamp":1761489102288},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2013,3,13]],"date-time":"2013-03-13T00:00:00Z","timestamp":1363132800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[2014,1]]},"DOI":"10.1007\/s10817-013-9280-y","type":"journal-article","created":{"date-parts":[[2013,3,12]],"date-time":"2013-03-12T02:47:38Z","timestamp":1363056458000},"page":"99-122","source":"Crossref","is-referenced-by-count":5,"title":["The Reachability Problem in Constructive Geometric Constraint Solving Based Dynamic Geometry"],"prefix":"10.1007","volume":"52","author":[{"given":"Marta R.","family":"Hidalgo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Joan-Arinyo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,3,13]]},"reference":[{"issue":"6","key":"9280_CR1","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1016\/0010-4485(94)00013-4","volume":"27","author":"W Bouma","year":"1995","unstructured":"Bouma, W., Fudos, I., Hoffmann, C., Cai, J., Paige, R.: Geometric constraint solver. Comput. Aided Des. 27(6), 487\u2013501 (1995)","journal-title":"Comput. Aided Des."},{"key":"9280_CR2","unstructured":"Br\u00fcderlin, B.D.: Rule-based geometric modelling. PhD thesis, Institut f\u00fcr Informatik der ETH Z\u00fcrich (1988)"},{"key":"9280_CR3","doi-asserted-by":"crossref","unstructured":"Bournez, O., Potapov, I. (eds.): Reachability problems. In: LNCS, Theoretical Notes in Computer Science, vol. 5797. Palaiseau, France (2009)","DOI":"10.1007\/978-3-642-04420-5"},{"key":"9280_CR4","doi-asserted-by":"crossref","unstructured":"Denner-Broser, B.: On the decidability of tracing problems in dynamic geometry. In: Hong, H., Wang, D. (eds.) LNAI 3763, pp. 111\u2013129. Springer (2006)","DOI":"10.1007\/11615798_8"},{"key":"9280_CR5","unstructured":"Denner-Broser, B.: Tracing problems in dynamic geometry. PhD thesis, Institut f\u00fcr Informatik, Freie Universit\u00e4t Berlin (2008)"},{"key":"9280_CR6","doi-asserted-by":"crossref","unstructured":"Denner-Broser, B.: An algorithm for the tracing problem using interval analysis. In: SAC\u201908, pp. 1832\u20131837. Fortaleza, Cear\u00e1, Brazil (2008)","DOI":"10.1145\/1363686.1364127"},{"key":"9280_CR7","unstructured":"DynBCN: A constructive geometric constraint-based dynamic geometry system. http:\/\/floss.lsi.upc.edu . Accessed 27 Nov 2012"},{"key":"9280_CR8","volume-title":"Principles and Practice","author":"J Foley","year":"1996","unstructured":"Foley, J., van Dam, A., Feiner, S., Hughes, J.: Computer graphics. In: Principles and Practice, 2nd edn. Addison-Wesley, Reading (1996)","edition":"2"},{"issue":"2","key":"9280_CR9","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/j.cad.2009.02.016","volume":"42","author":"M Freixas","year":"2010","unstructured":"Freixas, M., Joan-Arinyo, R., Soto-Riera, A.: A constraint-based dynamic geometry system. Comput. Aided Des. 42(2), 151\u2013161 (2010)","journal-title":"Comput. Aided Des."},{"issue":"4","key":"9280_CR10","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1142\/S0218195996000253","volume":"6","author":"I Fudos","year":"1996","unstructured":"Fudos, I., Hoffmann, C.M.: Correctness proof of a geometric constraint solver. Int. J. Comput. Geom. Appl. 6(4), 405-420 (1996)","journal-title":"Int. J. Comput. Geom. Appl."},{"issue":"7","key":"9280_CR11","doi-asserted-by":"crossref","first-page":"727","DOI":"10.1080\/136588198241635","volume":"12","author":"R Golledge","year":"1998","unstructured":"Golledge, R., Klatzy, R., Loomis, J., Speigle, J., Tietz, J.: A geographical information system for a GPS based personal guidance system. Int. J. Geogr. Inf. Sci. 12(7), 727\u2013749 (1998)","journal-title":"Int. J. Geogr. Inf. Sci."},{"key":"9280_CR12","unstructured":"Halabi, S.: Internet Routing Architectures, 2nd edn. Cisco Press (2000)"},{"issue":"7","key":"9280_CR13","doi-asserted-by":"crossref","first-page":"709","DOI":"10.1016\/j.cad.2012.02.012","volume":"44","author":"M Hidalgo","year":"2012","unstructured":"Hidalgo, M., Joan-Arinyo, R.: Computing parameter ranges in constructive geometric constraint solving: implementation and correctness proof. Comput. Aided Des. 44(7), 709\u2013720 (2012)","journal-title":"Comput. Aided Des."},{"issue":"5","key":"9280_CR14","doi-asserted-by":"crossref","first-page":"655","DOI":"10.1080\/16864360.2005.10738330","volume":"2","author":"C Hoffmann","year":"2005","unstructured":"Hoffmann, C., Joan-Arinyo, R.: A brief on constraint solving. Comput. Aided Des. Appl. 2(5), 655\u2013663 (2005)","journal-title":"Comput. Aided Des. Appl."},{"key":"9280_CR15","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1006\/jsco.2000.0402","volume":"31","author":"C Hoffmann","year":"2001","unstructured":"Hoffmann, C., Lomonosov, A., Sitharam, M.: Decompostion plans for geometric constraint systems, part I: performance measurements for CAD. J. Symb. Comput. 31, 367\u2013408 (2001)","journal-title":"J. Symb. Comput."},{"key":"9280_CR16","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1006\/jsco.2000.0403","volume":"31","author":"C Hoffmann","year":"2001","unstructured":"Hoffmann, C., Lomonosov, A., Sitharam, M.: Decompostion plans for geometric constraint problems, part II: new algorithms. J. Symb. Comput. 31, 409\u2013427 (2001)","journal-title":"J. Symb. Comput."},{"issue":"5\u20136","key":"9280_CR17","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1142\/S0218195906002105","volume":"16","author":"C Jerman","year":"2006","unstructured":"Jerman, C., Trombettoni, G., Neveu, B., Mathis, P.: Decomposition of geometric constraint systems: a survey. Int. J. Comput. Geom. Appl. 16(5\u20136), 379\u2013414 (2006)","journal-title":"Int. J. Comput. Geom. Appl."},{"issue":"5","key":"9280_CR18","doi-asserted-by":"crossref","first-page":"599","DOI":"10.1016\/S0097-8493(97)00038-1","volume":"21","author":"R Joan-Arinyo","year":"1997","unstructured":"Joan-Arinyo, R., Soto, A.: A correct rule-based geometric constraint solver. Comput. Graph. 21(5), 599\u2013609 (1997)","journal-title":"Comput. Graph."},{"key":"9280_CR19","doi-asserted-by":"crossref","unstructured":"Joan-Arinyo, R., Soto-Riera, A., Vila-Marta, S., Vilaplana, J.: On the domain of constructive geometric constraint solving techniques. In: Duricovic, R., Czanner, S. (eds.) Spring Conference on Computer Graphics, pp. 49\u201354. IEEE Computer Society, Los Alamitos, CA, Budmerice, Slovakia (2001)","DOI":"10.1109\/SCCG.2001.945336"},{"issue":"1","key":"9280_CR20","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/S0097-8493(02)00243-1","volume":"27","author":"R Joan-Arinyo","year":"2003","unstructured":"Joan-Arinyo, R., Luz\u00f3n, M., Soto, A.: Genetic algorithms for root multiselection in constructive geometric constraint solving. Comput. Graph. 27(1), 51\u201360 (2003)","journal-title":"Comput. Graph."},{"issue":"1","key":"9280_CR21","doi-asserted-by":"crossref","first-page":"15","DOI":"10.3722\/cadaps.2009.15-25","volume":"6","author":"R Joan-Arinyo","year":"2009","unstructured":"Joan-Arinyo, R., Luz\u00f3n, M., Yeguas, E.: Search space pruning to solve the root identification problem in geometric constraint solving. Comput. Aided Des. Appl. 6(1), 15\u201325 (2009)","journal-title":"Comput. Aided Des. Appl."},{"key":"9280_CR22","unstructured":"Kang, M.W., Pha, M., Hwang, D.: Part I. A GIS-based simulation model for positioning & routing unmanned ground vehicles. Tech. rep., Center for Advanced Transportation and Infrastrcuture Engineering, Morgan State University (2010)"},{"key":"9280_CR23","volume-title":"Mathematical Logic","author":"SC Kleene","year":"1967","unstructured":"Kleene, S.C.: Mathematical Logic. Wiley, New York (1967)"},{"key":"9280_CR24","unstructured":"Kortenkamp, U.: Foundations of dynamic geometry. PhD Thesis, Swiss Federal Institute of Technology Zurich (1999)"},{"issue":"4","key":"9280_CR25","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/BF01534980","volume":"4","author":"G Laman","year":"1970","unstructured":"Laman, G.: On graphs and rigidity of plane skeletal structures. J. Eng. Math. 4(4), 331\u2013340 (1970)","journal-title":"J. Eng. Math."},{"issue":"1","key":"9280_CR26","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1137\/0603009","volume":"3","author":"L Lov\u00e1sz","year":"1982","unstructured":"Lov\u00e1sz, L., Yemini, Y.: On generic rigidity in the plane. SIAM J. Algebr. Discrete Methods 3(1), 91\u201398 (1982)","journal-title":"SIAM J. Algebr. Discrete Methods"},{"key":"9280_CR27","first-page":"1","volume-title":"Proceedings of the Smale Fest 2000, Foundations Computational Mathematics","author":"J Richter-Gebert","year":"2001","unstructured":"Richter-Gebert, J., Kortenkamp, U.H.: Complexity issues in dynamic geometry. In: Proceedings of the Smale Fest 2000, Foundations Computational Mathematics, pp. 1\u201337. World Scientific, Singapore (2001)"},{"key":"9280_CR28","volume-title":"Artificial Intelligence: A Modern Approach","author":"S Russell","year":"2003","unstructured":"Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach. Prentice Hall, Upper Saddle River (2003)"},{"issue":"3","key":"9280_CR29","first-page":"79","volume":"15","author":"H Meiden van der","year":"2005","unstructured":"van\u00a0der Meiden, H., Bronsvoort, W.: An efficient method to determine the intended solution for a system of geometric constraints. Int. J. Comput. Geom. 15(3), 79\u201398 (2005)","journal-title":"Int. J. Comput. Geom."},{"issue":"4","key":"9280_CR30","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1016\/j.cad.2006.01.006","volume":"38","author":"H Meiden van der","year":"2006","unstructured":"van\u00a0der Meiden, H., Bronsvoort, W.: A constructive approach to calculate parameter ranges for systems of geometric constraints. Comput. Aided Des. 38(4), 275\u2013283 (2006)","journal-title":"Comput. Aided Des."},{"key":"9280_CR31","unstructured":"Winroth, H.: Dynamic projective geometry. PhD Thesis, Stockholms Universitet (1999)"},{"key":"9280_CR32","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/978-3-642-19730-7_16","volume":"85","author":"J Yang","year":"2011","unstructured":"Yang, J., Dymond, P., Jenkin, M.: Exploiting hierarchical probabilistic motion planning for robot reachable workspace estimation. Informatics Control Autom. Robot 85, 229\u2013241 (2011). doi: 10.1007\/978-3-642-19730-7_16","journal-title":"Informatics Control Autom. Robot"},{"issue":"1","key":"9280_CR33","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/BF01258308","volume":"12","author":"Z Ying","year":"2011","unstructured":"Ying, Z., Iyengar, S.S.: Robot reachability problem: a nonlinear optimization approach. J. Intell. Robot. Syst. 12(1), 87\u2013100 (2011). doi: 10.1007\/BF01258308","journal-title":"J. Intell. Robot. Syst"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-013-9280-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10817-013-9280-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-013-9280-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,10]],"date-time":"2019-07-10T21:59:48Z","timestamp":1562795988000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10817-013-9280-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,13]]},"references-count":33,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,1]]}},"alternative-id":["9280"],"URL":"https:\/\/doi.org\/10.1007\/s10817-013-9280-y","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3,13]]}}}