2 Search Results for "Grigoriev, Dima"

Document
DOI: 10.4230/DagRep.6.11.168
Algorithms and Effectivity in Tropical Mathematics and Beyond (Dagstuhl Seminar 16482)

Authors: Stéphane Gaubert, Dima Grigoriev, Michael Joswig, and Thorsten Theobald

Published in: Dagstuhl Reports, Volume 6, Issue 11 (2017)

Abstract
This report documents the Dagstuhl Seminar on Algorithms and Effectivity in Tropical Mathematics and Beyond, which took place from November 27 -- December 02, 2016. The report contains an executive summary as well as abstracts of the talks which reflect recent progress in the topic of the meeting.
Cite as

Stéphane Gaubert, Dima Grigoriev, Michael Joswig, and Thorsten Theobald. Algorithms and Effectivity in Tropical Mathematics and Beyond (Dagstuhl Seminar 16482). In Dagstuhl Reports, Volume 6, Issue 11, pp. 168-184, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@Article{gaubert_et_al:DagRep.6.11.168,
  author =	{Gaubert, St\'{e}phane and Grigoriev, Dima and Joswig, Michael and Theobald, Thorsten},
  title =	{{Algorithms and Effectivity in Tropical Mathematics and Beyond (Dagstuhl Seminar 16482)}},
  pages =	{168--184},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{6},
  number =	{11},
  editor =	{Gaubert, St\'{e}phane and Grigoriev, Dima and Joswig, Michael and Theobald, Thorsten},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.6.11.168},
  URN =		{urn:nbn:de:0030-drops-71073},
  doi =		{10.4230/DagRep.6.11.168},
  annote =	{Keywords: Algorithms in tropical mathematics, complexity, effective bounds, optimization, zero-sum games}
}
Document
DOI: 10.4230/LIPIcs.STACS.2015.379
Tropical Effective Primary and Dual Nullstellens"atze

Authors: Dima Grigoriev and Vladimir V. Podolskii

Published in: LIPIcs, Volume 30, 32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015)

Abstract
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.
Cite as

Dima Grigoriev and Vladimir V. Podolskii. Tropical Effective Primary and Dual Nullstellens"atze. In 32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 30, pp. 379-391, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)

Copy BibTex To Clipboard

@InProceedings{grigoriev_et_al:LIPIcs.STACS.2015.379,
  author =	{Grigoriev, Dima and Podolskii, Vladimir V.},
  title =	{{Tropical Effective Primary and Dual Nullstellens"atze}},
  booktitle =	{32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015)},
  pages =	{379--391},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-78-1},
  ISSN =	{1868-8969},
  year =	{2015},
  volume =	{30},
  editor =	{Mayr, Ernst W. and Ollinger, Nicolas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2015.379},
  URN =		{urn:nbn:de:0030-drops-49286},
  doi =		{10.4230/LIPIcs.STACS.2015.379},
  annote =	{Keywords: tropical algebra, tropical geometry, Nullstellensatz}
}
  • Refine by Author
  • 2 Grigoriev, Dima
  • 1 Gaubert, Stéphane
  • 1 Joswig, Michael
  • 1 Podolskii, Vladimir V.
  • 1 Theobald, Thorsten

  • Refine by Classification

  • Refine by Keyword
  • 1 Algorithms in tropical mathematics
  • 1 Nullstellensatz
  • 1 complexity
  • 1 effective bounds
  • 1 optimization
  • Show More...

  • Refine by Type
  • 2 document

  • Refine by Publication Year
  • 1 2015
  • 1 2017

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact