Semi-algebraic proofs, IPS lower bounds, and the τ-conjecture: can a natural number be negative?-Reference-Cited by-同舟云学术

Semi-algebraic proofs, IPS lower bounds, and the τ-conjecture: can a natural number be negative?

Published:2020-06-22 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing
language:
Short-container-title:

Author:

Alekseev Yaroslav¹,Grigoriev Dima²,Hirsch Edward A.³,Tzameret Iddo⁴^ORCID

Affiliation:

1. Steklov Institute of Mathematics at St. Petersburg, Russia / St. Petersburg State University, Russia

2. CNRS, France / University of Lille, France

3. Steklov Institute of Mathematics at St. Petersburg, Russia

4. Royal Holloway University of London, UK

Funder

Russian Science Foundation

Publisher

ACM

Link

Reference51 articles.

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers;Proceedings of the 56th Annual ACM Symposium on Theory of Computing;2024-06-10

3. The Power of the Binary Value Principle;Lecture Notes in Computer Science;2023

4. Simple Hard Instances for Low-Depth Algebraic Proofs;2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS);2022-10