On vanishing sums of roots of unity in polynomial calculus and sum-of-squares
From MaRDI portal
(Redirected from Publication:6184293)
Cites work
- (Semi)Algebraic proofs over {±1} variables
- Algebraic proof systems over formulas.
- Circuit complexity, proof complexity, and polynomial identity testing. The ideal proof system
- Complexity of Positivstellensatz proofs for the knapsack
- Computing infeasibility certificates for combinatorial problems through Hilbert's Nullstellensatz
- CSP gaps and reductions in the lasserre hierarchy
- Expressing combinatorial problems by systems of polynomial equations and Hilbert's Nullstellensatz
- Graph colouring is hard for algorithms based on Hilbert's Nullstellensatz and Gröbner bases
- Graph-coloring ideals: Nullstellensatz certificates, Gröbner bases for chordal graphs, and hardness of Gröbner bases
- GRASP: a search algorithm for propositional satisfiability
- scientific article; zbMATH DE number 1256733 (Why is no real title available?)
- scientific article; zbMATH DE number 1757962 (Why is no real title available?)
- scientific article; zbMATH DE number 7471587 (Why is no real title available?)
- Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra
- Linear gaps between degrees for the polynomial calculus modulo distinct primes
- Lower bounds for the polynomial calculus and the Gröbner basis algorithm
- Nullstellensatz-proofs for multiplier verification
- On sums of roots of unity
- On the sum-of-squares degree of symmetric quadratic functions
- On vanishing sums of roots of unity.
- Optimality of size-degree tradeoffs for polynomial calculus
- Proof complexity meets algebra
- Semi-algebraic proofs, IPS lower bounds, and the τ-conjecture: can a natural number be negative?
- Semidefinite programming relaxations for semialgebraic problems
- Size-degree trade-offs for sums-of-squares and positivstellensatz proofs
- Sum of squares bounds for the ordering principle
- Sums of roots of unity vanishing modulo a prime
- Sums of squares on the hypercube
- Symmetric non-negative forms and sums of squares
- The power of negative reasoning
- The relation between polynomial calculus, Sherali-Adams, and sum-of-squares proofs
- The surprising power of constant depth algebraic proofs
- Trigonometric diophantine equations (On vanishing sums of roots of unity)
This page was built for publication: On vanishing sums of roots of unity in polynomial calculus and sum-of-squares
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6184293)
