Succinct semi-algebraic representations and computational variants of the generalized Lax conjecture - Rafael Mendes de Oliveira

views comments

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation

Succinct semi-algebraic representations and computational variants of the generalized Lax conjecture

by Rafael Mendes de Oliveira, University of Waterloo