Professor Iddo Tzameret
Personal profile
For my full professional homepage, including papers and overview of my research etc., please look at:
- Forthcoming
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
- Published
From classical proof theory to P vs. NP: a guide to bounded theories
Research output: Chapter in Book/Report/Conference proceeding › Other contribution
- Forthcoming
Resolution with Counting: Dag and Tree-like Lower Bounds over Different Moduli
Research output: Contribution to conference › Abstract
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
ID: 20267622