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 |
| _version_ | 1821729901189791744 |
|---|---|
| author | Akian, Marianne Béreau, Antoine Gaubert, Stéphane |
| 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) |
| author_facet | Akian, Marianne Béreau, Antoine Gaubert, Stéphane |
| author_sort | Akian, Marianne |
| collection | Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe) |
| container_start_page | 43 |
| container_title | Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation |
| description | International audience |
| format | Conference Object |
| genre | Tromsø |
| genre_facet | Tromsø |
| geographic | Norway Tromsø |
| geographic_facet | Norway Tromsø |
| id | ftccsdartic:oai:HAL:hal-04117544v3 |
| institution | Open Polar |
| language | English |
| op_collection_id | ftccsdartic |
| op_container_end_page | 52 |
| op_coverage | Tromsø, Norway |
| op_doi | https://doi.org/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_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⟩ |
| publishDate | 2023 |
| publisher | HAL CCSD |
| record_format | openpolar |
| spelling | ftccsdartic:oai:HAL:hal-04117544v3 2025-01-17T01:08:27+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 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 |
| 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 |
| title | 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_short | The Tropical Nullstellensatz and Positivstellensatz for Sparse Polynomial Systems |
| title_sort | tropical nullstellensatz and positivstellensatz for sparse polynomial systems |
| topic | Tropical geometry Polynomial systems Zero-sum games Algorithmic complexity [MATH]Mathematics [math] |
| topic_facet | Tropical geometry Polynomial systems Zero-sum games Algorithmic complexity [MATH]Mathematics [math] |
| 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 |