On vanishing sums of roots of unity in polynomial calculus and sum-of-squares.

Ilario Bonacina Nicola Galesi Massimo Lauria

Published in: Comput. Complex. (2023)

Keyphrases

low order
automated deduction
data sets
databases
random variables
proof procedure
automated theorem proving
algebraic structure
machine learning
bayesian networks
expert systems
higher order
line segments
randomized approximation