Login / Signup
On vanishing sums of roots of unity in polynomial calculus and sum-of-squares.
Ilario Bonacina
Nicola Galesi
Massimo Lauria
Published in:
Electron. Colloquium Comput. Complex. (2022)
Keyphrases
</>
neural network
lower bound
random variables
automated deduction
machine learning
multiscale
multi view
matrix factorization
vanishing points
automated theorem proving
computer algebra