{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T02:03:28Z","timestamp":1760061808915},"reference-count":33,"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":[[2013,8,22]],"date-time":"2013-08-22T00:00:00Z","timestamp":1377129600000},"content-version":"vor","delay-in-days":3582,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Symbolic Computation"],"published-print":{"date-parts":[[2003,11]]},"DOI":"10.1016\/s0747-7171(03)00066-x","type":"journal-article","created":{"date-parts":[[2003,6,30]],"date-time":"2003-06-30T17:29:20Z","timestamp":1056994160000},"page":"763-809","source":"Crossref","is-referenced-by-count":8,"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)00066-X_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)00066-X_B2","series-title":"Geometry I, II","author":"Berger","year":"1987"},{"key":"10.1016\/S0747-7171(03)00066-X_B3","series-title":"Conics and Cubics","author":"Bix","year":"1998"},{"key":"10.1016\/S0747-7171(03)00066-X_B4","article-title":"Computational Synthetic Geometry","volume":"vol. 1355","author":"Bokowski","year":"1989"},{"key":"10.1016\/S0747-7171(03)00066-X_B5","series-title":"Geometry","author":"Brannan","year":"1998"},{"key":"10.1016\/S0747-7171(03)00066-X_B6","series-title":"Scientific Software","article-title":"Application of Gr\u00f6bner basis in non-linear computational geometry","author":"Buchberger","year":"1988"},{"key":"10.1016\/S0747-7171(03)00066-X_B7","series-title":"Mechanical Geometry Theorem Proving","author":"Chou","year":"1988"},{"key":"10.1016\/S0747-7171(03)00066-X_B8","series-title":"Machine Proofs in Geometry\u2014Automated Production of Readable Proofs for Geometric Theorems","author":"Chou","year":"1994"},{"key":"10.1016\/S0747-7171(03)00066-X_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)00066-X_B10","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1002\/sapm1974533185","article-title":"On the foundations of combinatorial theory\u00a0IX: combinatorial methods in invariant theory","volume":"57","author":"Doubilet","year":"1974","journal-title":"Stud. Appl. Math."},{"key":"10.1016\/S0747-7171(03)00066-X_B11","series-title":"Mathematics Mechanization and Applications","author":"Gao","year":"2000"},{"key":"10.1016\/S0747-7171(03)00066-X_B12","series-title":"Introduction to Higher Geometry","author":"Graustein","year":"1930"},{"key":"10.1016\/S0747-7171(03)00066-X_B13","doi-asserted-by":"crossref","first-page":"579","DOI":"10.1016\/S0747-7171(08)80120-4","article-title":"Some examples of the use of distances as coordinates for Euclidean geometry","volume":"11","author":"Havel","year":"1991","journal-title":"J. Symbolic Comput."},{"key":"10.1016\/S0747-7171(03)00066-X_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."},{"key":"10.1016\/S0747-7171(03)00066-X_B15","series-title":"Methods of Algebraic Geometry","author":"Hodge","year":"1953"},{"key":"10.1016\/S0747-7171(03)00066-X_B16","series-title":"Projective Geometry and Modern Algebra","author":"Kadison","year":"1996"},{"key":"10.1016\/S0747-7171(03)00066-X_B17","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)00066-X_B18","unstructured":"Li, H., Wu, Y., 2001. Automated short proof generation for projective geometric theorems with Cayley and Bracket algebras,\u00a0I. Incidence geometry. J. Symbolic Comput. (submitted)"},{"key":"10.1016\/S0747-7171(03)00066-X_B19","unstructured":"Mourrain, B., 1991. New aspects of geometical calculus with invariants. Advances in Mathematics. Also in MEGA\u00a091, (in press)"},{"key":"10.1016\/S0747-7171(03)00066-X_B20","series-title":"An Introduction to Projective Geometry","author":"O\u2019Hara","year":"1936"},{"key":"10.1016\/S0747-7171(03)00066-X_B21","series-title":"An Introduction to Projective Geometry","author":"Pedoe","year":"1963"},{"key":"10.1016\/S0747-7171(03)00066-X_B22","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)00066-X_B23","article-title":"Realization Spaces of Polytopes","volume":"vol. 1643","author":"Richter-Gebert","year":"1996"},{"key":"10.1016\/S0747-7171(03)00066-X_B24","series-title":"Algebraic Projective Geometry","author":"Semple","year":"1952"},{"key":"10.1016\/S0747-7171(03)00066-X_B25","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."},{"key":"10.1016\/S0747-7171(03)00066-X_B26","series-title":"Algorithms in Invariant Theory","author":"Sturmfels","year":"1993"},{"key":"10.1016\/S0747-7171(03)00066-X_B27","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)00066-X_B28","series-title":"Elimination Methods","author":"Wang","year":"2001"},{"key":"10.1016\/S0747-7171(03)00066-X_B29","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)00066-X_B30","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."},{"key":"10.1016\/S0747-7171(03)00066-X_B31","unstructured":"Wu, W.T., 1984, 1994. Basic Principles of Mechanical Theorem Proving in Geometries, Volume\u00a0I: Part of Elementary Geometries, Science Press, Beijing; Springer"},{"key":"10.1016\/S0747-7171(03)00066-X_B32","series-title":"Mathematics Mechanization","author":"Wu","year":"2000"},{"key":"10.1016\/S0747-7171(03)00066-X_B33","unstructured":"Wu, Y., 2001. Bracket Algebra, Affine Bracket Algebra and Automated Geometric Theorem Proving. Ph.D. Dissertation. Institute of Systems Science, Beijing"}],"container-title":["Journal of Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S074771710300066X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S074771710300066X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,18]],"date-time":"2019-03-18T14:21:47Z","timestamp":1552918907000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S074771710300066X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,11]]},"references-count":33,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2003,11]]}},"alternative-id":["S074771710300066X"],"URL":"https:\/\/doi.org\/10.1016\/s0747-7171(03)00066-x","relation":{},"ISSN":["0747-7171"],"issn-type":[{"value":"0747-7171","type":"print"}],"subject":[],"published":{"date-parts":[[2003,11]]}}}