{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T13:41:53Z","timestamp":1648906913778},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2007,5,1]],"date-time":"2007-05-01T00:00:00Z","timestamp":1177977600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sc. China"],"published-print":{"date-parts":[[2007,5]]},"DOI":"10.1007\/s11704-007-0018-z","type":"journal-article","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T15:50:30Z","timestamp":1181663430000},"page":"180-190","source":"Crossref","is-referenced-by-count":4,"title":["On the design and implementation of a geometric-object-oriented language"],"prefix":"10.1007","volume":"1","author":[{"given":"Tielin","family":"Liang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dongming","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","volume-title":"Grundlagen der Geometrie","author":"D. Hilbert","year":"1899","unstructured":"Hilbert D. Grundlagen der Geometrie. Teubner, Stuttgart, 1899"},{"key":"18_CR2","volume-title":"Mechanical Theorem Proving in Geometries: Basic Principles (translated from the Chinese version by Jin X, Wang D)","author":"W.-t. Wu","year":"1994","unstructured":"Wu W-t. Mechanical Theorem Proving in Geometries: Basic Principles (translated from the Chinese version by Jin X, Wang D). Springer-Verlag, Wien New York, 1994"},{"key":"18_CR3","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1016\/B978-012734760-8\/50021-1","volume-title":"Mathematics Mechanization and Applications","author":"S.-C. Chou","year":"2000","unstructured":"Chou S-C, Gao X-S, Liu Z, et al. Geometric theorem provers and algebraic equation solvers. In: Gao X-S, Wang D, eds. Mathematics Mechanization and Applications, Academic Press, London, 2000, 491\u2013505"},{"key":"18_CR4","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1007\/11615798_9","volume-title":"Automated Deduction in Geometry","author":"T. Liang","year":"2006","unstructured":"Liang T, Wang D. Towards a geometric-object-oriented language. In: Hong H, Wang D, eds. Automated Deduction in Geometry, LNAI 3763, Springer-Verlag, Berlin Heidelberg, 2006, 130\u2013155"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Joan-Arinyo R, Hoffmann C M. A brief on constraint solving. http:\/\/www.cs.purdue.edu\/homes\/cmh\/distribution\/papers\/Constraints\/ThailandFull.pdf , 2005","DOI":"10.1080\/16864360.2005.10738330"},{"key":"18_CR6","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1007\/978-3-540-24616-9_12","volume-title":"Automated Deduction in Geometry","author":"D. Wang","year":"2004","unstructured":"Wang D. GEOTHER 1.1: Handling and proving geometric theorems automatically. In: Winkler F, ed. Automated Deduction in Geometry, LNAI 2930, Springer-Verlag, Berlin Heidelberg, 2004, 194\u2013215"},{"key":"18_CR7","doi-asserted-by":"crossref","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. J. Symb. Comput., 1986, 2: 399\u2013408","journal-title":"J. Symb. Comput."},{"key":"18_CR8","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1016\/S0747-7171(86)80006-2","volume":"2","author":"B. Kutzler","year":"1986","unstructured":"Kutzler B, Stifter S. On the application of Buchberger\u2019s algorithm to automated geometry theorem proving. J. Symb. Comput., 1986, 2: 389\u2013397","journal-title":"J. Symb. Comput."},{"key":"18_CR9","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."},{"key":"18_CR10","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. World Scientific, Singapore, 1994"},{"key":"18_CR11","doi-asserted-by":"crossref","DOI":"10.1142\/9781848161207","volume-title":"Elimination Practice: Software Tools and Applications","author":"D. Wang","year":"2004","unstructured":"Wang D. Elimination Practice: Software Tools and Applications. Imperial College Press, London, 2004"},{"key":"18_CR12","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/S0747-7171(08)80152-6","volume":"12","author":"G. E. Collins","year":"1991","unstructured":"Collins G E, Hong H. Partial cylindrical algebraic decomposition for quantifier elimination. J. Symb. Comput., 1991, 12: 299\u2013328","journal-title":"J. Symb. Comput."},{"key":"18_CR13","first-page":"33","volume":"44","author":"L. Yang","year":"2001","unstructured":"Yang L, Hou X-R, Xia B. A complete algorithm for automated discovering of a class of inequality-type theorems. Sci. China (Ser. F), 2001, 44: 33\u201349","journal-title":"Sci. China (Ser. F)"},{"key":"18_CR14","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1006\/jsco.1997.0123","volume":"24","author":"A. Dolzmann","year":"1997","unstructured":"Dolzmann A, Sturm T. Simplification of quantifier-free formulae over ordered fields. J. Symb. Comput., 1997, 24: 209\u2013231","journal-title":"J. Symb. Comput."},{"key":"18_CR15","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/S0747-7171(03)00073-7","volume":"37","author":"G. Zeng","year":"2004","unstructured":"Zeng G, Zeng X. An effective decision method for semidefinite polynomials. J. Symb. Comput., 2004, 37: 83\u201399","journal-title":"J. Symb. Comput."},{"key":"18_CR16","unstructured":"Brown C W, Hong H. QEPCAD \u2014 Quantifier elimination by partial cylindrical algebraic decomposition. http:\/\/www.cs.usna.edu\/:_qepcad\/B\/QEPCAD.html , 2004"},{"key":"18_CR17","first-page":"15","volume-title":"Automated Deduction in Geometry","author":"X. Chen","year":"2006","unstructured":"Chen X, Wang D. Towards an electronic geometry textbook. In: Botana F, Roanes-Lozano E, eds. Automated Deduction in Geometry, Universidad de Vigo, Pontevedra, Spain, 2006, 15\u201325"}],"container-title":["Frontiers of Computer Science in China"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-007-0018-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-007-0018-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-007-0018-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T21:00:44Z","timestamp":1559422844000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-007-0018-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,5]]},"references-count":17,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2007,5]]}},"alternative-id":["18"],"URL":"https:\/\/doi.org\/10.1007\/s11704-007-0018-z","relation":{},"ISSN":["1673-7350","1673-7466"],"issn-type":[{"value":"1673-7350","type":"print"},{"value":"1673-7466","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,5]]}}}