{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T07:50:36Z","timestamp":1771573836971,"version":"3.50.1"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1990,8,1]],"date-time":"1990-08-01T00:00:00Z","timestamp":649468800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Comput Geom"],"published-print":{"date-parts":[[1990,8]]},"DOI":"10.1007\/bf02187794","type":"journal-article","created":{"date-parts":[[2005,9,20]],"date-time":"2005-09-20T18:17:21Z","timestamp":1127240241000},"page":"333-350","source":"Crossref","is-referenced-by-count":18,"title":["Nonrealizability proofs in computational geometry"],"prefix":"10.1007","volume":"5","author":[{"given":"J\u00fcrgen","family":"Bokowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00fcrgen","family":"Richter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd","family":"Sturmfels","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1990,8,1]]},"reference":[{"key":"BF02187794_CR1","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0012-365X(80)90029-1","volume":"31","author":"A. Altshuler","year":"1980","unstructured":"Altshuler, A.; Bokowski, J.; Steinberg, L.: The classification of simplicial 3-spheres with nine vertices into polytopes and non-polytopes,Discrete Math. 31 (1980), 115\u2013124.","journal-title":"Discrete Math."},{"key":"BF02187794_CR2","volume-title":"Ein Algorithmusansatz f\u00fcr Realisierungsfragen imE d getestet an kombinatorischen 3-Sph\u00e4ren","author":"C. Antonin","year":"1982","unstructured":"Antonin, C.: Ein Algorithmusansatz f\u00fcr Realisierungsfragen imE d getestet an kombinatorischen 3-Sph\u00e4ren. Staatsexamensarbeit, Bochum, 1982."},{"key":"BF02187794_CR3","volume-title":"Convexity and Applications","author":"A. Bachem","year":"1983","unstructured":"Bachem, A.: Convexity and optimization in discrete structures. InConvexity and Applications (ed. P. M. Gruber and J. Wills), Birkh\u00e4user, Basel, 1983."},{"key":"BF02187794_CR4","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1016\/0095-8956(78)90080-1","volume":"24","author":"R. Bland","year":"1978","unstructured":"Bland, R.; Las Vergnas, M.: Orientability of matroids,J. Combin. Theory Ser. B 24 (1978), 94\u2013123.","journal-title":"J. Combin. Theory Ser. B"},{"key":"BF02187794_CR5","volume-title":"A New Polyhedron of Genus 3 with 10 Vertices","author":"J. Bokowski","year":"1985","unstructured":"Bokowski, J.; Brehm, U.:A New Polyhedron of Genus 3 with 10 Vertices. Colloquia Mathematica Societatis J\u00e1nos Bolyai, Siofok, 1985."},{"key":"BF02187794_CR6","unstructured":"Bokowski, J.; Eggert, A.: All realizations of M\u00f6bius' torus with seven vertices. Preprint No. 1009, Technische Hochschule Darmstadt, 1987."},{"key":"BF02187794_CR7","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/S0195-6698(87)80026-4","volume":"8","author":"J. Bokowski","year":"1987","unstructured":"Bokowski, J.; Garms, K.: Altshuler's sphereM 425 10 is not polytopal,European J. Combin. 8 (1987), 227\u2013229.","journal-title":"European J. Combin."},{"key":"BF02187794_CR8","unstructured":"Bokowski, J.; Richter, J.: On the finding of final polynomials, Manuscript, 1988."},{"key":"BF02187794_CR9","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/BF02764673","volume":"58","author":"J. Bokowski","year":"1987","unstructured":"Bokowski, J.; Shemer, I.: Neighborly 6-polytopes with 10 vertices,Israel J. Math. 58 (1987), 103\u2013124.","journal-title":"Israel J. Math."},{"key":"BF02187794_CR10","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/BF02187702","volume":"1","author":"J. Bokowski","year":"1986","unstructured":"Bokowski, J.; Sturmfels, B.: On the coordinatization of oriented matroids,Discrete Comput. Geom. 1 (1986), 293\u2013306.","journal-title":"Discrete Comput. Geom."},{"key":"BF02187794_CR11","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/BF02766213","volume":"57","author":"J. Bokowski","year":"1987","unstructured":"Bokowski, J.; Sturmfels, B.: Polytopal and non-polytopal spheres\u2014an algorithmic approach,Israel J. Math. 57 (1987), 121\u2013124.","journal-title":"Israel J. Math."},{"key":"BF02187794_CR12","unstructured":"Bokowski, J.; Sturmfels, B.: An infinite family of minorminimal nonrealizable simplicial 3-chirotopes, submitted for publication."},{"key":"BF02187794_CR13","unstructured":"Canny, J. F.: Robot motion planning and real geometry.Proc. 28th Annual IEEE Conference of Foundations of Computer Science, Los Angeles, 1987."},{"key":"BF02187794_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/3-540-07407-4_17","volume-title":"Quantifier Elimination for Real Closed Fields by Cyclindrical Algebraic Decomposition","author":"C. Collins","year":"1975","unstructured":"Collins, C.:Quantifier Elimination for Real Closed Fields by Cyclindrical Algebraic Decomposition (Proc. 2nd GI Conf. on Automata and Formal Languages). Lecture Notes in Computer Science, Vol. 33, Springer-Verlag, Berlin, 1975, pp. 134\u2013163."},{"key":"BF02187794_CR15","first-page":"14","volume":"21","author":"A. Dress","year":"1986","unstructured":"Dress, A.: Chirotops and oriented matroids,Bayreuth. Math. Schr. 21 (1986), 14\u201368.","journal-title":"Bayreuth. Math. Schr."},{"key":"BF02187794_CR16","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0001-8708(87)90059-4","volume":"63","author":"I. M. Gelfand","year":"1987","unstructured":"Gelfand, I. M.; Goresky, R. M.; MacPherson, R. D.; Serganova, V.: Combinatorial geometries, convex polyhedra and Schubert cells,Adv. in Math. 63 (1987), 301\u2013316.","journal-title":"Adv. in Math."},{"key":"BF02187794_CR17","doi-asserted-by":"crossref","unstructured":"Grigoryev, D. Y.; Vorobjov, N. N.: Solving systems of polynomial inequalities in subexponential time,J. Symbolic Comput., to appear.","DOI":"10.1016\/S0747-7171(88)80005-1"},{"key":"BF02187794_CR18","unstructured":"Jaggi, B.; Mani-Levitska, P.: A simple arrangement of lines without the isotopy property. Manuscript, University Bern, 1988."},{"key":"BF02187794_CR19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0024-3795(82)90094-5","volume":"48","author":"J. Lawrence","year":"1982","unstructured":"Lawrence, J.: Oriented matroids and multiple ordered sets,Linear Algebra Appl. 48 (1982), 1\u201312.","journal-title":"Linear Algebra Appl."},{"key":"BF02187794_CR20","doi-asserted-by":"crossref","unstructured":"Ljubi\u0107, D.; Roudneff, J.-P.; Sturmfels, B.: Arrangements of lines and pseudolines without adjacent triangles,J. Combin. Theory Ser. A, to appear.","DOI":"10.1016\/0097-3165(89)90003-4"},{"key":"BF02187794_CR21","volume-title":"Topology of oriented matroids","author":"A. Mandel","year":"1981","unstructured":"Mandel, A.: Topology of oriented matroids. Ph.D. Thesis, University of Waterloo, Ontario, 1981."},{"key":"BF02187794_CR22","unstructured":"Richter, J.; Sturmfels, B.: On the geometric construction of oriented matroids and convex polytopes, submitted for publication."},{"key":"BF02187794_CR23","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/0012-365X(86)90016-6","volume":"60","author":"J.-P. Roudneff","year":"1986","unstructured":"Roudneff, J.-P.: On the number of triangles in simple arrangements of pseudolines in the real projective plane,Discrete Math. 60 (1986), 243\u2013251.","journal-title":"Discrete Math."},{"key":"BF02187794_CR24","first-page":"153","volume":"27","author":"J.-P. Roudneff","year":"1988","unstructured":"Roudneff, J.-P.; Sturmfels, B.: Simplicial cells in arrangements and mutations of oriented matroids,Geom. Dedicata 27 (1988), 153\u2013170.","journal-title":"Geom. Dedicata"},{"key":"BF02187794_CR25","doi-asserted-by":"crossref","first-page":"314","DOI":"10.1112\/jlms\/s2-35.2.314","volume":"35","author":"B. Sturmfels","year":"1987","unstructured":"Sturmfels, B.: Boundary complexes of convex polytopes cannot be characterized locally,J. London Math. Soc. 35 (1987), 314\u2013326.","journal-title":"J. London Math. Soc."},{"key":"BF02187794_CR26","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1090\/S0273-0979-1987-15532-7","volume":"17","author":"B. Sturmfels","year":"1987","unstructured":"Sturmfels, B.: On the decidability of diophantine problems in combinatorial geometry,Bull. Amer. Math. Soc. 17 (1987), 121\u2013124.","journal-title":"Bull. Amer. Math. Soc."},{"key":"BF02187794_CR27","series-title":"Lecture Notes in Mathematics","volume-title":"Computational Synthetic Geometry","author":"B. Sturmfels","year":"1988","unstructured":"Sturmfels, B.:Computational Synthetic Geometry. Lecture Notes in Mathematics, Vol. 1355, Springer-Verlag, Heidelberg, 1988."},{"key":"BF02187794_CR28","unstructured":"Sturmfels, B.: Computational algebraic geometry of projective configurations. InSymbolic Computations in Geometry, IMA Preprint Series No. 389, University of Minnesota, 1988."},{"key":"BF02187794_CR29","doi-asserted-by":"crossref","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 a combinatorial geometry, I,Trans. Amer. Math. Soc. 202 (1975), 79\u2013103.","journal-title":"Trans. Amer. Math. Soc."},{"key":"BF02187794_CR30","volume-title":"Theory of Matroids","year":"1986","unstructured":"White, N. (ed.):Theory of Matroids, Cambridge University Press, Cambridge, 1986."},{"key":"BF02187794_CR31","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF02187710","volume":"4","author":"N. White","year":"1989","unstructured":"White, N.: A nonuniform matroid which violates the isotopy conjecture,Discrete Comput. Geom. 4 (1989), 1\u20132.","journal-title":"Discrete Comput. Geom."}],"container-title":["Discrete & Computational Geometry"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02187794.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02187794\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02187794","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T17:22:35Z","timestamp":1557854555000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02187794"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,8]]},"references-count":31,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1990,8]]}},"alternative-id":["BF02187794"],"URL":"https:\/\/doi.org\/10.1007\/bf02187794","relation":{},"ISSN":["0179-5376","1432-0444"],"issn-type":[{"value":"0179-5376","type":"print"},{"value":"1432-0444","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,8]]}}}