Professor Iddo Tzameret

• Published

  Resolution with Counting: Dag-Like Lower Bounds and Different Moduli

  Research output: Contribution to journal › Article › peer-review

• Published

  Uniform, Integral, and Feasible Proofs for the Determinant Identities

  Research output: Contribution to journal › Article › peer-review

• Published

  Semi-Algebraic Proofs, IPS Lower Bounds and the τ-Conjecture: Can a Natural Number be Negative?

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

View all (34) »

• New advances in algebraic circuits and proofs

  Activity: Talk or presentation › Invited talk

• Mathematical Reviews (AMS) (Journal)

  Activity: Publication peer-review and editorial work › Peer review of manuscripts

• The Sixteenth International Workshop on Logic and Computational Complexity (LCC 2015) (External organisation)

  Activity: Membership › Membership of peer review panel or committee

View all (3) »