{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,6]],"date-time":"2025-07-06T14:10:07Z","timestamp":1751811007145,"version":"3.41.0"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319986531"},{"type":"electronic","value":"9783319986548"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-99639-4_13","type":"book-chapter","created":{"date-parts":[[2018,8,22]],"date-time":"2018-08-22T19:43:34Z","timestamp":1534967014000},"page":"187-196","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Orthogonal Tropical Linear Prevarieties"],"prefix":"10.1007","author":[{"given":"Dima","family":"Grigoriev","sequence":"first","affiliation":[]},{"given":"Nicolai","family":"Vorobjov","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,8,23]]},"reference":[{"issue":"1\u20132","key":"13_CR1","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1016\/j.jsc.2006.02.004","volume":"42","author":"T Bogart","year":"2007","unstructured":"Bogart, T., Jensen, A.N., Speyer, D., Sturmfels, B., Thomas, R.R.: Computing tropical varieties. J. Symb. Comput. 42(1\u20132), 54\u201373 (2007)","journal-title":"J. Symb. Comput."},{"key":"13_CR2","first-page":"203","volume":"20","author":"P Butkovic","year":"1984","unstructured":"Butkovic, P., Heged\u00fcs, G.: An elimination method for finding all solutions of the system of linear equations over an extremal algebra. Ekon. Mat. Obzor 20, 203\u2013214 (1984)","journal-title":"Ekon. Mat. Obzor"},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"1838","DOI":"10.1007\/BF01095643","volume":"34","author":"A Chistov","year":"1986","unstructured":"Chistov, A.: An algorithm of polynomial complexity for factoring polynomials, and determination of the components of a variety in a subexponential time. J. Sov. Math. 34, 1838\u20131882 (1986)","journal-title":"J. Sov. Math."},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/BFb0016248","volume-title":"Mathematical Foundations of Computer Science 1986","author":"AL Chistov","year":"1986","unstructured":"Chistov, A.L.: Polynomial complexity of the Newton-Puiseux algorithm. In: Gruska, J., Rovan, B., Wiedermann, J. (eds.) MFCS 1986. LNCS, vol. 233, pp. 247\u2013255. Springer, Heidelberg (1986). https:\/\/doi.org\/10.1007\/BFb0016248"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Develin, M., Santos, F., Sturmfels, B.: On the rank of a tropical matrix. In: Combinatorial and Computational Geometry, vol. 52. MSRI Publications (2005)","DOI":"10.1017\/9781009701259.014"},{"key":"13_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4171\/dm\/154","volume":"9","author":"M Develin","year":"2004","unstructured":"Develin, M., Sturmfels, B.: Tropical convexity. Doc. Math. 9, 1\u201327 (2004)","journal-title":"Doc. Math."},{"issue":"2","key":"13_CR7","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/s13366-011-0017-y","volume":"52","author":"A Dress","year":"2011","unstructured":"Dress, A., Wenzel, W.: Algebraic, tropical, and fuzzy geometry. Beitr. Algebra Geom. 52(2), 431\u2013461 (2011)","journal-title":"Beitr. Algebra Geom."},{"issue":"3","key":"13_CR8","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/s10801-010-0246-4","volume":"33","author":"S Gaubert","year":"2011","unstructured":"Gaubert, S., Katz, R.D.: Minimal half-spaces and external representation of tropical polyhedra. J. Algebraic Comb. 33(3), 325\u2013348 (2011)","journal-title":"J. Algebraic Comb."},{"key":"13_CR9","doi-asserted-by":"publisher","first-page":"1762","DOI":"10.1007\/BF01095638","volume":"34","author":"D Grigoriev","year":"1986","unstructured":"Grigoriev, D.: Polynomial factoring over a finite field and solving systems of algebraic equations. J. Sov. Math. 34, 1762\u20131803 (1986)","journal-title":"J. Sov. Math."},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-319-24021-3_11","volume-title":"Computer Algebra in Scientific Computing","author":"D Grigoriev","year":"2015","unstructured":"Grigoriev, D.: Polynomial complexity recognizing a tropical linear variety. In: Gerdt, V.P., Koepf, W., Seiler, W.M., Vorozhtsov, E.V. (eds.) CASC 2015. LNCS, vol. 9301, pp. 152\u2013157. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-24021-3_11"},{"issue":"1","key":"13_CR11","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/s00037-013-0077-5","volume":"24","author":"D Grigoriev","year":"2015","unstructured":"Grigoriev, D., Podolskii, V.: Complexity of tropical and min-plus linear prevarieties. Comput. Complex. 24(1), 31\u201364 (2015)","journal-title":"Comput. Complex."},{"issue":"1","key":"13_CR12","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/s40598-018-0086-1","volume":"4","author":"D Grigoriev","year":"2018","unstructured":"Grigoriev, D., Vorobjov, N.: Upper bounds on Betti numbers of tropical prevarieties. Arnold Math. J. 4(1), 127\u2013136 (2018)","journal-title":"Arnold Math. J."},{"key":"13_CR13","unstructured":"Grigoriev, D., Vorobjov, N.: Orthogonal tropical linear prevarieties. arXiv:1803.01068"},{"issue":"7","key":"13_CR14","doi-asserted-by":"publisher","first-page":"2233","DOI":"10.1090\/S0002-9939-09-09843-8","volume":"137","author":"K Hept","year":"2009","unstructured":"Hept, K., Theobald, T.: Tropical bases by regular projections. Proc. Amer. Math. Soc. 137(7), 2233\u20132241 (2009)","journal-title":"Proc. Amer. Math. Soc."},{"issue":"2","key":"13_CR15","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/BF03191365","volume":"59","author":"AN Jensen","year":"2008","unstructured":"Jensen, A.N., Markwig, H., Markwig, T.: An algorithm for lifting points in a tropical variety. Collect. Math. 59(2), 129\u2013165 (2008)","journal-title":"Collect. Math."},{"issue":"5","key":"13_CR16","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1090\/spmj\/1359","volume":"26","author":"Y Kazarnovskii","year":"2015","unstructured":"Kazarnovskii, Y., Khovanskii, A.G.: Tropical noetherity and Gr\u00f6bner bases. St. Petersburg Math. J. 26(5), 797\u2013811 (2015)","journal-title":"St. Petersburg Math. J."},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Maclagan, D., Sturmfels B.: Introduction to Tropical Geometry. Graduate Studies in Mathematics, vol. 161. American Mathematical Society, Providence (2015)","DOI":"10.1090\/gsm\/161"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Richter-Gebert, J., Sturmfels, B., Theobald, T.: First steps in tropical geometry. In: Litvinov, G., Maslov, V. (eds.) Idempotent Mathematics and Mathematical Physics (Proceedings Vienna 2003), Contemporary Mathematics, vol. 377, pp. 289\u2013317. American Mathematical Society (2005)","DOI":"10.1090\/conm\/377\/06998"},{"issue":"4","key":"13_CR19","doi-asserted-by":"publisher","first-page":"1527","DOI":"10.1137\/080716219","volume":"22","author":"D Speyer","year":"2008","unstructured":"Speyer, D.: Tropical linear spaces. SIAM J. Discret. Math. 22(4), 1527\u20131558 (2008)","journal-title":"SIAM J. Discret. Math."},{"key":"13_CR20","unstructured":"Yu, J., Yuster, D.S.: Representing tropical linear spaces by circuits. In: The 19th International Conference on Formal Power Series and Algebraic Combinatorics (2006). arXiv:0611579"}],"container-title":["Lecture Notes in Computer Science","Developments in Language Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99639-4_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,6]],"date-time":"2025-07-06T13:40:40Z","timestamp":1751809240000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99639-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319986531","9783319986548"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99639-4_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}