The Tropical Nullstellensatz and Positivstellensatz for Sparse Polynomial Systems
International audience
Published in: | Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation |
---|---|
Main Authors: | , , |
Other Authors: | , , , |
Format: | Conference Object |
Language: | English |
Published: |
HAL CCSD
2023
|
Subjects: | |
Online Access: | https://inria.hal.science/hal-04117544 https://inria.hal.science/hal-04117544v3/document https://inria.hal.science/hal-04117544v3/file/issac2023-23.pdf https://doi.org/10.1145/3597066.3597089 |
id |
ftepunivpsaclay:oai:HAL:hal-04117544v3 |
---|---|
record_format |
openpolar |
spelling |
ftepunivpsaclay:oai:HAL:hal-04117544v3 2024-05-19T07:49:32+00: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-04117544v3/document https://inria.hal.science/hal-04117544v3/file/issac2023-23.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-04117544v3/document https://inria.hal.science/hal-04117544v3/file/issac2023-23.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 ftepunivpsaclay https://doi.org/10.1145/3597066.3597089 2024-05-02T00:03:10Z International audience Conference Object Tromsø École Polytechnique, Université Paris-Saclay: HAL Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation 43 52 |
institution |
Open Polar |
collection |
École Polytechnique, Université Paris-Saclay: HAL |
op_collection_id |
ftepunivpsaclay |
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-04117544v3/document https://inria.hal.science/hal-04117544v3/file/issac2023-23.pdf https://doi.org/10.1145/3597066.3597089 |
op_coverage |
Tromsø, Norway |
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-04117544v3/document https://inria.hal.science/hal-04117544v3/file/issac2023-23.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 |
container_title |
Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation |
container_start_page |
43 |
op_container_end_page |
52 |
_version_ |
1799468029048782848 |