Semialgebraic Proofs, IPS Lower Bounds, and the \(\boldsymbol{\tau}\)-Conjecture: Can a Natural Number be Negative? - researchr publication

researchr

You are not signed in
Sign in
Sign up

Yaroslav Alekseev, Dima Grigoriev, Edward A. Hirsch, Iddo Tzameret. Semialgebraic Proofs, IPS Lower Bounds, and the \(\boldsymbol{\tau}\)-Conjecture: Can a Natural Number be Negative?. SIAM Journal on Computing, 53(3):648-700, 2024. [doi]

Abstract is missing.

runs on WebDSL