{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T09:23:12Z","timestamp":1648804992349},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2004,12,1]],"date-time":"2004-12-01T00:00:00Z","timestamp":1101859200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Comput. Sci. & Technol."],"published-print":{"date-parts":[[2004,12]]},"DOI":"10.1007\/bf02973445","type":"journal-article","created":{"date-parts":[[2008,10,14]],"date-time":"2008-10-14T20:49:33Z","timestamp":1224017373000},"page":"820-827","source":"Crossref","is-referenced-by-count":0,"title":["Geometry theorem proving by decomposing polynomial system into strong regular sets"],"prefix":"10.1007","volume":"19","author":[{"given":"Yong-Bin","family":"Li","sequence":"first","affiliation":[]},{"given":"Wu","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Xiao-Lin","family":"Xiang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,10,11]]},"reference":[{"key":"BF02973445_CR1","first-page":"159","volume":"21","author":"W T Wu","year":"1978","unstructured":"Wu W T. On the decision problem and the mechanization of theorem-proving in elementary geometry.Sci. Sin., 1978, 21: 159\u2013172.","journal-title":"Sci. Sin."},{"key":"BF02973445_CR2","first-page":"1","volume-title":"Search dependency between algebraic equations: An algorithm applied to automated reasoning","author":"L Yang","year":"1991","unstructured":"Yang L, Zhang J Z. Search dependency between algebraic equations: An algorithm applied to automated reasoning. I.C.T.P. preprint IC\/91\/6, International Atomic Energy Agency, Miramare, Trieste, 1991, pp. 1\u201317."},{"key":"BF02973445_CR3","volume-title":"Non-Linear Equation Systems and Automated Theorem Proving","author":"L Yang","year":"1996","unstructured":"Yang L, Zhang J Z, Hou X R. Non-Linear Equation Systems and Automated Theorem Proving. Shanghai: Shanghai Sci. Tech. Education Press, 1996, (in Chinese)."},{"key":"BF02973445_CR4","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1006\/jsco.1993.1011","volume":"15","author":"M Kalkbrener","year":"1993","unstructured":"Kalkbrener M. A generalized Euclidean algorithm for computing triangular representations of algebraic varieties.J. Symb. Comput., 1993, 15: 143\u2013167.","journal-title":"J. Symb. Comput."},{"key":"BF02973445_CR5","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1006\/jsco.1999.0355","volume":"30","author":"D Wang","year":"2000","unstructured":"Wang D. Decomposing triangular systems and regular systems.J. Symb. Comput. 2000, 30: 221\u2013236.","journal-title":"J. Symb. Comput."},{"key":"BF02973445_CR6","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/978-3-7091-6202-6_5","volume-title":"Elimination Methods","author":"D Wang","year":"2001","unstructured":"Wang D. Elimination Methods. Wien\/New York: Springer, 2001, pp. 107\u2013109; 191\u2013203."},{"key":"BF02973445_CR7","first-page":"207","volume":"4","author":"W T Wu","year":"1984","unstructured":"Wu W T. Basic principles of mechanical theorem proving in elementary geometries.J. Syst. Sci. Math. Sci., 1984, 4: 207\u2013235. Also inJ. Automat. Reason., 1986, 2: 221\u2013252.","journal-title":"J. Syst. Sci. Math. Sci."},{"key":"BF02973445_CR8","series-title":"Texts and monographs in symbolic computation","volume-title":"Mechanical Theorem Proving in Geometries: Basic Principles","author":"W T Wu","year":"1994","unstructured":"Wu W T. Mechanical Theorem Proving in Geometries: Basic Principles. Translated from the Chinese by X Jin and D. Wang, Springer, Wien\/New York (Texts and monographs in symbolic computation), 1994."},{"key":"BF02973445_CR9","first-page":"237","volume":"4","author":"S C Chou","year":"1988","unstructured":"Chou S C. An introduction to Wu's method for mechanical theorem proving in geometry.J. Automat. Reason., 1988, 4: 237\u2013267.","journal-title":"J. Automat. Reason."},{"key":"BF02973445_CR10","series-title":"Tech. Rep. 85CRD139","volume-title":"ALGE-prover: An algebraic geometry theorem proving software","author":"H P Ko","year":"1985","unstructured":"Ko H P, Hussain M A. ALGE-prover: An algebraic geometry theorem proving software. Tech. Rep. 85CRD139, General Electric Co., Schenectady, N.Y., 1985."},{"key":"BF02973445_CR11","first-page":"75","volume":"2","author":"D Wang","year":"1987","unstructured":"Wang D, Gao X S. Geometry theorems proved mechanically using Wu's method\u2014Part on Euclidean geometry.Math. Mech. Res. Preprints, 1987, 2: 75\u2013106.","journal-title":"Math. Mech. Res. Preprints"},{"key":"BF02973445_CR12","first-page":"547","volume":"37","author":"J Z Zhang","year":"1994","unstructured":"Zhang J Z, Yang L, Hou X R. A criterion for dependency of algebraic equations with applications to automated theorem proving.Sci. China (Ser. A), 1994, 37: 547\u2013554.","journal-title":"Sci. China"},{"key":"BF02973445_CR13","first-page":"200","volume":"15","author":"J Z Zhang","year":"1995","unstructured":"Zhang J Z, Yang L, Hou X R. The WE complete algorithm for automated theorem proving in geometry.J. Syst. Sci. and Math. Sci., 1995, 15: 200\u2013207. (in Chinese)","journal-title":"J. Syst. Sci. and Math. Sci."},{"key":"BF02973445_CR14","doi-asserted-by":"crossref","unstructured":"Wang D. Algebraic factoring and geometry theorem proving. InSpringer's LNCS 814, 1994, pp. 386\u2013400.","DOI":"10.1007\/3-540-58156-1_27"},{"key":"BF02973445_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01531321","volume":"13","author":"D Wang","year":"1995","unstructured":"Wang D. Elimination procedures for mechanical theorem proving in geometry.Ann. Math. Artif. Intell., 1995, 13: 1\u201324.","journal-title":"Ann. Math. Artif. Intell."},{"issue":"3","key":"BF02973445_CR16","first-page":"331","volume":"37","author":"Y B Li","year":"2000","unstructured":"Li Y B. The expanding WE algorithm of mechanical geometry theorem proving.Journal of Sichuan University (Natural Science Edition), 2000, 37(3): 331\u2013335. (in Chinese)","journal-title":"Journal of Sichuan University (Natural Science Edition)"},{"key":"BF02973445_CR17","first-page":"361","volume-title":"Proc. ICMS 2002, Beijing, August 17\u201319, 2002","author":"Y B Li","year":"2002","unstructured":"Li Y B, Zhang J Z, Yang L. Decomposing polynomial systems into strong regular sets. InProc. ICMS 2002, Beijing, August 17\u201319, 2002. Cohen A M, Gao X S, Takayama N (eds.), World Scientific, Singapore, 2002, pp. 361\u2013371."},{"key":"BF02973445_CR18","unstructured":"Zhang J Z, Yang L, Hou X R. A note on Wu Wen-Ts\u00fcn's nondegenerate condition. I.C.T.P. preprint IC\/91\/160, International Atomic Energy Agency, Miramare, Trieste, 1991. InChinese Science Bulletin, 1993, 38(1): 86\u201387."},{"key":"BF02973445_CR19","volume-title":"The expanding WE algorithm and the approach of strong regular decomposition on nonlinear algebraic equation system [Dissertation]","author":"Y B Li","year":"2001","unstructured":"Li Y B. The expanding WE algorithm and the approach of strong regular decomposition on nonlinear algebraic equation system [Dissertation]. Mathematical College, Sichuan University, Chengdu, China, 2001."},{"key":"BF02973445_CR20","first-page":"299","volume-title":"Geometric Computation","author":"Y B Li","year":"2003","unstructured":"Li Y B. Automated derivation of unknown relations and determination of geometry loci. InGeometric Computation, Wang D, Chen F L, (eds.), World Scientific, Singapore, 2003, pp. 299\u2013321."},{"key":"BF02973445_CR21","doi-asserted-by":"crossref","unstructured":"Chen X F, Wang D K. The Projection of Quasi Variety and Its Application to Geometric Theorem Proving, MM-Preprints, MMRC, 2002, 21: 6\u201314.","DOI":"10.1007\/978-3-540-24616-9_2"}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02973445.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02973445\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02973445","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T23:31:30Z","timestamp":1558567890000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02973445"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,12]]},"references-count":21,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2004,12]]}},"alternative-id":["BF02973445"],"URL":"https:\/\/doi.org\/10.1007\/bf02973445","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,12]]}}}