{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T05:30:47Z","timestamp":1737005447848,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":75,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540666721"},{"type":"electronic","value":"9783540479970"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-47997-x_12","type":"book-chapter","created":{"date-parts":[[2007,4,5]],"date-time":"2007-04-05T10:14:18Z","timestamp":1175768058000},"page":"232-258","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Automated Geometry Diagram Construction and Engineering Geometry"],"prefix":"10.1007","author":[{"given":"Xiao-Shan","family":"Gao","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,11,17]]},"reference":[{"issue":"3","key":"12_CR1","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0010-4485(88)90019-X","volume":"20","author":"B. Aldefeld","year":"1988","unstructured":"B. Aldefeld, Variation of Geometries Based on a Geometric-Reasoning Method, Computer Aided Design, 20(3), 117\u2013126, 1988. 234","journal-title":"Computer Aided Design"},{"key":"12_CR2","unstructured":"F. Arbab and B. Wang, Reasoning About Geometric Constraints, in Intelligent CAD II, H. Yoshikawa and T. Holden (eds.), pp. 93\u2013107, North-Holland, 1990. 232, 233"},{"issue":"4","key":"12_CR3","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1145\/357146.357147","volume":"3","author":"A. Borning","year":"1981","unstructured":"A. Borning, The Programming Language Aspect of ThingLab, ACM Tras. on Programming Language and Systems, 3(4), 353\u2013387, 1981. 232, 233","journal-title":"ACM Tras. on Programming Language and Systems"},{"issue":"6","key":"12_CR4","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1016\/0010-4485(94)00013-4","volume":"27","author":"W. Bouma","year":"1995","unstructured":"W. Bouma, C. M. Hoffmann, I. Fudos, J. Cai and R. Paige, A Geometric Constraint Solver, Computer Aided Design, 27(6), 487\u2013501, 1995.","journal-title":"Computer Aided Design"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"B. Brudelin, Constructing Three-Dimensional Geometric Objects Defined by Constraints, in Proc. Workshop on Interactive 3D Graphics, pp. 111\u2013129, ACM Press, 1986. 232, 233","DOI":"10.1145\/319120.319130"},{"issue":"12","key":"12_CR6","doi-asserted-by":"publisher","first-page":"740","DOI":"10.1016\/0010-4485(93)90101-S","volume":"25","author":"S. A. Buchanan","year":"1993","unstructured":"S. A. Buchanan and A. de Pennington, Constraint Definition System: A Computer Algebra Based Approach to Solving Geometric Problems, Computer Aided Design,25(12), 740\u2013750, 1993.","journal-title":"Computer Aided Design"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"B. Buchberger, Gr\u00f6bner Bases: An Algorithmic Method in Polynomial Ideal Theory, in Recent Trends in Multidimensional Systems Theory, D. Reidel Publ. Comp., 1985. 233, 241","DOI":"10.1007\/978-94-009-5225-6_6"},{"key":"12_CR8","volume-title":"Maple V","author":"B. Char","year":"1992","unstructured":"B. Char et al., Maple V, Springer-Verlag, Berlin, 1992. 245"},{"key":"12_CR9","volume-title":"Mechanical Geometry Theorem Proving","author":"S. C. Chou","year":"1988","unstructured":"S. C. Chou, Mechanical Geometry Theorem Proving, D. Reidel Publishing Company, Dordrecht, Netherlands, 1988. 237, 246"},{"key":"12_CR10","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/BF00243793","volume":"3","author":"S. C. Chou","year":"1987","unstructured":"S. C. Chou, A Method for Mechanical Deriving of Formulas in Elementary Geometry, J. of Automated Reasoning, 3, 291\u2013299, 1987. 248","journal-title":"J. of Automated Reasoning"},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1145\/96877.96946","volume-title":"Proc. ISSAC-90","author":"S. C. Chou","year":"1990","unstructured":"S. C. Chou and X. S. Gao, Mechanical Formula Derivation in Elementary Geometries, in Proc. ISSAC-90, pp. 265\u2013270, ACM Press, New York, 1990. 244, 248"},{"key":"12_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/3-540-52885-7_89","volume-title":"Porc. CADE-10","author":"S. C. Chou","year":"1990","unstructured":"S. C. Chou and X. S. Gao, Ritt-Wu\u2019s Decomposition Algorithm and Geometry Theorem Proving, in Porc. CADE-10, M. E. Stickel (ed.), pp. 207\u2013220, LNCS, Vol. 449, Springer-Verlag, Berlin, 1990. 244"},{"key":"12_CR13","doi-asserted-by":"crossref","DOI":"10.1142\/2196","volume-title":"Machine Proofs in Geometry","author":"S. C. Chou","year":"1994","unstructured":"S. C. Chou, X. S. Gao and J. Z. Zhang, Machine Proofs in Geometry, World Scientific, Singapore, 1994. 237"},{"key":"12_CR14","unstructured":"S. C. Chou, X. S. Gao and J. Z. Zhang, A Fixpoint Approach To Automated Geometry Theorem Proving, WSUCS-95-2, CS Dept, Wichita State University, 1995, To appear in J. of Automated Reasoning. 234, 236"},{"key":"12_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/3-540-07407-4_17","volume-title":"Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition","author":"G. E. Collins","year":"1975","unstructured":"G. E. Collins, Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition, in LNCS vol. 33, pp. 134\u2013183, Springer-Verlag, Berlin, 1975. 233, 241, 244"},{"key":"12_CR16","unstructured":"J. Chuan, Geometric Constructions with the Computer, in Proc. ATCM\u201995, pp. 329\u2013338, Springer-Verlag, 1995."},{"key":"12_CR17","unstructured":"K. H. Elster (ed.), Modern Mathematical Methods of Optimization, Akademie Verlag, 1993. 239"},{"issue":"6","key":"12_CR18","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1145\/358669.358692","volume":"24","author":"M. A. Fishler","year":"1981","unstructured":"M. A. Fishler, and R. C. Bolles, Random Sample Consensus: A Paradigm for Model Fitting with Applications to Image Analysis and Automated Cartomated Cartography, Communications of the ACM, 24(6), 381\u2013395, 1981. 252","journal-title":"Communications of the ACM"},{"issue":"2","key":"12_CR19","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1145\/248210.248223","volume":"16","author":"I. Fudos","year":"1997","unstructured":"I. Fudos and C. M. Hoffmann, A Graph-Constructive Approach to Solving Systems of Geometric Constraints, ACM Transactions on Graphics, 16(2), 179\u2013216, 1997.","journal-title":"ACM Transactions on Graphics"},{"key":"12_CR20","unstructured":"Gabri Geometry II, Texas Instruments, Dallas, Texas, 1994. 246"},{"issue":"1","key":"12_CR21","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S0010-4485(97)00052-3","volume":"30","author":"X. S. Gao","year":"1998","unstructured":"X. S. Gao and S. C. Chou, Solving Geometric Constraint Systems, I. A Global Propagation Approach, Computer Aideded Design, 30(1), 47\u201354, 1998. 232, 233, 234, 236, 249","journal-title":"Computer Aideded Design"},{"issue":"2","key":"12_CR22","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/S0010-4485(97)00055-9","volume":"30","author":"X. S. Gao","year":"1998","unstructured":"X. S. Gao and S. C. Chou, Solving Geometric Constraint Systems, II. A Symbolic Computational Approach, Computer Aided Design, 30(2), 115\u2013122, 1998. 233, 241, 243, 244, 246","journal-title":"Computer Aided Design"},{"key":"12_CR23","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1016\/0747-7171(92)90017-X","volume":"14","author":"X. S. Gao","year":"1992","unstructured":"X. S. Gao and S. C. Chou, Implicitization of Rational Parametric Equations, Journal of Symbolic Computation, 14, 459\u2013470, 1992. 247","journal-title":"Journal of Symbolic Computation"},{"key":"12_CR24","unstructured":"X. S. Gao, J. Z. Zhang and S. C. Chou, Geometry Expert, Nine Chapters Pub., 1998, Taiwan (in Chinese). 246"},{"key":"12_CR25","unstructured":"X. S. Gao, C. C. Zhu and Y. Huang, Building Dynamic Mathematical Models with Geometry Expert, I. Geometric Transformations, Functions and Plane Curves, in Proc. of ATCM\u201998, W. C. Yang (ed.), pp. 216\u2013224, Springer-Verlag, 1998. 246, 247"},{"key":"12_CR26","unstructured":"X. S. Gao, C. C. Zhu and Y. Huang, Building Dynamic Mathematical Models with Geometry Expert, II. Linkages, in Proc. of ASCM\u201998, Z. B. Li (ed.), pp. 15\u201322, LanZhou Univ. Press, 1998. 246, 250, 252"},{"key":"12_CR27","unstructured":"X. S. Gao and H. F. Cheng, On the Solution Classification of the \u201cP3P\u201d Problem, in Proc. of ASCM\u201998, Z. B. Li (ed.), pp. 185\u2013200, LanZhou Univ. Press, 1998. 246, 252, 253"},{"key":"12_CR28","unstructured":"J. X. Ge, S. C. Chou and X. S. Gao, Geometric Constraint Satisfaction Using Optimization Methods, WSUCS-98-1, CS Dept, Wichita State University, 1998, submitted to CAD. 239"},{"key":"12_CR29","unstructured":"H. Gelernter, Realization of a Geometry-Theorem Proving Machine, in Computers and Thought, E. A. Feigenbaum and J. Feldman (eds.), pp. 134\u2013152, Mcgraw Hill. 232"},{"issue":"3","key":"12_CR30","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1137\/0202012","volume":"2","author":"J. Hopcroft","year":"1973","unstructured":"J. Hopcroft and R. Tarjan, Dividing A Graph into Triconnected Components, SIAM J. Computing, 2(3), 135\u2013157, 1973. 237","journal-title":"SIAM J. Computing"},{"key":"12_CR31","first-page":"33","volume":"47","author":"R. Horaud","year":"1989","unstructured":"R. Horaud, B. Conio and O. Leboulleux, An Analytic Solution for the Perspective 4-Point Problem, CVGIP, 47, 33\u201344, 1989. 252","journal-title":"CVGIP"},{"key":"12_CR32","unstructured":"A. Heydon and G. Nelson, The Juno-2 Constraint-Based Drawing Editor, SRC Research Report 131a, 1994. 232, 233"},{"key":"12_CR33","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1142\/9789812831699_0008","volume-title":"R2 and R3, in Computing in Euclidean Geometry","author":"C. Hoffmann","year":"1995","unstructured":"C. Hoffmann, Geometric Constraint Solving in R2 and R3, in Computing in Euclidean Geometry, D. Z. Du and F. Huang (eds.), pp. 266\u2013298, World Scientific, Singapore, 1995. 232, 233, 234"},{"issue":"2","key":"12_CR34","first-page":"91","volume":"28","author":"C. Hoffmann","year":"1996","unstructured":"C. Hoffmann and I. Fudos, Constraint-based Parametric Conics for CAD, Geometric Aided Design, 28(2), 91\u2013100, 1996.","journal-title":"Geometric Aided Design"},{"key":"12_CR35","first-page":"181","volume-title":"Proc. IWMM\u201992","author":"Y. Huang","year":"1992","unstructured":"Y. Huang and W. D. Wu, Kinematic Solution of a Steawrt Platform, in Proc. IWMM\u201992, (W. T. Wu and M. D. Cheng Eds.), pp. 181\u2013188, Inter. Academic Publishers, Beijing, 1992. 247"},{"key":"12_CR36","volume-title":"Geometer\u2019s Sketchpad","author":"N. Jakiw","year":"1994","unstructured":"N. Jakiw, Geometer\u2019s Sketchpad, User Guide and Reference Manual, Key Curriculum Press, Berkeley, USA, 1994. 246"},{"key":"12_CR37","volume-title":"Basic Algebra","author":"N. Jacobson","year":"1985","unstructured":"N. Jacobson, Basic Algebra, Vol. 1, Freeman, San Francisco, 1985. 245"},{"key":"12_CR38","doi-asserted-by":"crossref","unstructured":"D. Kapur, Geometry Theorem Proving Using Hilbert\u2019s Nullstellensatz, in Proc. SYMSAC\u201986, Waterloo, pp. 202\u2013208, ACM Press, 1986. 244","DOI":"10.1145\/32439.32479"},{"key":"12_CR39","volume-title":"Proc. ISSAC\u201994","author":"D. Kapur","year":"1994","unstructured":"D. Kapur, T. Saxena and L. Yang, Algebraic and Geometric Reasoning with Dixon Resultants, in Proc. ISSAC\u201994, Oxford, ACM Press, 1994. 233, 241"},{"key":"12_CR40","doi-asserted-by":"crossref","unstructured":"A. B. Kempe, On a General Method of Describing Plane Curves of the n-th Degree by Linkwork, Proc. of L. M. S., 213\u2013216, 1876; see also, Messenger of Math., T. VI., 143\u2013144. 247, 250","DOI":"10.1112\/plms\/s1-7.1.213"},{"key":"12_CR41","unstructured":"J. King abd D. Schattschneider, Geometry Turned On, The Mathematical Association of America, 1997. 246"},{"issue":"3","key":"12_CR42","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/0010-4485(92)90033-7","volume":"24","author":"K. Kondo","year":"1992","unstructured":"K. Kondo, Algebraic Method for Manipulation of Dimensional Relationships in Geometric Models, Geometric Aided Design, 24(3), 141\u2013147, 1992. 233, 244","journal-title":"Geometric Aided Design"},{"key":"12_CR43","unstructured":"G. Kramer, Solving Geometric Constraint Systems, MIT Press, 1992. 232, 233, 234"},{"key":"12_CR44","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1016\/0004-3702(92)90012-M","volume":"58","author":"G. Kramer","year":"1992","unstructured":"G. Kramer, A Geometric Constraint Engine, Artificial Intelligence, 58, 327\u2013360, 1992.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"12_CR45","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/2945.489384","volume":"2","author":"H. Lamure","year":"1996","unstructured":"H. Lamure and D. Michelucci, Solving Geometric Constraints by Homotopy, IEEE Trans on Visualization and Computer Graphics, 2(1), 28\u201334, 1996. 239","journal-title":"IEEE Trans on Visualization and Computer Graphics"},{"issue":"11","key":"12_CR46","doi-asserted-by":"publisher","first-page":"917","DOI":"10.1016\/0010-4485(96)00023-1","volume":"28","author":"R. S. Latheam","year":"1994","unstructured":"R. S. Latheam and A. E. Middleditch, Connectivity Analysis: A Tool for Processing Geometric Constraints, Computer Aided Design, 28(11), 917\u2013928, 1994. 233, 234","journal-title":"Computer Aided Design"},{"issue":"10","key":"12_CR47","doi-asserted-by":"publisher","first-page":"831","DOI":"10.1016\/0010-4485(96)00016-4","volume":"28","author":"J. Y. Lee","year":"1996","unstructured":"J. Y. Lee and K. Kim, Geometric Reasoning for Knowledge-Based Parametric Design Using Graph Representation, Computer Aided Design, 28(10), 831\u2013841, 1996. 234","journal-title":"Computer Aided Design"},{"issue":"1","key":"12_CR48","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1016\/0010-4485(85)90006-5","volume":"17","author":"K. Lee","year":"1985","unstructured":"K. Lee and G. Andrews, Inference of the Positions of Components in an Assembly: Part 2, Computer Aided Design, 17(1), 20\u201324, 1985.","journal-title":"Computer Aided Design"},{"key":"12_CR49","unstructured":"W. Leler, Constraint Programming Languages, Addison Wesley, 1988. 234"},{"key":"12_CR50","first-page":"208","volume":"14","author":"R. Light","year":"1982","unstructured":"R. Light and D. Gossard, Modification of Geometric Models through Variational Geometry, Geometric Aided Design, 14, 208\u2013214, 1982.","journal-title":"Geometric Aided Design"},{"issue":"3","key":"12_CR51","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1145\/965161.806803","volume":"15","author":"V. C. Lin","year":"1981","unstructured":"V. C. Lin, D. C. Gossard and R. A. Light, Variational Geometry in Computer-Aided Design, Computer Graphics 15(3), 171\u2013177, 1981. 233","journal-title":"Computer Graphics"},{"key":"12_CR52","unstructured":"G. L. Nemhauser, A. H. G. Rinnooy Kan and M. J. Todd (eds.), Optimization, Elsevier Science Publishers B. V., 1989. 239"},{"key":"12_CR53","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1145\/112515.112573","volume-title":"Proc. ACM Symp. Found. of Solid Modeling","author":"J. Owen","year":"1991","unstructured":"J. Owen, Algebraic Solution for Geometry from Dimensional Constraints, in Proc. ACM Symp. Found. of Solid Modeling, ACM Press, pp.397\u2013407, Austin, TX, 1991. 232, 233, 234, 237"},{"key":"12_CR54","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1142\/S0218195996000265","volume":"6","author":"J. Owen","year":"1996","unstructured":"J. Owen, Constraints of Simple Geometry in Two and Three Dimensions, Inter. J. of Comp. Geometry and Its Applications, 6, 421\u2013434, 1996. 242","journal-title":"Inter. J. of Comp. Geometry and Its Applications"},{"issue":"1","key":"12_CR55","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/S0010-4485(87)80047-7","volume":"19","author":"D. N. Rocheleau","year":"1987","unstructured":"D. N. Rocheleau and K. Lee, System for Interactive Assembly Modeling, Computer Aided Design, 19 (1), 65\u201372, 1987.","journal-title":"Computer Aided Design"},{"key":"12_CR56","first-page":"93","volume-title":"Artificial Intelligence in Engineering: Design","author":"D. Serrano","year":"1988","unstructured":"D. Serrano and D. Gossard, Constraint Management in MCAE, in Artificial Intelligence in Engineering: Design, J. Gero (ed.), pp. 93\u2013110, Elsevier, Amsterdam, 1988."},{"key":"12_CR57","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(80)90032-6","volume":"14","author":"G. L. Steele","year":"1980","unstructured":"G. L. Steele and G. L. Sussman, CONSTRAINTS-A Language for Expressing Almost-Hierarchical Descriptions, Artificial Intelligence, 14, 1\u201339, 1980. 234","journal-title":"Artificial Intelligence"},{"issue":"2","key":"12_CR58","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/0097-8493(90)90033-T","volume":"14","author":"H. Suzuki","year":"1990","unstructured":"H. Suzuki, H. Ando and F. Kimura, Geometric Constraints and Reasoning for Geometrical CAD Systems, Computer and Graphics, 14(2), 211\u2013224, 1990","journal-title":"Computer and Graphics"},{"key":"12_CR59","unstructured":"G. Sunde, Specification of Shape by Dimensions and Other Geometric Constraints, in Geometric Modeling for CAD Applications, M. J. Wozny et al. (eds.), pp. 199\u2013213, North Holland, 1988. 232, 233"},{"key":"12_CR60","unstructured":"I. Sutherland, Sketchpad, A Man-Machine Graphical Communication System, in Proc. of the Spring Joint Comp. Conference, North-Holland, pp. 329\u2013345, 1963. 232, 233"},{"key":"12_CR61","doi-asserted-by":"crossref","DOI":"10.1525\/9780520348097","volume-title":"A Decision Method for Elementary Algebra and Geometry","author":"A. Tarski","year":"1951","unstructured":"A. Tarski, A Decision Method for Elementary Algebra and Geometry, Univ. of California Press, Berkeley, Calif., 1951. 232"},{"key":"12_CR62","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1137\/0402022","volume":"2","author":"P. Todd","year":"1989","unstructured":"P. Todd, A k-tree Generalization that Characterizes Consistency of Dimensioned Engineering Drawings, SIAM J. of Disc. Math., 2, 255\u2013261, 1989. 233, 237","journal-title":"SIAM J. of Disc. Math."},{"key":"12_CR63","unstructured":"R. C. Veltkamp, Geometric Constraint Management with Quanta, in Intelligent Computer Aided Design, D. C. Brown et al. (eds.), pp.409\u2013426, North-Holland, 1992. 232, 233"},{"issue":"3","key":"12_CR64","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1016\/0010-4485(92)90040-H","volume":"24","author":"A. Verroust","year":"1992","unstructured":"A. Verroust, F. Schonek and D. Roller, Rule-oriented Method for Parameterized Computer-aided Design. Geometric Aided Design, 24(3), 531\u2013540, 1992. 234","journal-title":"Geometric Aided Design"},{"key":"12_CR65","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. M. Wang","year":"1995","unstructured":"D. M. Wang, Reasoning about Geometric Problems Using an Elimination Method, in Automated Practical Reasoning: Algebraic Approaches, J. Pfalzgraf and D. Wang (eds.), Springer-Verlag, Wien New York, pp. 147\u2013185, 1995. 248"},{"key":"12_CR66","series-title":"LNAI","first-page":"213","volume-title":"Proc. CADE-13","author":"D. M. Wang","year":"1996","unstructured":"D. M. Wang, GEOTHER: A Geometry Theorem Prover, in Proc. CADE-13, New Brunswick, 1996, pp. 213\u2013239, LNAI, Vol. 1104, Springer-Verlag, Berlin, 1996. 246"},{"key":"12_CR67","unstructured":"D. M. Wang and X. S. Gao, Geometry Theorems Proved Mechanically Using Wu\u2019s Method, Part on Elementary Geometries, MM Research Preprints, No 2, pp. 75\u2013106, 1987, Institute of Systems Science. 248"},{"key":"12_CR68","volume-title":"Mechanical Theorem Proving in Geometries: Basic Principles","author":"W. T. Wu","year":"1994","unstructured":"W. T. Wu, Mechanical Theorem Proving in Geometries: Basic Principles, Springer-Verlag, Wien New York, 1994. 232, 233, 237, 241, 243, 244, 253"},{"key":"12_CR69","first-page":"204","volume":"6","author":"W. T. Wu","year":"1986","unstructured":"W. T. Wu, A Mechanizations Method of Geometry and its Applications I. Distances, Areas and Volumes, J. Sys. Sci. and Math. Scis., 6, 204\u2013216, 1986. 248","journal-title":"J. Sys. Sci. and Math. Scis."},{"key":"12_CR70","volume-title":"Mathematics Mechanization","author":"W. T. Wu","year":"1999","unstructured":"W. T. Wu, Mathematics Mechanization, Science Press, Beijing, 1999. 248"},{"key":"12_CR71","unstructured":"W. T. Wu, A Mechanization Method of Geometry and Its Applications VI. Solving Inverse Kinematics Equations of PUMA-Type Robotics, pp. 49\u201353, MM Research Preprints, No 4, 1989, Institute of Systems Science. 247"},{"key":"12_CR72","unstructured":"W. T. Wu and D. K. Wang, On the Surface Fitting Problems in CAGD (in Chinese), Mathematics in Practice and Theory, 3, 1994. 247"},{"key":"12_CR73","first-page":"73","volume-title":"Proc. CADE-14","author":"L. Yang","year":"1997","unstructured":"L. Yang, H. Fu and Z. Zeng, A Practical Symbolic Algorithm for Inverse Kinematics of 6R Manipulators with Simple Geometry, in Proc. CADE-14, pp. 73\u201386, Springer-Verlag, Berlin, 1997. 247"},{"key":"12_CR74","volume-title":"Non-Linear Algebraic Equations and Theorem Machine Proof","author":"L. Yang","year":"1997","unstructured":"L. Yang, J. Z. Zhang and X. R. Hou, Non-Linear Algebraic Equations and Theorem Machine Proof, ShangHai Science and Education Press, ShangHai, 1997(in Chinese)."},{"key":"12_CR75","unstructured":"L. Yang, A Simplified Algorithm for Solution Classification of the P3P Problem, preprint, 1998. 252"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction in Geometry"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47997-X_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,15]],"date-time":"2025-01-15T14:26:55Z","timestamp":1736951215000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47997-X_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540666721","9783540479970"],"references-count":75,"URL":"https:\/\/doi.org\/10.1007\/3-540-47997-x_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"17 November 2000","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}