{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T02:00:52Z","timestamp":1760061652639,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,6,24]],"date-time":"2015-06-24T00:00:00Z","timestamp":1435104000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,6,24]]},"DOI":"10.1145\/2755996.2756665","type":"proceedings-article","created":{"date-parts":[[2015,6,25]],"date-time":"2015-06-25T14:43:22Z","timestamp":1435243402000},"page":"355-362","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Matrix-F5 Algorithms and Tropical Gr\u00f6bner Bases Computation"],"prefix":"10.1145","author":[{"given":"Tristan","family":"Vaccon","sequence":"first","affiliation":[{"name":"Universit\u00e9 de Rennes 1, Rennes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,6,24]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Universit\u00e9 Paris VI","author":"Bardet Magali","year":"2004","unstructured":"Magali Bardet. \u00c9tude des syst\u00e8mes alg\u00e9briques surd\u00e9termin\u00e9s. applications aux codes correcteurs et \u00e0 la cryptographie. Th\u00e8se de doctorat, Universit\u00e9 Paris VI, 2004."},{"key":"e_1_3_2_1_2_1","first-page":"1","volume-title":"Journal of Symbolic Computation","author":"Bardet Magali","year":"2014","unstructured":"Magali Bardet, Jean-Charles Faug\u00e8re, and Bruno Salvy. On the Complexity of the F5 Gr\u00f6bner basis Algorithm. Journal of Symbolic Computation, pages 1--24, September 2014. 24 pages."},{"key":"e_1_3_2_1_4_1","volume-title":"Gr\u00f6bner bases over fields with valuations. arxiv:1303.0729","author":"Chan Andrew J","year":"2013","unstructured":"Andrew J Chan and Diane Maclagan. Gr\u00f6bner bases over fields with valuations. arxiv:1303.0729, 2013."},{"key":"e_1_3_2_1_5_1","volume-title":"Non-archimedean amoebas and tropical varieties. Journal f\u00fcr die reine und angewandte Mathematik (Crelles Journal)","author":"Kapranov Manfred","year":"2006","unstructured":"Einsiedler, Manfred and Kapranov, Mikhail and Lind, Douglas. Non-archimedean amoebas and tropical varieties. Journal f\u00fcr die reine und angewandte Mathematik (Crelles Journal), 2006(601):139--157, 2006."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1007\/978-3-540-71647-1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1006\/jsco.1993.1051"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1145\/780506.780516"},{"unstructured":"Anders N. Jensen. Gfan a software system for Gr\u00f6bner fans and tropical varieties. Available at http:\/\/home.imf.au.dk\/jensen\/software\/gfan\/gfan.html.","key":"e_1_3_2_1_9_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.5555\/646657.700393"},{"key":"e_1_3_2_1_11_1","volume-title":"Introduction to tropical geometry. Book in preparation, 34","author":"Maclagan Diane","year":"2009","unstructured":"Diane Maclagan and Bernd Sturmfels. Introduction to tropical geometry. Book in preparation, 34, 2009."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1007\/978-1-4757-5673-9"},{"key":"e_1_3_2_1_13_1","volume-title":"Stein et al","author":"A.","year":"2011","unstructured":"W.\u00feinspaceA. Stein et al. Sage Mathematics Software (Version 4.7.2). The Sage Development Team, 2011. http:\/\/www.sagemath.org."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1145\/2608628.2608658"}],"event":{"sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"acronym":"ISSAC'15","name":"ISSAC'15: International Symposium on Symbolic and Algebraic Computation","location":"Bath United Kingdom"},"container-title":["Proceedings of the 2015 ACM International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2755996.2756665","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2755996.2756665","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:00:31Z","timestamp":1750230031000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2755996.2756665"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,24]]},"references-count":13,"alternative-id":["10.1145\/2755996.2756665","10.1145\/2755996"],"URL":"https:\/\/doi.org\/10.1145\/2755996.2756665","relation":{},"subject":[],"published":{"date-parts":[[2015,6,24]]},"assertion":[{"value":"2015-06-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}