{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:56:27Z","timestamp":1725494187695},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425984"},{"type":"electronic","value":"9783540454106"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45410-1_13","type":"book-chapter","created":{"date-parts":[[2007,11,5]],"date-time":"2007-11-05T12:16:33Z","timestamp":1194264993000},"page":"199-227","source":"Crossref","is-referenced-by-count":0,"title":["Automated Theorem Proving in Incidence Geometry \u2014 A Bracket Algebra Based Elimination Method"],"prefix":"10.1007","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":"297","published-online":{"date-parts":[[2001,9,11]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/S0195-6698(13)80052-2","volume":"11","author":"J. Bokowski","year":"1990","unstructured":"J. Bokowski and J. Richter-Gebert. On the finding of final polynomials. Europ. J. Combinatorics 11, 21\u201334, 1990.","journal-title":"Europ. J. Combinatorics"},{"key":"13_CR2","series-title":"LNM","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0089253","volume-title":"Computational Synthetic Geometry","author":"J. Bokowski","year":"1989","unstructured":"J. Bokowski and B. Sturmfels. Computational Synthetic Geometry. LNM 1355, Springer, Berlin Heidelberg, 1989."},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"S.-C. Chou, X.-S. Gao and J.-Z. Zhang. Machine Proofs in Geometry-Automated Production of Readable Proofs for Geometric Theorems. World Scientific, Singapore, 1994.","DOI":"10.1142\/2196"},{"key":"13_CR4","first-page":"107","volume-title":"Invariant Methods in Discrete and Computational Geometry","author":"H. Crapo","year":"1994","unstructured":"H. Crapo and J. Richter-Gebert. Automatic proving of geometric theorems. In: Invariant Methods in Discrete and Computational Geometry (N. White, ed.), pp. 107\u2013139. Kluwer, Dordrecht, 1994."},{"key":"13_CR5","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1002\/sapm1974533185","volume":"57","author":"P. Doubilet","year":"1974","unstructured":"P. Doubilet, G. C. Rota and J. Stein. On the foundations of combinatorial theory IX: Combinatorial methods in invariant theory. Stud. Appl. Math. 57, 185\u2013216, 1974.","journal-title":"Stud. Appl. Math"},{"key":"13_CR6","volume-title":"Projective Geometry and Modern Algebra","author":"L. K. Adison","year":"1996","unstructured":"L. K adison and M. T. Kromann. Projective Geometry and Modern Algebra. Birkh\u00e4user, Boston, 1996."},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1023\/A:1006182023017","volume":"25","author":"H. Li","year":"2000","unstructured":"H. Li. Vectorial equations solving for mechanical geometry theorem proving. J. Automated Reasoning 25, 83\u2013121, 2000.","journal-title":"J. Automated Reasoning"},{"issue":"4","key":"13_CR8","first-page":"357","volume":"26","author":"H. Li","year":"1997","unstructured":"H. Li and M.-T. Cheng. Proving theorems in elementary geometry with Clifford algebraic method. Chinese Math. Progress 26(4), 357\u2013371, 1997.","journal-title":"Chinese Math. Progress"},{"key":"13_CR9","first-page":"84","volume":"18","author":"H. Li","year":"1999","unstructured":"H. Li and M.-T. Cheng. Automated ordering for automated theorem proving in elementary geometry-Degree of freedom analysis method. MM Research Preprints 18, 84\u201398, 1999.","journal-title":"MM Research Preprints"},{"key":"13_CR10","unstructured":"H. Li and Y. Wu. Outer product factorization in Clifford algebra. In: Proc. ATCM 99 (Guangzhou, December 17-21, 1999), pp. 255\u2013264."},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"H. Li and Y. Wu. Mechanical theorem proving in projective geometry with bracket algebra. In: Computer Mathematics (X.-S. Gao and D. Wang, eds.), pp. 120\u2013129.World Scientific, Singapore, 2000.","DOI":"10.1142\/9789812791962_0017"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"B. Mourrain and N. Stolfi. Computational symbolic geometry. In: Invariant Methods in Discrete and Computational Geometry (N. White, ed.), pp. 107\u2013139. Kluwer, Dordrecht, 1994.","DOI":"10.1007\/978-94-015-8402-9_6"},{"key":"13_CR13","volume-title":"An Introduction to Projective Geometry","author":"C.W. O\u2019hara","year":"1936","unstructured":"C. W. O\u2019hara, S. J. and D. R. Ward, S. J. An Introduction to Projective Geometry. Oxford University Press, London, 1936."},{"key":"13_CR14","volume-title":"An Introduction to Projective Geometry","author":"D. Pedoe","year":"1963","unstructured":"D. Pedoe. An Introduction to Projective Geometry. Pergamon Press, Oxford, 1963."},{"key":"13_CR15","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/BF01531327","volume":"13","author":"J. Richter-Gebert","year":"1995","unstructured":"J. Richter-Gebert. Mechanical theorem proving in projective geometry. Ann. Math. Artif. Intell. 13, 159\u2013171, 1995.","journal-title":"Ann. Math. Artif. Intell"},{"key":"13_CR16","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/BF03322623","volume":"15","author":"B. Sturmfels","year":"1989","unstructured":"B. Sturmfels. Computing final polynomials and final syzygies using Buchberger\u2019s Gr\u00f6bner bases method. Result. Math. 15, 351\u2013360, 1989.","journal-title":"Result. Math"},{"key":"13_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-4368-1","volume-title":"Algorithms in Invariant Theory","author":"B. Sturmfels","year":"1993","unstructured":"B. Sturmfels. Algorithms in Invariant Theory. Springer, Wien New York, 1993."},{"key":"13_CR18","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/0001-8708(89)90053-4","volume":"76","author":"B. Sturmfels","year":"1989","unstructured":"B. Sturmfels and N. White. Gr\u00f6bner bases and invariant theory. Adv. Math. 76, 245\u2013259, 1989.","journal-title":"Adv. Math"},{"key":"13_CR19","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1016\/S0747-7171(08)80114-9","volume":"11","author":"B. Sturmfels","year":"1991","unstructured":"B. Sturmfels and W. Whiteley. On the synthetic factorization of homogeneous invariants. J. Symbolic Computation 11, 439\u2013454. 1991.","journal-title":"J. Symbolic Computation"},{"key":"13_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01531321","volume":"13","author":"D. Wang","year":"1995","unstructured":"D. Wang. Elimination procedures for mechanical theorem proving in geometry. Ann. Math. Artif. Intell. 13, 1\u201324, 1995.","journal-title":"Ann. Math. Artif. Intell"},{"key":"13_CR21","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1090\/conm\/029\/12","volume":"29","author":"W.-T. Wu","year":"1984","unstructured":"W.-T. Wu. On the decision problem and the mechanization of theorem proving in elementary geometry, In: Contemp. Math. 29, pp. 213\u2013234. AMS, Providence, 1984.","journal-title":"Contemp. Math"},{"issue":"28","key":"13_CR22","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1112\/plms\/s2-28.1.255","volume":"2","author":"A. Young","year":"1928","unstructured":"A. Young. On quantative substitutionals analysis (3rd paper), Proc. London Math. Soc., Ser. 2, 28, 255\u2013292, 1928.","journal-title":"Proc. London Math. Soc., Ser."}],"container-title":["Lecture Notes in Computer Science","Automated Deduction in Geometry"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45410-1_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,27]],"date-time":"2020-04-27T21:07:11Z","timestamp":1588021631000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45410-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425984","9783540454106"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-45410-1_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}