The Tropical Nullstellensatz and Positivstellensatz for Sparse Polynomial Systems

International audience

Bibliographic Details
Main Authors: Akian, Marianne, Béreau, Antoine, Gaubert, Stéphane
Other Authors: TROPICAL (TROPICAL), Centre de Mathématiques Appliquées - Ecole Polytechnique (CMAP), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
Format: Conference Object
Language:English
Published: HAL CCSD 2023
Subjects:
Tropical geometry
Polynomial systems
Zero-sum games
Algorithmic complexity
[MATH]Mathematics [math]
Norway
Tromsø
Online Access:https://inria.hal.science/hal-04117544
https://inria.hal.science/hal-04117544v2/document
https://inria.hal.science/hal-04117544v2/file/issac23.pdf
https://doi.org/10.1145/3597066.3597089
id ftccsdartic:oai:HAL:hal-04117544v2
record_format openpolar
spelling ftccsdartic:oai:HAL:hal-04117544v2 2023-07-02T03:33:52+02:00 The Tropical Nullstellensatz and Positivstellensatz for Sparse Polynomial Systems Akian, Marianne Béreau, Antoine Gaubert, Stéphane TROPICAL (TROPICAL) Centre de Mathématiques Appliquées - Ecole Polytechnique (CMAP) École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria) Tromsø, Norway 2023-07-24 https://inria.hal.science/hal-04117544 https://inria.hal.science/hal-04117544v2/document https://inria.hal.science/hal-04117544v2/file/issac23.pdf https://doi.org/10.1145/3597066.3597089 en eng HAL CCSD ACM info:eu-repo/semantics/altIdentifier/doi/10.1145/3597066.3597089 ISBN: 979-8-4007-0039-2/23/07 hal-04117544 https://inria.hal.science/hal-04117544 https://inria.hal.science/hal-04117544v2/document https://inria.hal.science/hal-04117544v2/file/issac23.pdf doi:10.1145/3597066.3597089 http://hal.archives-ouvertes.fr/licences/copyright/ info:eu-repo/semantics/OpenAccess ISSAC '23: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation ISSAC 2023 - International Symposium on Symbolic and Algebraic Computation https://inria.hal.science/hal-04117544 ISSAC 2023 - International Symposium on Symbolic and Algebraic Computation, Jul 2023, Tromsø, Norway. ⟨10.1145/3597066.3597089⟩ Tropical geometry Polynomial systems Zero-sum games Algorithmic complexity [MATH]Mathematics [math] info:eu-repo/semantics/conferenceObject Conference papers 2023 ftccsdartic https://doi.org/10.1145/3597066.3597089 2023-06-10T23:30:29Z International audience Conference Object Tromsø Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe) Norway Tromsø
institution Open Polar
collection Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe)
op_collection_id ftccsdartic
language English
topic Tropical geometry
Polynomial systems
Zero-sum games
Algorithmic complexity
[MATH]Mathematics [math]
spellingShingle Tropical geometry
Polynomial systems
Zero-sum games
Algorithmic complexity
[MATH]Mathematics [math]
Akian, Marianne
Béreau, Antoine
Gaubert, Stéphane
The Tropical Nullstellensatz and Positivstellensatz for Sparse Polynomial Systems
topic_facet Tropical geometry
Polynomial systems
Zero-sum games
Algorithmic complexity
[MATH]Mathematics [math]
description International audience
author2 TROPICAL (TROPICAL)
Centre de Mathématiques Appliquées - Ecole Polytechnique (CMAP)
École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France
Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
format Conference Object
author Akian, Marianne
Béreau, Antoine
Gaubert, Stéphane
author_facet Akian, Marianne
Béreau, Antoine
Gaubert, Stéphane
author_sort Akian, Marianne
title The Tropical Nullstellensatz and Positivstellensatz for Sparse Polynomial Systems
title_short The Tropical Nullstellensatz and Positivstellensatz for Sparse Polynomial Systems
title_full The Tropical Nullstellensatz and Positivstellensatz for Sparse Polynomial Systems
title_fullStr The Tropical Nullstellensatz and Positivstellensatz for Sparse Polynomial Systems
title_full_unstemmed The Tropical Nullstellensatz and Positivstellensatz for Sparse Polynomial Systems
title_sort tropical nullstellensatz and positivstellensatz for sparse polynomial systems
publisher HAL CCSD
publishDate 2023
url https://inria.hal.science/hal-04117544
https://inria.hal.science/hal-04117544v2/document
https://inria.hal.science/hal-04117544v2/file/issac23.pdf
https://doi.org/10.1145/3597066.3597089
op_coverage Tromsø, Norway
geographic Norway
Tromsø
geographic_facet Norway
Tromsø
genre Tromsø
genre_facet Tromsø
op_source ISSAC '23: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation
ISSAC 2023 - International Symposium on Symbolic and Algebraic Computation
https://inria.hal.science/hal-04117544
ISSAC 2023 - International Symposium on Symbolic and Algebraic Computation, Jul 2023, Tromsø, Norway. ⟨10.1145/3597066.3597089⟩
op_relation info:eu-repo/semantics/altIdentifier/doi/10.1145/3597066.3597089
ISBN: 979-8-4007-0039-2/23/07
hal-04117544
https://inria.hal.science/hal-04117544
https://inria.hal.science/hal-04117544v2/document
https://inria.hal.science/hal-04117544v2/file/issac23.pdf
doi:10.1145/3597066.3597089
op_rights http://hal.archives-ouvertes.fr/licences/copyright/
info:eu-repo/semantics/OpenAccess
op_doi https://doi.org/10.1145/3597066.3597089
_version_ 1770274003347308544

Similar Items