Alekseev, Yaroslav

1. Semi-Algebraic Proofs, IPS Lower Bounds and the τ-Conjecture: Can a Natural Number be Negative?
   2019/11/15 by Alekseev, Yaroslav, Grigoriev, Dima, Hirsch, Edward A. +1 · 3 citations
   #Computational Complexity (cs.CC) #FOS: Computer and information sciences
2. A Lower Bound for Polynomial Calculus with Extension Rule
   2020/10/12 by Alekseev, Yaroslav · 1 citation
   #Computational Complexity (cs.CC) #FOS: Computer and information sciences
3. Catalytic Computing and Register Programs Beyond Log-Depth
   2025/04/24 by Ya. I. Alekseev, Alekseev, Yaroslav, Ian Mertz +6 · 4 citations
   Computer Science · #Advanced Data Storage Technologies #Optimization and Search Problems #Distributed systems and fault tolerance