{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:15:59Z","timestamp":1725455759085},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540642978"},{"type":"electronic","value":"9783540697176"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0022724","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T03:02:06Z","timestamp":1132369326000},"page":"141-170","source":"Crossref","is-referenced-by-count":1,"title":["Area in Grassmann geometry"],"prefix":"10.1007","author":[{"given":"Desmond","family":"Fearnley-Sander","sequence":"first","affiliation":[]},{"given":"Tim","family":"Stokes","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,17]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1090\/conm\/131.2\/1175832","volume":"131","author":"J. Apel","year":"1992","unstructured":"Apel, J., A relationship between Gr\u00f6bner bases of ideals and vector modules of G-algebras, Contemporary Mathematics 131 (1992), 195\u2013204.","journal-title":"Contemporary Mathematics"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Buchberger, B., Gr\u00f6bner bases: An algorithmic method in polynomial ideal theory, in Multidimensional Systems Theory, ed. Bose, N. K., Reidel, 1985, 184\u2013232.","DOI":"10.1007\/978-94-009-5225-6_6"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Chou, S., Proving elementary geometry theorems using Wu's algorithm, in Automated Theorem Proving: After 25 Years, ed. Bledsoe, W. W., and Loveland, D. W., Am. Math. Soc., 1984, 243\u2013286.","DOI":"10.1090\/conm\/029\/14"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Chou, S., Mechanical Geometry Theorem Proving, Reidel, 1988.","DOI":"10.1007\/978-94-009-4037-6"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Chou, S., Gao, X., and Zhang, J., Automated geometry theorem proving using vector calculation, in Proc. ISSAC (Kiev, 1993), 284\u2013291.","DOI":"10.1145\/164081.164142"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Chou, S., Gao, X., and Zhang, J., Automated production of traditional proofs for constructive geometry theorems, in Proc. 8th IEEE Symbolic Logic in Computer Science (1993), 48\u201356.","DOI":"10.1109\/LICS.1993.287601"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Chou, S., Gao, X., and Zhang, J., Automated production of traditional proofs in solid geometry, J. Ant. Reas. 14, 257\u2013291.","DOI":"10.1007\/BF00881858"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Coxeter, H. S. M., and Greitzer, G., Geometry Revisited, Math. Ass. Am., 1967.","DOI":"10.5948\/UPO9780883859346"},{"key":"7_CR9","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1002\/sapm1974533185","volume":"57","author":"P. Doubilet","year":"1974","unstructured":"Doubilet, P., Rota, G., and Stein, J., On the foundations of combinatorial theory IX: Combinatorial methods in invariant theory, Studies in Applied Math. 57 (1974), 185\u2013216.","journal-title":"Studies in Applied Math."},{"key":"7_CR10","doi-asserted-by":"crossref","first-page":"809","DOI":"10.1080\/00029890.1979.11994921","volume":"86","author":"D. Fearnley-Sander","year":"1979","unstructured":"Fearnley-Sander, D., Hermann Grassmann and the creation of linear algebra, Am. Math. Monthly 86 (1979), 809\u2013817.","journal-title":"Am. Math. Monthly"},{"key":"7_CR11","first-page":"53","volume":"6","author":"D. Fearnley-Sander","year":"1980","unstructured":"Fearnley-Sander, D., Affine geometry and exterior algebra, Houston J. Math. 6 (1980), 53\u201358.","journal-title":"Houston J. Math."},{"key":"7_CR12","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1080\/00029890.1982.11995404","volume":"89","author":"D. Fearnley-Sander","year":"1982","unstructured":"Fearnley-Sander, D., Hermann Grassmann and the prehistory of universal algebra, Am. Math. Monthly 89 (1982), 161\u2013166.","journal-title":"Am. Math. Monthly"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Fearnley-Sander, D., The Idea of a Diagram, in Resolution of Equations in Algebraic Structures, ed. Ait-Ka\u00e7i, H., and Nivat, M., Academic Press 1989, 127\u2013150.","DOI":"10.1016\/B978-0-12-046370-1.50010-3"},{"key":"7_CR14","unstructured":"Feynman, R. P., Leighton, R. B., and Sands, M., Lectures on Physics, Addison-Wesley, 1963."},{"key":"7_CR15","unstructured":"Grassmann, H. G., Gesammelte Mathematische and Physikalische Werke, ed. Engel, F., 3 vols. in 6 parts, Leipzig, 1894\u20131911."},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Hestenes, D., New Foundations for Classical Mechanics, Kluwer, 1986.","DOI":"10.1007\/978-94-009-4802-0"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Hestenes, D., and Ziegler, R., Projective geometry with Clifford algebra, Acta. Appl. Math. 23 (1991).","DOI":"10.1007\/BF00046919"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Hong, H., Wang, D., and Winkler, F. (eds.), Algebraic approaches to geometric reasoning, Ann. Math. and AI 13 (1, 2) (1995).","DOI":"10.1007\/BF01531320"},{"key":"7_CR19","unstructured":"Hungerford, T. W., Algebra, Holt, Rinehart and Winston, 1974."}],"container-title":["Lecture Notes in Computer Science","Automated Deduction in Geometry"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022724","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T21:39:39Z","timestamp":1586554779000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022724"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540642978","9783540697176"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0022724","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}