FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
On vanishing sums of roots of unity in polynomial calculus and sum-of-squares (an extended abstract)

Authors: Ilario Bonacina, Nicola Galesi and Massimo Lauria

Paper Information

Title:On vanishing sums of roots of unity in polynomial calculus and sum-of-squares (an extended abstract)
Authors:Ilario Bonacina, Nicola Galesi and Massimo Lauria
Proceedings:PC 2022 Program papers
Editors: Marc Vinyals, Olaf Beyersdorff and Jan Johannsen
Keywords:polynomial calculus, sum-of-squares, roots of unity, knapsack
Pages:3
Talk:Aug 01 16:00 (Session 37I)
Paper: