{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T21:41:50Z","timestamp":1725745310672},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319022963"},{"type":"electronic","value":"9783319022970"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-02297-0_13","type":"book-chapter","created":{"date-parts":[[2013,8,14]],"date-time":"2013-08-14T07:37:38Z","timestamp":1376465858000},"page":"148-154","source":"Crossref","is-referenced-by-count":1,"title":["Complexity in Tropical Algebra (Invited Talk)"],"prefix":"10.1007","author":[{"given":"Dima","family":"Grigoriev","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84996-299-5","volume-title":"Max-linear systems: theory and algorithms","author":"P. Butkovic","year":"2010","unstructured":"Butkovic, P.: Max-linear systems: theory and algorithms. Springer, Berlin (2010)"},{"key":"13_CR2","volume-title":"Oberwolfach Seminars","author":"I. Itenberg","year":"2009","unstructured":"Itenberg, I., Mikhalkin, G., Shustin, E.: Tropical algebraic geometry. In: Oberwolfach Seminars, Birkh\u00e4user, Basel (2009)"},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"1793","DOI":"10.1142\/S0218196711006674","volume":"22","author":"M. Akian","year":"2012","unstructured":"Akian, M., Gaubert, S., Guterman, A.: Tropical polyhedra are equivalent to mean payoff games. Int. J. Algebra Comput.\u00a022, 1793\u20131835 (2012)","journal-title":"Int. J. Algebra Comput."},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/s00037-012-0053-5","volume":"22","author":"D. Grigoriev","year":"2013","unstructured":"Grigoriev, D.: Complexity of solving tropical linear systems. Comput. Complexity\u00a022, 71\u201388 (2013)","journal-title":"Comput. Complexity"},{"key":"13_CR5","first-page":"69","volume":"402","author":"A. Davydow","year":"2012","unstructured":"Davydow, A.: Upper and lower bounds for Grigoriev\u2019s algorithm for solving integral tropical linear systems. Zap. Nauchn. Sem. POMI St.Petersbourg\u00a0402, 69\u201382 (2012)","journal-title":"Zap. Nauchn. Sem. POMI St.Petersbourg"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Grigoriev, D., Podolskii, V.: Complexity of tropical and min-plus prevarieties. Preprint MPIM, 2013-23 (2012)","DOI":"10.1007\/s00037-013-0077-5"},{"key":"13_CR7","first-page":"213","volume":"52","author":"M. Develin","year":"2005","unstructured":"Develin, M., Santos, F., Sturmfels, B.: On the rank of a tropical matrix. Math. Sci. Res. Inst. Publ.\u00a052, 213\u2013242 (2005)","journal-title":"Math. Sci. Res. Inst. Publ."},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/0166-218X(85)90073-3","volume":"11","author":"P. Butkovic","year":"1985","unstructured":"Butkovic, P., Hevery, F.: A condition for the strong regularity of matrices in the minimax algebra. Discr. Appl. Math.\u00a011, 209\u2013222 (1985)","journal-title":"Discr. Appl. Math."},{"key":"13_CR9","unstructured":"Kim, K., Roush, F.: Factorization of polynomials in one variable over the tropical semiring. arXiv:math\/050116\/v2"},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"2487","DOI":"10.1090\/S0002-9939-06-08426-7","volume":"134","author":"K. Kim","year":"2006","unstructured":"Kim, K., Roush, F.: Kapranov rank vs. tropical rank. Proc. Amer. Math. Soc.\u00a0134, 2487\u20132494 (2006)","journal-title":"Proc. Amer. Math. Soc."},{"key":"13_CR11","doi-asserted-by":"publisher","first-page":"3912","DOI":"10.1080\/00927870902828793","volume":"37","author":"Z. Izhakian","year":"2009","unstructured":"Izhakian, Z., Rowen, L.: The tropical rank of a tropical matrix. Communic. Algebra\u00a037, 3912\u20133927 (2009)","journal-title":"Communic. Algebra"},{"key":"13_CR12","doi-asserted-by":"publisher","first-page":"1549","DOI":"10.1016\/j.laa.2011.02.004","volume":"435","author":"X. Allamigeon","year":"2011","unstructured":"Allamigeon, X., Gaubert, S., Katz, R.: Tropical polar cones, hypergraph transversals, and mean payoff games. Lin. Alg. and Its Appl.\u00a0435, 1549\u20131574 (2011)","journal-title":"Lin. Alg. and Its Appl."},{"key":"13_CR13","first-page":"203","volume":"20","author":"P. Butkovic","year":"1984","unstructured":"Butkovic, P., Hegedus\u0308, G.: An elimination method for finding all solutions of the system of linear equations over an extremal algebra. Ekonom.-Mat. Obzor\u00a020, 203\u2013215 (1984)","journal-title":"Ekonom.-Mat. Obzor"},{"key":"13_CR14","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/j.ipl.2009.11.007","volume":"110","author":"M. Bezem","year":"2010","unstructured":"Bezem, M., Nieuwenhuis, R., Rodriguez-Carbonell, E.: Hard problem in max-algebra, control theory, hypergraphs and other areas. Inf. Procss. Lett.\u00a0110, 133\u2013138 (2010)","journal-title":"Inf. Procss. Lett."},{"key":"13_CR15","doi-asserted-by":"publisher","first-page":"1360","DOI":"10.1016\/j.jsc.2005.11.006","volume":"41","author":"T. Theobald","year":"2006","unstructured":"Theobald, T.: On the frontiers of polynomial computations in tropical geometry. J. Symbolic Comput.\u00a041, 1360\u20131375 (2006)","journal-title":"J. Symbolic Comput."},{"key":"13_CR16","unstructured":"Grigoriev, D., Shpilrain, V.: Tropical cryptography. Preprint MPIM, Bonn (2011)"},{"key":"13_CR17","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1016\/j.aam.2011.11.004","volume":"48","author":"D. Grigoriev","year":"2012","unstructured":"Grigoriev, D.: On a tropical dual Nullstellensatz. Adv. Appl. Math.\u00a048, 457\u2013464 (2012)","journal-title":"Adv. Appl. Math."},{"key":"13_CR18","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/BF01200407","volume":"3","author":"M. Giusti","year":"1993","unstructured":"Giusti, M., Heintz, J., Sabia, J.: On the efficiency of effective Nullstellensaetze. Comput. Complexity\u00a03, 56\u201395 (1993)","journal-title":"Comput. Complexity"},{"key":"13_CR19","doi-asserted-by":"publisher","first-page":"963","DOI":"10.2307\/1990996","volume":"1","author":"J. Koll\u00e1r","year":"1988","unstructured":"Koll\u00e1r, J.: Sharp effective Nullstellensatz. J. Amer. Math. Soc.\u00a01, 963\u2013975 (1988)","journal-title":"J. Amer. Math. Soc."},{"key":"13_CR20","unstructured":"Grigoriev, D., Podolskii, V.: Tropical dual effective Nullstellensatz (in preparation)"},{"key":"13_CR21","doi-asserted-by":"publisher","first-page":"941","DOI":"10.4171\/RMI\/561","volume":"24","author":"L. Tabera","year":"2008","unstructured":"Tabera, L.: Tropical resultants for curves and stable intersection. Rev. Mat. Iberoam.\u00a024, 941\u2013961 (2008)","journal-title":"Rev. Mat. Iberoam."},{"key":"13_CR22","doi-asserted-by":"publisher","first-page":"1067","DOI":"10.1142\/S0218196708004779","volume":"18","author":"Z. Izhakian","year":"2008","unstructured":"Izhakian, Z.: Tropical algebraic sets, ideals and an algebraic Nullstellensatz. Internat. J. Algebra Comput.\u00a018, 1067\u20131098 (2008)","journal-title":"Internat. J. Algebra Comput."},{"key":"13_CR23","doi-asserted-by":"publisher","first-page":"3815","DOI":"10.1090\/S0002-9939-07-09005-3","volume":"135","author":"E. Shustin","year":"2007","unstructured":"Shustin, E., Izhakian, Z.: A tropical Nullstellensatz. Proc. Amer. Math. Soc.\u00a0135, 3815\u20133821 (2007)","journal-title":"Proc. Amer. Math. Soc."},{"key":"13_CR24","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., Speyer, D., Sturmfels, B., Thomas, R.: Computing tropical varieties. J. Symb. Comput.\u00a042, 54\u201373 (2007)","journal-title":"J. Symb. Comput."}],"container-title":["Lecture Notes in Computer Science","Computer Algebra in Scientific Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-02297-0_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,20]],"date-time":"2019-07-20T19:48:30Z","timestamp":1563652110000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-02297-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319022963","9783319022970"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-02297-0_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}