{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T08:32:44Z","timestamp":1771489964525,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,7,24]],"date-time":"2023-07-24T00:00:00Z","timestamp":1690156800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001381","name":"National Research Foundation Singapore","doi-asserted-by":"publisher","award":["DesCartes"],"award-info":[{"award-number":["DesCartes"]}],"id":[{"id":"10.13039\/501100001381","id-type":"DOI","asserted-by":"publisher"}]},{"name":"HORIZON EUROPE Marie Sklodowska-Curie Actions","award":["813211"],"award-info":[{"award-number":["813211"]}]},{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-11-LABX-0040, ANR-19-PI3A-0004"],"award-info":[{"award-number":["ANR-11-LABX-0040, ANR-19-PI3A-0004"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,7,24]]},"DOI":"10.1145\/3597066.3597072","type":"proceedings-article","created":{"date-parts":[[2023,7,5]],"date-time":"2023-07-05T18:15:27Z","timestamp":1688580927000},"page":"425-433","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Pourchet\u2019s theorem in action: decomposing univariate nonnegative polynomials as sums of five squares"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0952-5738","authenticated-orcid":false,"given":"Przemys\u0142aw","family":"Koprowski","sequence":"first","affiliation":[{"name":"University of Silesia in Katowice, Poland"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1147-3738","authenticated-orcid":false,"given":"Victor","family":"Magron","sequence":"additional","affiliation":[{"name":"CNRS-LAAS, IMT, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4208-8349","authenticated-orcid":false,"given":"Tristan","family":"Vaccon","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Limoges; CNRS, XLIM, France"}]}],"member":"320","published-online":{"date-parts":[[2023,7,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74464-1_4"},{"key":"e_1_3_2_1_2_1","volume-title":"A","author":"Biasse Jean-Fran\u00e7ois","year":"2014","unstructured":"Jean-Fran\u00e7ois Biasse and Claus Fieker. 2014. Subexponential class group and unit group computation in large degree number fields. LMS Journal of Computation and Mathematics 17, A (2014), 385\u2013403."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/2884435.2884499"},{"key":"e_1_3_2_1_4_1","unstructured":"Alin Bostan Fr\u00e9d\u00e9ric Chyzak Marc Giusti Romain Lebreton Gr\u00e9goire Lecerf Bruno Salvy and \u00c9ric Schost. 2017. Algorithmes Efficaces en Calcul Formel. Fr\u00e9d\u00e9ric Chyzak (auto-\u00e9dit.) Palaiseau. https:\/\/hal.archives-ouvertes.fr\/AECF\/ 686 pages. Imprim\u00e9 par CreateSpace. Aussi disponible en version \u00e9lectronique."},{"key":"e_1_3_2_1_5_1","volume-title":"Number theory (New York","author":"Bumby T.","year":"1991","unstructured":"Richard\u00a0T. Bumby. 1996. Sums of four squares. In Number theory (New York, 1991\u20131995). Springer, New York, 1\u20138."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/10722028_10"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2010.11.052"},{"key":"e_1_3_2_1_8_1","volume-title":"A course in computational algebraic number theory. Vol.\u00a08","author":"Cohen Henri","unstructured":"Henri Cohen. 1993. A course in computational algebraic number theory. Vol.\u00a08. Springer-Verlag, Berlin."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8489-0"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0025-5718-97-00761-8"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","unstructured":"U. Fincke and M. Pohst. 1983. A procedure for determining algebraic integers of given norm. In Computer algebra (London 1983). Lecture Notes in Comput. Sci. Vol.\u00a0162. Springer Berlin 194\u2013202. https:\/\/doi.org\/10.1007\/3-540-12868-9_103 https:\/\/doi.org\/10.1007\/3-540-12868-9_103.","DOI":"10.1007\/3-540-12868-9_103"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1515\/crll.1980.316.1"},{"key":"e_1_3_2_1_13_1","unstructured":"Alexandre G\u00e9lin. 2017. Class group computations in number fields and applications to cryptology. Ph.\u00a0D. Dissertation. Universit\u00e9 Pierre et Marie Curie-Paris VI."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1112\/S1461157016000255"},{"key":"e_1_3_2_1_15_1","volume-title":"Forum of mathematics, Pi, Vol.\u00a05","author":"Hales Thomas","unstructured":"Thomas Hales, Mark Adams, Gertrud Bauer, Tat\u00a0Dat Dang, John Harrison, Hoang Le\u00a0Truong, Cezary Kaliszyk, Victor Magron, Sean McLaughlin, Tat\u00a0Thang Nguyen, 2017. A formal proof of the Kepler conjecture. In Forum of mathematics, Pi, Vol.\u00a05. Cambridge University Press, UK, 1\u201329."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1080\/10556788.2017.1341505"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Teresa Krick Bernard Mourrain and Agnes Szanto. 2021. Univariate rational sums of squares. arXiv:2112.00490","DOI":"10.33044\/revuma.2904"},{"key":"e_1_3_2_1_18_1","volume-title":"Vol.\u00a067","author":"Lam Tsit\u00a0Yuen","unstructured":"Tsit\u00a0Yuen Lam. 2005. Introduction to quadratic forms over fields. Graduate Studies in Mathematics, Vol.\u00a067. American Mathematical Society, Providence, RI. xxii+550 pages."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01449981"},{"key":"e_1_3_2_1_20_1","series-title":"SIAM Journal on optimization 11, 3","volume-title":"Global optimization with polynomials and the problem of moments","author":"Lasserre B","year":"2001","unstructured":"Jean\u00a0B Lasserre. 2001. Global optimization with polynomials and the problem of moments. SIAM Journal on optimization 11, 3 (2001), 796\u2013817."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.6092\/issn.1972-5787\/4319"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3015465"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3282678.3282681"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2021.03.005"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2018.06.005"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3476446.3535480"},{"key":"e_1_3_2_1_27_1","volume-title":"Mohab Safey El\u00a0Din, and Trung-Hieu Vu","author":"Magron Victor","year":"2022","unstructured":"Victor Magron, Mohab Safey El\u00a0Din, and Trung-Hieu Vu. 2022. Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients. arXiv:2107.11825Accepted for publication in SIAM Journal on Optimization."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3326229.3326271"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2022.08.002"},{"key":"e_1_3_2_1_30_1","volume-title":"Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization","author":"Parrilo A","unstructured":"Pablo\u00a0A Parrilo. 2000. Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization. California Institute of Technology, USA."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.09.025"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1090\/mcom\/3349"},{"key":"e_1_3_2_1_33_1","volume-title":"Finding the four squares in Lagrange\u2019s theorem. Integers 18A","author":"Pollack Paul","year":"2018","unstructured":"Paul Pollack and Enrique Trevi\u00f1o. 2018. Finding the four squares in Lagrange\u2019s theorem. Integers 18A (2018), Paper No. A15, 16."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.4064\/aa-19-1-89-104"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpa.3160390713"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511566028"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2000.914264"},{"key":"e_1_3_2_1_38_1","first-page":"483","article-title":"Elliptic Curves Over Finite Fields and the Computation of Square Roots","volume":"44","author":"Schoof Ren\u00e9","year":"1985","unstructured":"Ren\u00e9 Schoof. 1985. Elliptic Curves Over Finite Fields and the Computation of Square Roots . Math. Comp. 44, 170 (1985), 483\u2013494. http:\/\/www.jstor.org\/stable\/2007968","journal-title":"Math. Comp."},{"key":"e_1_3_2_1_39_1","first-page":"1","article-title":"Algorithmische beweise f\u00fcr nichtnegativ-und positivstellens\u00e4tze. Master\u2019s thesis","volume":"136","author":"Schweighofer Markus","year":"1999","unstructured":"Markus Schweighofer. 1999. Algorithmische beweise f\u00fcr nichtnegativ-und positivstellens\u00e4tze. Master\u2019s thesis, Universit\u00e4t Passau 136 (1999), 1\u2013105.","journal-title":"Universit\u00e4t Passau"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0025-5718-02-01309-1"},{"key":"e_1_3_2_1_41_1","volume-title":"Under the assumption of the Generalized Riemann Hypothesis verifying the class number belongs to NP \u2009\u2229\u2009 co-NP","author":"Thiel Christoph","unstructured":"Christoph Thiel. 1994. Under the assumption of the Generalized Riemann Hypothesis verifying the class number belongs to NP \u2009\u2229\u2009 co-NP. In Algorithmic Number Theory, Leonard\u00a0M. Adleman and Ming-Deh Huang (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 234\u2013247."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcom.1995.1014"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.2307\/2323912"}],"event":{"name":"ISSAC 2023: International Symposium on Symbolic and Algebraic Computation 2023","location":"Troms\u00f8 Norway","acronym":"ISSAC 2023"},"container-title":["Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597066.3597072","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597066.3597072","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T09:34:45Z","timestamp":1755855285000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597066.3597072"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,24]]},"references-count":43,"alternative-id":["10.1145\/3597066.3597072","10.1145\/3597066"],"URL":"https:\/\/doi.org\/10.1145\/3597066.3597072","relation":{},"subject":[],"published":{"date-parts":[[2023,7,24]]},"assertion":[{"value":"2023-07-24","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}