{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T01:58:13Z","timestamp":1760061493930},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[1995,3,1]],"date-time":"1995-03-01T00:00:00Z","timestamp":794016000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[1995,3]]},"DOI":"10.1007\/bf01531327","type":"journal-article","created":{"date-parts":[[2005,4,19]],"date-time":"2005-04-19T00:34:59Z","timestamp":1113870899000},"page":"139-172","source":"Crossref","is-referenced-by-count":18,"title":["Mechanical theorem proving in projective geometry"],"prefix":"10.1007","volume":"13","author":[{"given":"J\ufffdrgen","family":"Richter-Gebert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"A. Bj\u00f6rner, M. Las Vergnas, B. Sturmfels, N. White and G.M. Ziegler, Oriented Matroids,Encyclopedia of Mathematics and its Applications, Vol. 46 (Cambridge University Press, 1993)."},{"key":"CR2","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, On the finding of final polynomials, Eur. J. Comb. 11(1990)21?34.","journal-title":"Eur. J. Comb."},{"key":"CR3","unstructured":"J. Bokowski and J. Richter-Gebert, Reduction theorems for oriented matroids, Preprint, TH-Darmstadt (1990) 16 p."},{"key":"CR4","unstructured":"J. Bokowski and J. Richter-Gebert, On the classification of non-realizable oriented matroids, Part II: Properties, Preprint, TH-Darmstadt (1990) 9 p."},{"key":"CR5","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/BF02187794","volume":"5","author":"J. Bokowski","year":"1990","unstructured":"J. Bokowski, J. Richter and B. Sturmfels, Nonrealizability proofs in computational geometry, Discr. Comp. Geom. 5(1990)333?350.","journal-title":"Discr. Comp. Geom."},{"key":"CR6","volume-title":"Lecture Notes in Math. 1355","author":"J. Bokowski","year":"1989","unstructured":"J. Bokowski and B. Sturmfels, Computational synthetic geometry, Lecture Notes in Math. 1355 (Springer, Heidelberg, 1989)."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"583","DOI":"10.1007\/BF01160956","volume":"200","author":"J. Bokowski","year":"1989","unstructured":"J. Bokowski and B. Sturmfels, An infinite family of minor-minimal non-realizable 3-chirotopes, Math. Z. 200(1989)583?589.","journal-title":"Math. Z."},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"B. Buchberger, Gr\u00f6bner bases ? an algorithmic method in polynomial ideal theory, in:Multi-dimensional Systems Theory, ed. N.K. Bose (Reidel, 1985) chap. 6.","DOI":"10.1007\/978-94-009-5225-6_6"},{"key":"CR9","volume-title":"I.A.M. Vol. in Math. and its Appl. 444","author":"B. Buchberger","year":"1988","unstructured":"B. Buchberger, Applications of Gr\u00f6bner bases in non-linear computational geometry, in:Scientific Software, ed. J.R. Rice, I.A.M. Vol. in Math. and its Appl. 444 (Springer, New York, 1988)."},{"key":"CR10","first-page":"29","volume-title":"Proc. of Computer-Aided Geometric Reasoning","author":"S.C. Chou","year":"1987","unstructured":"S.C. Chou, Characteristic sets and Gr\u00f6bner bases in geometry theorem proving,Proc. of Computer-Aided Geometric Reasoning, INRIA, Antibes, France, 1987, pp. 29?56."},{"key":"CR11","volume-title":"Mechanical Geometry Theorem Proving","author":"S.C. Chou","year":"1988","unstructured":"S.C. Chou,Mechanical Geometry Theorem Proving (Reidel, Dordrecht, 1988)."},{"key":"CR12","volume-title":"Lecture Notes in Comp. Sci. 33","author":"C. Collins","year":"1975","unstructured":"C. Collins, Quantifier elimination for real closed fields by cylindrical algebraic decomposition,Proc. 2nd GI Conf. on Automata and Formal Languages, Lecture Notes in Comp. Sci. 33 (Springer, Heidelberg, 1975)."},{"key":"CR13","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1016\/S0747-7171(08)80118-6","volume":"11","author":"H. Crapo","year":"1991","unstructured":"H. Crapo, Invariant-theoretic methods in scene analysis and structural mechanics, J. Symb. Comp. 11(1991)523?548.","journal-title":"J. Symb. Comp."},{"key":"CR14","first-page":"33","volume":"13","author":"H. Crapo","year":"1986","unstructured":"H. Crapo and J. Ryan, Spatial realizations of linear scenes, Struct. Topology 13(1986)33?68.","journal-title":"Struct. Topology"},{"key":"CR15","volume-title":"Distance Geometry and Molecular Conformation","author":"G.M. Crippen","year":"1988","unstructured":"G.M. Crippen and T.F. Havel,Distance Geometry and Molecular Conformation (Research Studies Press, Wiley, New York\/Chichester\/Toronto\/Singapore, 1988)."},{"key":"CR16","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(1974)185?216.","journal-title":"Stud. Appl. Math."},{"key":"CR17","first-page":"39","volume":"23","author":"A. Dreiding","year":"1983","unstructured":"A. Dreiding, A.W.M. Dress and H. Haegi, Classification of mobile molecules by category theory, in:Symmetries and Properties of Non-Rigid Molecules: A Comprehensive Survey, Stud. Phys. Theor. Chem. 23(1983)39?58.","journal-title":"Stud. Phys. Theor. Chem."},{"key":"CR18","volume-title":"An Outline of Projective Geometry","author":"L.E. Garner","year":"1981","unstructured":"L.E. Garner,An Outline of Projective Geometry (North-Holland, New York\/Oxford, 1981)."},{"key":"CR19","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1016\/0097-3165(80)90011-4","volume":"A29","author":"E. Goodman","year":"1980","unstructured":"E. Goodman and R. Pollack, On the combinatorial classification of non-degenerate configurations in the plane, J. Comb. Theory A29(1980)220?234.","journal-title":"J. Comb. Theory"},{"key":"CR20","volume-title":"Geometry of Numbers","author":"P.M. Gruber","year":"1987","unstructured":"P.M. Gruber and C.G. Lekkerkerker,Geometry of Numbers (North-Holland, Amsterdam\/New York\/Oxford\/Tokyo, 1987)."},{"key":"CR21","volume-title":"Axiomatic projective geometry,Bibliotheca Mathematica V","author":"A. Heyting","year":"1963","unstructured":"A. Heyting, Axiomatic projective geometry,Bibliotheca Mathematica V (North-Holland, Amsterdam, 1963)."},{"key":"CR22","volume-title":"Ph.D. Dissertation","author":"B. Kutzler","year":"1988","unstructured":"B. Kutzler, Algebraic approaches to automated geometry theorem proving, Ph.D. Dissertation, Johanned Kepler Universit\u00e4t, Linz (1988)."},{"key":"CR23","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/S0747-7171(86)80006-2","volume":"2","author":"B. Kutzler","year":"1986","unstructured":"B. Kutzler and S. Stifter, On the application of Buchberger's algorithm to automated geometry theorem proving, J. Symb. Comp. 2(1986)289?297.","journal-title":"J. Symb. Comp."},{"key":"CR24","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1002\/mana.19540110408","volume":"11","author":"R. Lauffer","year":"1954","unstructured":"R. Lauffer, Die nichtkonstruierbare Konfiguration (103), Math. Nachr. 11(1954)303?304.","journal-title":"Math. Nachr."},{"key":"CR25","unstructured":"J. Richter-Gebert, On the realizability problem of combinatorial geometries ? decision methods, Dissertation, Technische Hochschule Darmstadt (1992)."},{"key":"CR26","volume-title":"Differential Equations from an Algebraic Standpoint, Vol. 14","author":"R.F. Ritt","year":"1938","unstructured":"R.F. Ritt,Differential Equations from an Algebraic Standpoint, Vol. 14 (AMS Colloq. Publ., New York, 1938)."},{"key":"CR27","doi-asserted-by":"crossref","DOI":"10.1090\/coll\/033","volume-title":"Differential Algebra","author":"R.F. Ritt","year":"1950","unstructured":"R.F. Ritt,Differential Algebra (AMS Colloq. Publ., New York, 1950)."},{"key":"CR28","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1007\/BF01234985","volume":"29","author":"A. Saam","year":"1987","unstructured":"A. Saam, Ein neuer Schlie\u00dfungssatz f\u00fcr projektive Ebenen, J. Geom. 29(1987)36?42.","journal-title":"J. Geom."},{"key":"CR29","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1007\/BF01222524","volume":"32","author":"A. Saam","year":"1988","unstructured":"A. Saam, Schlie\u00dfungss\u00e4tze als Eigenschaften von Projektivit\u00e4ten, J. Geom. 32(1988)86?130.","journal-title":"J. Geom."},{"key":"CR30","first-page":"57","volume-title":"Proc. of Computer-Aided Geometric Reasoning","author":"B. Sturmfels","year":"1987","unstructured":"B. Sturmfels, Aspects of computational synthetic geometry; I. Algorithmic coordinatization of matroids,Proc. of Computer-Aided Geometric Reasoning, INRIA, Antibes, 1987, pp. 57?86."},{"key":"CR31","doi-asserted-by":"crossref","first-page":"595","DOI":"10.1016\/S0747-7171(08)80121-6","volume":"11","author":"B. Sturmfels","year":"1991","unstructured":"B. Sturmfels, Computational algebraic geometry of projective configurations, J. Symb. Comp. 11(1991)595?618.","journal-title":"J. Symb. Comp."},{"key":"CR32","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's Gr\u00f6bner bases method, Result. Math. 15(1989)351?360.","journal-title":"Result. Math."},{"key":"CR33","doi-asserted-by":"crossref","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(1989)245?259.","journal-title":"Adv. Math."},{"key":"CR34","doi-asserted-by":"crossref","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. Symb. Comp. 11(1991)439?454.","journal-title":"J. Symb. Comp."},{"key":"CR35","doi-asserted-by":"crossref","unstructured":"A. Tarski,A Decision Method for Elementary Algebra and Geometry, 2nd revised ed. (University of California Press, 1951).","DOI":"10.1525\/9780520348097"},{"key":"CR36","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1090\/S0002-9947-1975-0387095-9","volume":"202","author":"N. White","year":"1975","unstructured":"N. White, The bracket ring of a combinatorial geometry. I, Trans. Am. Math. Soc. 202(1975)79?103.","journal-title":"Trans. Am. Math. Soc."},{"key":"CR37","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1016\/S0747-7171(08)80113-7","volume":"11","author":"N. White","year":"1991","unstructured":"N. White, Multilinear Cayley factorization, J. Symb. Comp. 11(1991)421?438.","journal-title":"J. Symb. Comp."},{"key":"CR38","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1137\/0604049","volume":"4","author":"N. White","year":"1983","unstructured":"N. White and W. Whiteley, The algebraic geometry of stresses in frameworks, SIAM J. Algebr. Discr. Meth. 4(1983)481?511.","journal-title":"SIAM J. Algebr. Discr. Meth."},{"key":"CR39","first-page":"219","volume-title":"Proc. of Computer-Aided Geometric Reasoning","author":"W. Whiteley","year":"1987","unstructured":"W. Whiteley, Applications of the geometry of ridid structures,Proc. of Computer-Aided Geometric Reasoning, INRIA, Antibes, 1987, pp. 219?254."},{"key":"CR40","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, Contemp. Math. 29(1984)213?234.","journal-title":"Contemp. Math."},{"key":"CR41","first-page":"207","volume":"4","author":"W.T. Wu","year":"1984","unstructured":"W.T. Wu, Basic principles of mechanical theorem proving in elementary geometries, J. Syst. Sci. Math. Sci. 4(1984)207?235.","journal-title":"J. Syst. Sci. Math. Sci."},{"key":"CR42","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1090\/conm\/029\/13","volume":"29","author":"W.T. Wu","year":"1984","unstructured":"W.T. Wu, Some recent advances in mechanical theorem-proving of geometries, Contemp. Math. 29(1984)235?241.","journal-title":"Contemp. Math."},{"key":"CR43","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1112\/plms\/s2-28.1.255","volume":"28","author":"A. Young","year":"1928","unstructured":"A. Young, On quantitative substitutionals analysis (3rd paper), Proc. London Math. Soc. Ser. 2, 28(1928)255?292.","journal-title":"Proc. London Math. Soc. Ser. 2"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01531327\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01531327.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01531327\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01531327","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,9]],"date-time":"2021-07-09T04:23:58Z","timestamp":1625804638000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01531327"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,3]]},"references-count":43,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1995,3]]}},"alternative-id":["BF01531327"],"URL":"https:\/\/doi.org\/10.1007\/bf01531327","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,3]]}}}