On Vanishing Sums of Roots of Unity in Polynomial Calculus and Sum-Of-Squares.

Ilario Bonacina Nicola Galesi Massimo Lauria

Published in: MFCS (2022)

Keyphrases

low order
neural network
proof procedure
database
database systems
natural language
lower bound
higher order
random variables
relational calculus
computer algebra