文章基本信息

标题：Tropical Effective Primary and Dual Nullstellens"atze
本地全文：下载
作者：Dima Grigoriev ; Vladimir V. Podolskii
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2015
卷号：30
页码：379-391
DOI：10.4230/LIPIcs.STACS.2015.379
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：Tropical algebra is an emerging field with a number of applications in various areas of mathematics. In many of these applications appeal to tropical polynomials allows to study properties of mathematical objects such as algebraic varieties and algebraic curves from the computational point of view. This makes it important to study both mathematical and computational aspects of tropical polynomials. In this paper we prove tropical Nullstellensatz and moreover we show effective formulation of this theorem. Nullstellensatz is a next natural step in building algebraic theory of tropical polynomials and effective version is relevant for computational aspects of this field.
关键词：tropical algebra; tropical geometry; Nullstellensatz