{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T23:46:52Z","timestamp":1743119212376,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642250699"},{"type":"electronic","value":"9783642250705"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-25070-5_1","type":"book-chapter","created":{"date-parts":[[2011,11,8]],"date-time":"2011-11-08T20:30:55Z","timestamp":1320784255000},"page":"1-33","source":"Crossref","is-referenced-by-count":2,"title":["Cancellation Patterns in Automatic Geometric Theorem Proving"],"prefix":"10.1007","author":[{"given":"Susanne","family":"Apel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00fcrgen","family":"Richter-Gebert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Apel, S.: A comparison of Binomial proofs and Ceva-\/Menelaus proofs for real projective incidence theorems, Bachelor Thesis, TU Munich (2009)","key":"1_CR1"},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/S0195-6698(13)80052-2","volume":"11","author":"J. Bokowski","year":"1990","unstructured":"Bokowski, J., Richter, J.: On the finding of final polynomials. Europ. J. Combinatorics\u00a011, 21\u201334 (1990)","journal-title":"Europ. J. Combinatorics"},{"key":"1_CR3","first-page":"107","volume-title":"Invariant Methods in Discrete and Computational Geometry","author":"H. Crapo","year":"1995","unstructured":"Crapo, H., Richter-Gebert, J.: Automatic proving of geometric theorems. In: White, N. (ed.) Invariant Methods in Discrete and Computational Geometry, pp. 107\u2013139. Kluwer Academic Publishers, Dordrecht (1995)"},{"key":"1_CR4","first-page":"94","volume":"24","author":"A.W.M. Dress","year":"1978","unstructured":"Dress, A.W.M., Wenzel, W.: Endliche Matroide mit Koeffizienten. Bayreuth. Math. Schr.\u00a024, 94\u2013123 (1978)","journal-title":"Bayreuth. Math. Schr."},{"key":"1_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0001-8708(89)90013-3","volume":"77","author":"A.W.M. Dress","year":"1989","unstructured":"Dress, A.W.M., Wenzel, W.: Geometric Algebra for Combinatorial Geometries. Adv. in Math.\u00a077, 1\u201336 (1989)","journal-title":"Adv. in Math."},{"key":"1_CR6","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1016\/0001-8708(91)90036-7","volume":"86","author":"A.W.M. Dress","year":"1991","unstructured":"Dress, A.W.M., Wenzel, W.: Grassmann-Pl\u00fccker Relations and Matroids with Coefficients. Adv. in Math.\u00a086, 68\u2013110 (1991)","journal-title":"Adv. in Math."},{"key":"1_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/3-540-47997-X_6","volume-title":"Automated Deduction in Geometry","author":"D. Fearnley-Sander","year":"1999","unstructured":"Fearnley-Sander, D.: Plane Euclidean Reasoning. In: Wang, D., Yang, L., Gao, X.-S. (eds.) ADG 1998. LNCS (LNAI), vol.\u00a01669, pp. 86\u2013110. Springer, Heidelberg (1999)"},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"254","DOI":"10.2307\/2690569","volume":"68","author":"B. Gr\u00fcnbaum","year":"1995","unstructured":"Gr\u00fcnbaum, B., Shephard, G.C.: Ceva, Menelaus, and the Area Principle. Mathematics Magazine\u00a068, 254\u2013268 (1995)","journal-title":"Mathematics Magazine"},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"492","DOI":"10.2307\/3618512","volume":"80","author":"B. Gr\u00fcnbaum","year":"1996","unstructured":"Gr\u00fcnbaum, B., Shephard, G.C.: A new Ceva-type theorem. Math. Gazette\u00a080, 492\u2013500 (1996)","journal-title":"Math. Gazette"},{"key":"1_CR10","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1023\/A:1017930624603","volume":"65","author":"B. Gr\u00fcnbaum","year":"1997","unstructured":"Gr\u00fcnbaum, B., Shephard, G.C.: Ceva, Menelaus, and Selftransversality. Geometriae Dedicata\u00a065, 179\u2013192 (1997)","journal-title":"Geometriae Dedicata"},{"key":"1_CR11","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1023\/A:1005069213744","volume":"71","author":"B. Gr\u00fcnbaum","year":"1998","unstructured":"Gr\u00fcnbaum, B., Shephard, G.C.: Some New Transversality Properties. Geometriae Dedicata\u00a071, 179\u2013208 (1998)","journal-title":"Geometriae Dedicata"},{"key":"1_CR12","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1016\/0095-8956(73)90005-1","volume":"14","author":"S.B. Maurer","year":"1973","unstructured":"Maurer, S.B.: Matroid basis graphs I. J. Combin. Theory B\u00a014, 216\u2013240 (1973)","journal-title":"J. Combin. Theory B"},{"key":"1_CR13","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/BF01531327","volume":"13","author":"J. Richter-Gebert","year":"1995","unstructured":"Richter-Gebert, J.: Mechanical theorem proving in projective geometry. Annals of Mathematics and Artificial Intelligence\u00a013, 139\u2013172 (1995)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"unstructured":"Richter-Gebert, J.: On the Realizability Problem of Combinatorial Geometries \u2013 Decision Methods, Doktoral Thesis, TU Darmstadt (1992)","key":"1_CR14"},{"key":"1_CR15","doi-asserted-by":"publisher","first-page":"580","DOI":"10.1007\/978-3-642-17286-1","volume-title":"Perspective on Projective Geometry","author":"J. Richter-Gebert","year":"2011","unstructured":"Richter-Gebert, J.: Perspective on Projective Geometry, p. 580. Springer, Heidelberg (2011)"},{"unstructured":"Richter-Gebert, J.: Meditations on Ceva\u2019s Theorem. In: Davis, C., Ellers, E. (eds.) The Coxeter Legacy: Reflections and Projections, pp. 227\u2013254. American Mathematical Society, Fields Institute (2006)","key":"1_CR16"},{"key":"1_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-4368-1","volume-title":"Algorithms in Invariant Theory","author":"B. Sturmfels","year":"1993","unstructured":"Sturmfels, B.: Algorithms in Invariant Theory. Springer, Wien (1993)"},{"key":"1_CR18","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0001-8708(89)90014-5","volume":"77","author":"W. Wenzel","year":"1989","unstructured":"Wenzel, W.: A Group-Theoretic Interpretation of Tutte\u2019s Homotopy Theory. Adv. in Math.\u00a077, 27\u201375 (1989)","journal-title":"Adv. in Math."},{"key":"1_CR19","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/0097-3165(95)90014-4","volume":"71","author":"W. Wenzel","year":"1995","unstructured":"Wenzel, W.: Maurer\u2019s Homotopy Theory fo Even \u0394-Matroids and Related Combinatorial Geometries. J. Combin. Theory A\u00a071, 19\u201359 (1995)","journal-title":"J. Combin. Theory A"},{"key":"1_CR20","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1090\/S0002-9947-1975-0387095-9","volume":"202","author":"N. White","year":"1975","unstructured":"White, N.: The Bracket Ring of Combinatorial Geometry I. Transactions AMS\u00a0202, 79\u201395 (1975)","journal-title":"Transactions AMS"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction in Geometry"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25070-5_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T01:32:44Z","timestamp":1555378364000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25070-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642250699","9783642250705"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25070-5_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}