{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T01:58:36Z","timestamp":1760061516844,"version":"build-2065373602"},"reference-count":38,"publisher":"Elsevier BV","issue":"5","license":[{"start":{"date-parts":[[2003,11,1]],"date-time":"2003-11-01T00:00:00Z","timestamp":1067644800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2003,11,1]],"date-time":"2003-11-01T00:00:00Z","timestamp":1067644800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":3546,"URL":"http:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Journal of Symbolic Computation"],"published-print":{"date-parts":[[2003,11]]},"DOI":"10.1016\/s0747-7171(03)00067-1","type":"journal-article","created":{"date-parts":[[2003,6,30]],"date-time":"2003-06-30T13:29:20Z","timestamp":1056979760000},"page":"717-762","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":21,"title":["Automated short proof generation for projective geometric theorems with Cayley and bracket algebras"],"prefix":"10.1016","volume":"36","author":[{"given":"Hongbo","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yihong","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0747-7171(03)00067-1_B1","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1016\/0021-8693(85)90043-2","article-title":"On the exterior calculus of invariant theory","volume":"96","author":"Barnabei","year":"1985","journal-title":"J. Algebra"},{"key":"10.1016\/S0747-7171(03)00067-1_B2","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/S0195-6698(13)80052-2","article-title":"On the finding of final polynomials","volume":"11","author":"Bokowski","year":"1990","journal-title":"European. J. Combin"},{"key":"10.1016\/S0747-7171(03)00067-1_B3","article-title":"Computational Synthetic Geometry","volume":"vol. 1355","author":"Bokowski","year":"1989"},{"year":"1998","series-title":"Geometry","author":"Brannan","key":"10.1016\/S0747-7171(03)00067-1_B4"},{"key":"10.1016\/S0747-7171(03)00067-1_B5","series-title":"Scientific Software","article-title":"Application of Gr\u00f6bner basis in non-linear computational geometry","author":"Buchberger","year":"1988"},{"year":"1988","series-title":"Mechanical Geometry Theorem Proving","author":"Chou","key":"10.1016\/S0747-7171(03)00067-1_B6"},{"year":"1994","series-title":"Machine Proofs in Geometry\u2014Automated Production of Readable Proofs for Geometric Theorems","author":"Chou","key":"10.1016\/S0747-7171(03)00067-1_B7"},{"key":"10.1016\/S0747-7171(03)00067-1_B8","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/BF00881858","article-title":"Automated production of traditional proofs in solid geometry","volume":"14","author":"Chou","year":"1995","journal-title":"J. Automat. Reason"},{"key":"10.1016\/S0747-7171(03)00067-1_B9","series-title":"Invariant Methods in Discrete and Computational Geometry","first-page":"107","article-title":"Automatic proving of geometric theorems","author":"Crapo","year":"1994"},{"key":"10.1016\/S0747-7171(03)00067-1_B10","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1002\/sapm1974533185","article-title":"On the foundations of combinatorial theory IX: combinatorial methods in invariant theory","volume":"57","author":"Doubilet","year":"1974","journal-title":"Stud. Appl. Math"},{"key":"10.1016\/S0747-7171(03)00067-1_B11","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1016\/0001-8708(91)90036-7","article-title":"Grassmann\u2013Pl\u00fccker relations and matroids with coefficients","volume":"86","author":"Dress","year":"1991","journal-title":"Adv. Math"},{"year":"2000","series-title":"Mathematics Mechanization and Applications","author":"Gao","key":"10.1016\/S0747-7171(03)00067-1_B12"},{"year":"1930","series-title":"Introduction to Higher Geometry","author":"Graustein","key":"10.1016\/S0747-7171(03)00067-1_B13"},{"key":"10.1016\/S0747-7171(03)00067-1_B14","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF00046919","article-title":"Projective geometry with Clifford algebra","volume":"23","author":"Hestenes","year":"1991","journal-title":"Acta Appl. Math"},{"year":"1953","series-title":"Methods of Algebraic Geometry","author":"Hodge","key":"10.1016\/S0747-7171(03)00067-1_B15"},{"key":"10.1016\/S0747-7171(03)00067-1_B16","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1016\/S0747-7171(86)80006-2","article-title":"On the application of Buchberger\u2019s algorithm to automated geometry theorem proving","volume":"2","author":"Kutzler","year":"1986","journal-title":"J. Symbolic Comput"},{"key":"10.1016\/S0747-7171(03)00067-1_B17","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1023\/A:1006182023017","article-title":"Vectorial equation-solving for mechanical geometry theorem proving","volume":"25","author":"Li","year":"2000","journal-title":"J. Automat. Reason"},{"issue":"4","key":"10.1016\/S0747-7171(03)00067-1_B18","first-page":"357","article-title":"Proving theorems in elementary geometry with Clifford algebraic method","volume":"26","author":"Li","year":"1997","journal-title":"Chinese Math. Progress"},{"key":"10.1016\/S0747-7171(03)00067-1_B19","series-title":"Computer Mathematics","first-page":"120","article-title":"Automated theorem proving with bracket algebra in projective geometry","author":"Li","year":"2000"},{"key":"10.1016\/S0747-7171(03)00067-1_B20","doi-asserted-by":"crossref","unstructured":"Li, H., Wu, Y., 2000b. Automated theorem proving in incidence geometry\u2014a bracket algebra based elimination method. Proc. ADG 2000, Zurich, September","DOI":"10.1142\/9789812791962_0017"},{"key":"10.1016\/S0747-7171(03)00067-1_B21","doi-asserted-by":"crossref","DOI":"10.1016\/S0747-7171(03)00067-1","article-title":"Automated short proof generation for projective geometric theorems with Cayley and bracket algebras, II. Conic geometry","author":"Li","year":"2003","journal-title":"J. Symbolic Comput"},{"key":"10.1016\/S0747-7171(03)00067-1_B22","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1016\/S0747-7171(08)80116-2","article-title":"The dotted straightening algorithm","volume":"11","author":"McMillan","year":"1991","journal-title":"J. Symbolic Comput"},{"key":"10.1016\/S0747-7171(03)00067-1_B23","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF01531327","article-title":"Mechanical theorem proving in projective geometry","volume":"13","author":"Richter-Gebert","year":"1995","journal-title":"Ann. Math. Artif. Intell"},{"key":"10.1016\/S0747-7171(03)00067-1_B24","article-title":"Realization Spaces of Polytopes","volume":"vol. 1643","author":"Richter-Gebert","year":"1996"},{"key":"10.1016\/S0747-7171(03)00067-1_B25","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/BF03322623","article-title":"Computing final polynomials and final syzygies using Gr\u00f6bner bases method","volume":"15","author":"Sturmfels","year":"1989","journal-title":"Results Math"},{"key":"10.1016\/S0747-7171(03)00067-1_B26","doi-asserted-by":"crossref","first-page":"595","DOI":"10.1016\/S0747-7171(08)80121-6","article-title":"Computational algebraic geometry of projective configurations","volume":"11","author":"Sturmfels","year":"1991","journal-title":"J. Symbolic Comput"},{"year":"1993","series-title":"Algorithms in Invariant Theory","author":"Sturmfels","key":"10.1016\/S0747-7171(03)00067-1_B27"},{"key":"10.1016\/S0747-7171(03)00067-1_B28","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/0001-8708(89)90053-4","article-title":"Gr\u00f6bner bases and invariant theory","volume":"76","author":"Sturmfels","year":"1989","journal-title":"Adv. Math"},{"key":"10.1016\/S0747-7171(03)00067-1_B29","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1016\/S0747-7171(08)80114-9","article-title":"On the synthetic factorization of homogeneous invariants","volume":"11","author":"Sturmfels","year":"1991","journal-title":"J. Symbolic Comput"},{"key":"10.1016\/S0747-7171(03)00067-1_B30","series-title":"Gr\u00f6bner Bases and Application","first-page":"281","article-title":"Gr\u00f6bner bases applied to geometric theorem proving and discovering","author":"Wang","year":"1998"},{"key":"10.1016\/S0747-7171(03)00067-1_B31","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1090\/S0002-9947-1975-0387095-9","article-title":"The bracket ring of combinatorial geometry\u00a0I","volume":"202","author":"White","year":"1975","journal-title":"Trans. Amer. Math. Soc"},{"key":"10.1016\/S0747-7171(03)00067-1_B32","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1016\/S0747-7171(08)80113-7","article-title":"Multilinear Cayley factorization","volume":"11","author":"White","year":"1991","journal-title":"J. Symbolic Comput"},{"year":"2001","series-title":"Elimination Methods","author":"Wang","key":"10.1016\/S0747-7171(03)00067-1_B33"},{"key":"10.1016\/S0747-7171(03)00067-1_B34","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1016\/S0747-7171(08)80119-8","article-title":"Invariant computations for analytic projective geometry","volume":"11","author":"Whiteley","year":"1991","journal-title":"J. Symbolic Comput"},{"year":"1994","series-title":"Basic Principles of Mechanical Theorem Proving in Geometries, Vol. I: Part of Elementary Geometries","author":"Wu","key":"10.1016\/S0747-7171(03)00067-1_B35"},{"year":"2000","series-title":"Mathematics Mechanization","author":"Wu","key":"10.1016\/S0747-7171(03)00067-1_B36"},{"key":"10.1016\/S0747-7171(03)00067-1_B37","unstructured":"Wu, Y., 2001. Bracket algebra, affine bracket algebra and automated geometric theorem proving. Ph.D. dissertation. Institute of Systems Science, Beijing"},{"key":"10.1016\/S0747-7171(03)00067-1_B38","first-page":"109","article-title":"Automated production of traditional proofs for theorems in Euclidean geometry","volume":"13","author":"Zhang","year":"1995","journal-title":"Ann. Math. AI"}],"container-title":["Journal of Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717103000671?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717103000671?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T01:10:42Z","timestamp":1760058642000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0747717103000671"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,11]]},"references-count":38,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2003,11]]}},"alternative-id":["S0747717103000671"],"URL":"https:\/\/doi.org\/10.1016\/s0747-7171(03)00067-1","relation":{},"ISSN":["0747-7171"],"issn-type":[{"type":"print","value":"0747-7171"}],"subject":[],"published":{"date-parts":[[2003,11]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Automated short proof generation for projective geometric theorems with Cayley and bracket algebras","name":"articletitle","label":"Article Title"},{"value":"Journal of Symbolic Computation","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S0747-7171(03)00067-1","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2003 Elsevier Ltd. All rights reserved.","name":"copyright","label":"Copyright"}]}}