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 |
ftccsdartic:oai:HAL:hal-04117544v3 |
|---|---|
| record_format |
openpolar |
| spelling |
ftccsdartic:oai:HAL:hal-04117544v3 2023-07-16T04:01:09+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-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 ftccsdartic https://doi.org/10.1145/3597066.3597089 2023-06-24T22:33:26Z International audience Conference Object Tromsø Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe) Norway Tromsø Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation 43 52 |
| 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-04117544v3/document https://inria.hal.science/hal-04117544v3/file/issac2023-23.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-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_ |
1771550683119484928 |