{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T07:24:49Z","timestamp":1648884289198},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2001,2,1]],"date-time":"2001-02-01T00:00:00Z","timestamp":980985600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sci China Ser F"],"published-print":{"date-parts":[[2001,2]]},"DOI":"10.1007\/bf02713939","type":"journal-article","created":{"date-parts":[[2007,10,5]],"date-time":"2007-10-05T14:28:51Z","timestamp":1191594531000},"page":"50-59","source":"Crossref","is-referenced-by-count":0,"title":["Geometric constraint solving with geometric transformation"],"prefix":"10.1007","volume":"44","author":[{"given":"Xiaoshan","family":"Gao","sequence":"first","affiliation":[]},{"given":"Leidong","family":"Huang","sequence":"additional","affiliation":[]},{"given":"Kun","family":"Jiang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF02713939_CR1","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1007\/3-540-47997-X_12","volume-title":"Automated Deduction in Geometry","author":"X. S. Gao","year":"1999","unstructured":"Gao, X. S., Automated geometry diagram construction and intelligent CAD, in Automated Deduction in Geometry, 1999, Berlin: Springer-Verlag, 232\u2013257."},{"issue":"2","key":"BF02713939_CR2","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1145\/248210.248223","volume":"16","author":"I. Fudos","year":"1997","unstructured":"Fudos, I., Hoffmann, C. M., A graph-constructive approach to solving systems of geometric constraints, ACM Transactions on Graphics, 1997, 16(2): 179.","journal-title":"ACM Transactions on Graphics"},{"key":"BF02713939_CR3","first-page":"379","volume-title":"Proc. 1st Symp. Solid Modeling Foundations & CAD\/CAM Applications","author":"J. C. Owen","year":"1991","unstructured":"Owen, J. C., Algebraic solution for geometry from dimensional constraints, in Proc. 1st Symp. Solid Modeling Foundations & CAD\/CAM Applications, New York: ACM Press, 1991, 379\u2013407."},{"issue":"11","key":"BF02713939_CR4","doi-asserted-by":"crossref","first-page":"917","DOI":"10.1016\/0010-4485(96)00023-1","volume":"28","author":"R. S. Latheam","year":"1994","unstructured":"Latheam, R. S., Middleditch, A. E., Connectivity analysis: a tool for processing geometric constraints, Computer Aided Design, 1994, 28(11), 917.","journal-title":"Computer Aided Design"},{"key":"BF02713939_CR5","unstructured":"Yuan, B., Sun, J. G., A graph based approach to design decomposition, The Sixth International Conference on CAD & CG, Dec. 1999, Shanghai-China, 984\u2013988."},{"issue":"1","key":"BF02713939_CR6","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/S0010-4485(97)00052-3","volume":"30","author":"X. S. Gao","year":"1998","unstructured":"Gao, X. S., Chou, S. C., Solving geometric constraint systems I. A global propagation approach, Computer-Aided Design, 1998, 30(1): 47.","journal-title":"Computer-Aided Design"},{"key":"BF02713939_CR7","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1007\/3-540-47997-X_13","volume-title":"Automated Deduction in Geometry","author":"J. Y. Lee","year":"1999","unstructured":"Lee, J. Y., A 2D Geometric constraint solver for parametric design using graph reduction and analysis, Automated Deduction in Geometry, New York: Springer-Verlag, 1999, 258\u2013274."},{"key":"BF02713939_CR8","volume-title":"Solving Geometric Constraint Systems","author":"G. Kramer","year":"1992","unstructured":"Kramer, G., Solving Geometric Constraint Systems, New York: MIT Press, 1992."},{"issue":"2","key":"BF02713939_CR9","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1016\/0010-4485(92)90040-H","volume":"24","author":"A. Verroust","year":"1992","unstructured":"Verroust, A., Schonek, F., Roller, D., Rule-oriented method for parameterized computer-aided design, Computer-Aided Design, 1992, 24(2): 531.","journal-title":"Computer-Aided Design"},{"issue":"1","key":"BF02713939_CR10","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/300776.300780","volume":"18","author":"T. Joan-Arinyo","year":"1999","unstructured":"Joan-Arinyo, T., Soto-Riera, A., Combining constructive and educational geometric constraint-solving techniques, ACM Trans. on Graphics, 1999, 18(1): 35.","journal-title":"ACM Trans. on Graphics"},{"issue":"14","key":"BF02713939_CR11","first-page":"867","volume":"31","author":"J. X. Ge","year":"1999","unstructured":"Ge, J. X., Chou, S. C., Gao, X. S., Geometric constraint satisfaction using optimization methods, CAD, 1999, 31(14): 867.","journal-title":"CAD"},{"key":"BF02713939_CR12","unstructured":"Heydon, A., Nelson, G., The juno-2 constraint-based drawing editor, SRC Research Report 131a, 1994."},{"issue":"1","key":"BF02713939_CR13","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/2945.489384","volume":"2","author":"H. Lamure","year":"1996","unstructured":"Lamure, H., Michelucci, D., Solving geometric constraints by homotopy, IEEE Trans., on Visualization and Computer Graphics, 1996, 2(1): 28.","journal-title":"IEEE Trans., on Visualization and Computer Graphics"},{"key":"BF02713939_CR14","first-page":"208","volume":"14","author":"R. Light","year":"1982","unstructured":"Light, R., Gossard, D., Modification of geometric models through variational geometry, Geometric Aided Design, 1982, 14: 208.","journal-title":"Geometric Aided Design"},{"issue":"2","key":"BF02713939_CR15","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/S0010-4485(97)00055-9","volume":"30","author":"X. S. Gao","year":"1998","unstructured":"Gao, X. S., Chou, S. C., Solving geometric constraint problems, II. A symbolic approach and decision of Rc-constructibility, Computer Aided Design, 1998, 30(2): 115.","journal-title":"Computer Aided Design"},{"issue":"3","key":"BF02713939_CR16","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/0010-4485(92)90033-7","volume":"24","author":"K. Kondo","year":"1992","unstructured":"Kondo, K., Algebraic method for manipulation of dimensional relationships in geometric models, Geometric Aided Design, 1992, 24(3): 141.","journal-title":"Geometric Aided Design"},{"key":"BF02713939_CR17","doi-asserted-by":"crossref","unstructured":"Hoffmann, C. M., Lomonosov, A., Sitharam, M., Finding solvable subsets of constraint graphs, LNCS, 1997, (1330): 163.","DOI":"10.1007\/BFb0017460"},{"key":"BF02713939_CR18","volume-title":"Mechanical Geometry Theorem Proving","author":"S. C. Chou","year":"1988","unstructured":"Chou, S. C., Mechanical Geometry Theorem Proving, Dordrecht: D. Reidel Publishing Company, 1988."},{"key":"BF02713939_CR19","doi-asserted-by":"crossref","DOI":"10.1142\/2196","volume-title":"Machine Proofs in Geometry","author":"S. C. Chou","year":"1994","unstructured":"Chou, S. C., Gao X. S., Zhang, J. Z., Machine Proofs in Geometry, Singapore: World Scientific, 1994."},{"key":"BF02713939_CR20","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/S0252-9602(18)30628-3","volume":"2","author":"W. T. Wu","year":"1982","unstructured":"Wu, W. T., Toward mechanization of geometry\u2014Some comments on Hilbert\u2019s \u201cGrundlagen der Geometrie\u201d, Acta Math. Sci., 1982, 2: 125.","journal-title":"Acta Math. Sci."},{"key":"BF02713939_CR21","unstructured":"Wang, D., On Wu\u2019s method for proving constructive geometric theorems, in Proc. IJCAI 89 (Detroit, August 20\u201325, 1989), 1989, 419\u2013424."},{"key":"BF02713939_CR22","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/BF00283133","volume":"17","author":"S. C. Chou","year":"1996","unstructured":"Chou, S. C., Gao, X. S., Zhang, J. Z., Automated generation of readable proofs with geometric invariants, I. Multiple and shortest proof generation, J. of Automated Reasoning, 1996, 17: 325.","journal-title":"J. of Automated Reasoning"},{"key":"BF02713939_CR23","unstructured":"Li, H. B., Cheng, M. T., Automated ordering for automated theorem proving in elementary geometry, MM-Preprints, 1999, (18): 84."},{"key":"BF02713939_CR24","doi-asserted-by":"crossref","DOI":"10.1142\/2196","volume-title":"Machine Proof in Geometry","author":"S. C. Chou","year":"1994","unstructured":"Chou, S. C., Gao, X. S., Zhang, J. Z., Machine Proof in Geometry, Singapore: World Scientific, 1994."},{"key":"BF02713939_CR25","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/978-3-7091-6604-8_8","volume-title":"Automated practical reasoning: Algebraic approaches","author":"D. Wang","year":"1995","unstructured":"Wang, D., Reasoning about geometric problems using an elimination method, In Automated practical reasoning: Algebraic approaches (eds. Pfalzgraf, J., Wang, D.), New York: Springer Verlag, 1995, 147\u2013185."},{"issue":"6","key":"BF02713939_CR26","first-page":"513","volume":"9","author":"J. X. Dong","year":"1997","unstructured":"Dong, J. X., Ge, J. X., Gao, Y. et al., New ideas for constraint solving in parametric drawing systems, CAD and Graphics, 1997, 9(6): 513.","journal-title":"CAD and Graphics"},{"key":"BF02713939_CR27","volume-title":"Basical principles of mechanical geometry theorem proving","author":"W. T. Wu","year":"1994","unstructured":"Wu, W. T., Basical principles of mechanical geometry theorem proving, New York: Springer-Verlag, 1994."},{"issue":"7","key":"BF02713939_CR28","first-page":"394","volume":"7","author":"L. P. Chen","year":"1996","unstructured":"Chen, L. P., Tu, C., Luo, H., and Zhou, J., A New parametric oriented drawing technique, Ruanjian Xue-Bao (in Chinese), 1996, 7(7): 394.","journal-title":"Ruanjian Xue-Bao"},{"key":"BF02713939_CR29","first-page":"204","volume":"6","author":"W. T. Wu","year":"1986","unstructured":"Wu, W. T., A mechanization method of geometry and its applications I. Distances, areas, and volumes, J. Sys. Sci. and Math. Scis., 1986, 6: 204.","journal-title":"J. Sys. Sci. and Math. Scis."}],"container-title":["Science in China Series F Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02713939.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02713939\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02713939","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T01:11:00Z","timestamp":1558228260000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02713939"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,2]]},"references-count":29,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2001,2]]}},"alternative-id":["BF02713939"],"URL":"https:\/\/doi.org\/10.1007\/bf02713939","relation":{},"ISSN":["1009-2757","1862-2836"],"issn-type":[{"value":"1009-2757","type":"print"},{"value":"1862-2836","type":"electronic"}],"subject":[],"published":{"date-parts":[[2001,2]]}}}