{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T07:50:32Z","timestamp":1771573832526,"version":"3.50.1"},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2012,12,19]],"date-time":"2012-12-19T00:00:00Z","timestamp":1355875200000},"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":[[2013,3]]},"DOI":"10.1007\/s00454-012-9470-0","type":"journal-article","created":{"date-parts":[[2012,12,18]],"date-time":"2012-12-18T19:21:14Z","timestamp":1355858474000},"page":"359-381","source":"Crossref","is-referenced-by-count":17,"title":["Complete Enumeration of Small Realizable Oriented Matroids"],"prefix":"10.1007","volume":"49","author":[{"given":"Komei","family":"Fukuda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hiroyuki","family":"Miyata","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sonoko","family":"Moriyama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,12,19]]},"reference":[{"key":"9470_CR1","unstructured":"Aichholzer, O.: Order types for small point sets. http:\/\/www.ist.tugraz.at\/staff\/aichholzer\/research\/rp\/triangulations\/ordertypes\/"},{"key":"9470_CR2","unstructured":"Aichholzer, O., Krasser, H.: The point set order type data base: a collection of applications and results. In: Proceedings of the 13th Canadian Conference on Computational Geometry (CCCG 2001), pp. 17\u201320. University of Waterloo, Waterloo (2001)"},{"key":"9470_CR3","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1016\/j.comgeo.2005.07.005","volume":"36","author":"O Aichholzer","year":"2006","unstructured":"Aichholzer, O., Krasser, H.: Abstract order type extension and new results on the rectilinear crossing number. Comput. Geom. Theory Appl. 36, 2\u201315 (2006)","journal-title":"Comput. Geom. Theory Appl."},{"key":"9470_CR4","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1023\/A:1021231927255","volume":"19","author":"O Aichholzer","year":"2002","unstructured":"Aichholzer, O., Aurenhammer, F., Krasser, H.: Enumerating order types for small point sets with applications. Order 19, 265\u2013281 (2002)","journal-title":"Order"},{"key":"9470_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2140\/pjm.1985.117.1","volume":"117","author":"A Altshuler","year":"1985","unstructured":"Altshuler, A., Steinberg, L.: The complete enumeration of the $$4$$ -polytopes and $$3$$ -spheres with eight vertices. Pac. J. Math. 117, 1\u201316 (1985)","journal-title":"Pac. J. Math."},{"key":"9470_CR6","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 nonpolytopes. Discrete Math. 31, 115\u2013124 (1980)","journal-title":"Discrete Math."},{"key":"9470_CR7","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/0097-3165(81)90058-3","volume":"31","author":"LJ Billera","year":"1981","unstructured":"Billera, L.J., Lee, C.W.: A proof of the sufficiency of McMullen\u2019s conditions for $$f$$ -vectors of simplicial convex polytopes. J. Comb. Theory A 31, 237\u2013255 (1981)","journal-title":"J. Comb. Theory A"},{"key":"9470_CR8","doi-asserted-by":"crossref","unstructured":"Bj\u00f6rner, A., Las Vergnas, M., Sturmfels, B., White, N., Ziegler, G.: Oriented Matroids. Cambridge University Press, Cambridge (1999)","DOI":"10.1017\/CBO9780511586507"},{"key":"9470_CR9","doi-asserted-by":"crossref","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. Eur. J. Comb. 11, 21\u201334 (1990)","journal-title":"Eur. J. Comb."},{"key":"9470_CR10","unstructured":"Bokowski, J., Richter-Gebert, J.: On the classification of non-realizable oriented matroids, Preprint Nr. 1345. Technische Hochschule, Darmstadt (1990)"},{"key":"9470_CR11","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, 293\u2013306 (1986)","journal-title":"Discrete Comput. Geom."},{"key":"9470_CR12","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/BF02187794","volume":"5","author":"J Bokowski","year":"1990","unstructured":"Bokowski, J., Richter, J., Sturmfels, B.: Nonrealizability proofs in computational geometry. Discrete Comput. Geom. 5, 333\u2013350 (1990)","journal-title":"Discrete Comput. Geom."},{"key":"9470_CR13","unstructured":"Canham, R.J.: Arrangements of hyperplanes in projective and euclidean spaces. Ph.D. Thesis, University of East Anglia, Norwich (1971)"},{"key":"9470_CR14","doi-asserted-by":"crossref","unstructured":"Collins, G.E.: Quantifier elimination for real closed fields by cylindrical algebraic decomposition. Lecture Notes in Computer Science, vol. 33, pp. 515\u2013532. Springer, Berlin (1975)","DOI":"10.1007\/3-540-07407-4_17"},{"key":"9470_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2181-2","volume-title":"Ideals, varieties, and algorithms","author":"D Cox","year":"1992","unstructured":"Cox, D., Little, J., O\u2019Shea, D.: Ideals, varieties, and algorithms. Springer, Berlin (1992)"},{"issue":"1\u20132","key":"9470_CR16","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1007\/BF01237600","volume":"62","author":"IPF Silva da","year":"1998","unstructured":"da Silva, I.P.F., Fukuda, K.: Isolating points by lines in the plane. J. Geom. 62(1\u20132), 48\u201365 (1998)","journal-title":"J. Geom."},{"key":"9470_CR17","doi-asserted-by":"crossref","first-page":"59","DOI":"10.2969\/aspm\/06210059","volume":"62","author":"A Deza","year":"2012","unstructured":"Deza, A., Miyata, H., Moriyama, S., Xie, F.: Hyperplane arrangements with large average diameter: a computational approach. Adv. Stud. Pure Math. 62, 59\u201374 (2012)","journal-title":"Adv. Stud. Pure Math."},{"key":"9470_CR18","unstructured":"Edmonds, J., Fukuda, K.: Oriented matroid programming. Ph.D. Thesis, University of Waterloo, Waterloo (1982)"},{"key":"9470_CR19","unstructured":"Finschi, L.: Homepage of oriented matroids. http:\/\/www.om.math.ethz.ch\/"},{"key":"9470_CR20","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/s00454-001-0056-5","volume":"27","author":"L Finschi","year":"2002","unstructured":"Finschi, L., Fukuda, K.: Generation of oriented matroids\u2014a graph theoretical approach. Discrete Comput. Geom. 27, 117\u2013136 (2002)","journal-title":"Discrete Comput. Geom."},{"key":"9470_CR21","doi-asserted-by":"crossref","unstructured":"Finschi, L., Fukuda K.: Combinatorial generation of small point configurations and hyperplane arrangements. Discrete and Compuational Geometry: The Goodman\u2013Pollack Festschrift, Algorithms and Combinatorics, vol. 25, pp. 425\u2013440. Springer, Berlin (2003)","DOI":"10.1007\/978-3-642-55566-4_19"},{"key":"9470_CR22","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0095-8956(78)90039-4","volume":"25","author":"J Folkman","year":"1978","unstructured":"Folkman, J., Lawrence, J.: Oriented matroids. J. Comb. Theory B 25, 199\u2013236 (1978)","journal-title":"Oriented matroids. J. Comb. Theory B"},{"key":"9470_CR23","unstructured":"Fukuda, K., Klaus, L., Miyata H., work in progress"},{"key":"9470_CR24","doi-asserted-by":"crossref","first-page":"1854","DOI":"10.1016\/j.ejc.2008.12.012","volume":"30","author":"K Fukuda","year":"2009","unstructured":"Fukuda, K., Moriyama, S., Okamoto, Y.: The Holt\u2013Klee condition for oriented matroids. Eur. J. Comb. 30, 1854\u20131867 (2009)","journal-title":"Eur. J. Comb."},{"key":"9470_CR25","doi-asserted-by":"crossref","first-page":"R23","DOI":"10.37236\/1049","volume":"13","author":"\u00c9 Fusy","year":"2006","unstructured":"Fusy, \u00c9.: Counting $$d$$ -polytopes with $$d+3$$ vertices. Electr. J. Comb. 13, R23 (2006)","journal-title":"Electr. J. Comb."},{"key":"9470_CR26","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1016\/0097-3165(80)90011-4","volume":"29","author":"JE Goodman","year":"1980","unstructured":"Goodman, J.E., Pollack, R.: On the combinatorial classification of nondegenerate configurations in the plane. J. Comb. Theory A 29, 220\u2013235 (1980)","journal-title":"J. Comb. Theory A"},{"key":"9470_CR27","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1016\/0097-3165(80)90038-2","volume":"29","author":"JE Goodman","year":"1980","unstructured":"Goodman, J.E., Pollack, R.: Proof of Gr\u00fcnbaum\u2019s conjecture on the stretchability of certain arrangements of pseudolines. J. Comb. Theory A 29, 385\u2013390 (1980)","journal-title":"J. Comb. Theory A"},{"key":"9470_CR28","unstructured":"Gonzalez-Sprinberg, G., Laffaille, G.: Sur les arrangements simples de huit droites dans $$\\mathbb{RP}^2$$ . C. R. Acad. Sci. Paris S\u00e9r. I Math. 309, 341\u2013344 (1989)"},{"key":"9470_CR29","doi-asserted-by":"crossref","DOI":"10.1090\/cbms\/010","volume-title":"Arrangements and Spreads","author":"B Gr\u00fcnbaum","year":"1972","unstructured":"Gr\u00fcnbaum, B.: Arrangements and Spreads. American Mathematical Society, New York (1972)"},{"key":"9470_CR30","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0019-9","volume-title":"Convex Polytopes","author":"B Gr\u00fcnbaum","year":"2003","unstructured":"Gr\u00fcnbaum, B.: Convex Polytopes, 2nd edn. Springer, Berlin (2003)","edition":"2"},{"key":"9470_CR31","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1016\/S0021-9800(67)80055-3","volume":"2","author":"B Gr\u00fcnbaum","year":"1967","unstructured":"Gr\u00fcnbaum, B., Sreedharan, V.P.: An enumeration of simplicial 4-polytopes with 8 vertices. J. Comb. Theory 2, 437\u2013465 (1967)","journal-title":"J. Comb. Theory"},{"key":"9470_CR32","unstructured":"Halsey, E.: Zonotopal complexes on the d-cube. Ph.D. Dissertation, University of Washington, Seattle (1971)"},{"key":"9470_CR33","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1112\/S0025579300002795","volume":"17","author":"K Lloyd","year":"1970","unstructured":"Lloyd, K.: The number of $$d$$ -polytopes with ( $$d+3$$ ) vertices. Mathematika 17, 120\u2013132 (1970)","journal-title":"Mathematika"},{"key":"9470_CR34","doi-asserted-by":"crossref","unstructured":"Lutz, F.H.: Enumeration and random realization of triangulated surfaces. In: Bobenko, A.I., Schr\u00f6der, P., Sullivan, J.M., Ziegler, G.M. (eds.) Discrete Differential Geometry. Oberwolfach Seminars, vol. 38, pp. 235\u2013253. Birkh\u00e4user, Basel (2008)","DOI":"10.1007\/978-3-7643-8621-4_12"},{"key":"9470_CR35","unstructured":"Mandel, A.: Topology of oriented matriods. Ph.D. Thesis, University of Waterloo, Waterloo (1982)"},{"key":"9470_CR36","first-page":"211","volume":"5","author":"H Miyata","year":"2009","unstructured":"Miyata, H., Moriyama, S., Imai, H.: Deciding non-realizability of oriented matroids by semidefinite programming. Pac. J. Optim. 5, 211\u2013224 (2009)","journal-title":"Pac. J. Optim."},{"key":"9470_CR37","doi-asserted-by":"crossref","unstructured":"Mn\u00ebv, M.N.: The universality theorems on the classification problem of configuration varieties and convex polytopes varieties, Topology and Geometry. Lecture Notes in Mathematics, vol. 1346, pp. 527\u2013544. Springer, Heidelberg (1988)","DOI":"10.1007\/BFb0082792"},{"key":"9470_CR38","unstructured":"Nakayama, H.: Methods for realizations of oriented matroids and characteristic oriented matroids. Ph.D. Thesis, The University of Tokyo, Tokyo (2007)"},{"key":"9470_CR39","unstructured":"Nakayama, H., Moriyama, S., Fukuda, K., Okamoto, Y.: Comparing the strengths of the non-realizability certificates for oriented matroids. In: Proceedings of 4th Japanese\u2013Hungarian Symposium on Discrete Mathematics and Its Applications, pp. 243\u2013249 (2005)"},{"key":"9470_CR40","unstructured":"Nakayama, H., Moriyama, S., Fukuda, K.: Realizations of non-uniform oriented matroids using generalized mutation graphs. In: Proceedings of 5th Hungarian\u2013Japanese Symposium on Discrete Mathematics and Its Applications, Sendai, pp. 242\u2013251 (2007)"},{"key":"9470_CR41","unstructured":"Richter, J.: Kombinatorische Realisierbarkeitskriterien f\u00fcr orientierte Matroide. Master\u2019s Thesis, Technische Hochschule, Darmstadt, 1988. Published in Mitteilungen Mathem. Seminar Giessen, Heft 194, Giessen (1989)"},{"key":"9470_CR42","doi-asserted-by":"crossref","unstructured":"Richter-Gebert, J.: Realization spaces of polytopes. Lecture Notes in Mathematics, vol. 1643. Springer, Berlin (1996)","DOI":"10.1007\/BFb0093761"},{"key":"9470_CR43","first-page":"137","volume":"1","author":"J Richter-Gebert","year":"1996","unstructured":"Richter-Gebert, J.: Two interesting oriented matroids. Doc. Math. 1, 137\u2013148 (1996)","journal-title":"Two interesting oriented matroids. Doc. Math."},{"key":"9470_CR44","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1090\/S0002-9947-1991-0994170-3","volume":"325","author":"J Richter","year":"1991","unstructured":"Richter, J., Sturmfels, B.: On the topology and geometric construction of oriented matroids and convex polytopes. Trans. Am. Math. Soc. 325, 389\u2013412 (1991)","journal-title":"Trans. Am. Math. Soc."},{"key":"9470_CR45","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, 153\u2013170 (1988)","journal-title":"Geom. Dedicata"},{"key":"9470_CR46","doi-asserted-by":"crossref","unstructured":"Shor, P.W.: Stretchability of pseudolines is NP-hard. In: Gritzmann, P., Sturmfels, B. (eds.) Applied Geometry and Discrete Mathemaics: The Victor Klee Festschrift. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 4, pp. 531\u2013554. American Mathematical Society, Providence (1991)","DOI":"10.1090\/dimacs\/004\/41"},{"key":"9470_CR47","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1016\/0001-8708(80)90050-X","volume":"35","author":"P Stanley","year":"1980","unstructured":"Stanley, P.: The number of faces of simplicial convex polytopes. Adv. Math. 35, 236\u2013238 (1980)","journal-title":"Adv. Math."},{"key":"9470_CR48","first-page":"86","volume":"11","author":"E Steinitz","year":"1906","unstructured":"Steinitz, E.: Uber die Eulerschen polyederrelationen. Arch. Math. Phys. 11, 86\u201388 (1906)","journal-title":"Arch. Math. Phys."},{"key":"9470_CR49","unstructured":"Steinitz, E.: Polyeder und Raumeinteilungen. Encyclop\u00e4die der mathematischen Wissenschaften, Band 3 (Geometrie), pp. 1\u2013139 (1922)"},{"key":"9470_CR50","volume-title":"Vorlesungen \u00fcber die Theorie der Polyeder","author":"E Steinitz","year":"1934","unstructured":"Steinitz, E.: Vorlesungen \u00fcber die Theorie der Polyeder. Springer, Berlin (1934)"},{"key":"9470_CR51","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8431-1","volume-title":"Lectures on Polytopes","author":"GM Ziegler","year":"1995","unstructured":"Ziegler, G.M.: Lectures on Polytopes. Springer, Berlin (1995)"}],"container-title":["Discrete & Computational Geometry"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00454-012-9470-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00454-012-9470-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00454-012-9470-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,3]],"date-time":"2022-02-03T18:15:29Z","timestamp":1643912129000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00454-012-9470-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12,19]]},"references-count":51,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2013,3]]}},"alternative-id":["9470"],"URL":"https:\/\/doi.org\/10.1007\/s00454-012-9470-0","relation":{},"ISSN":["0179-5376","1432-0444"],"issn-type":[{"value":"0179-5376","type":"print"},{"value":"1432-0444","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,12,19]]}}}