Gregory Valiant Paul Valiant An Automatic Inequality Prover and Instance Optimal Identity Testing. 429-455 2017 46 SIAM J. Comput. 1 https://doi.org/10.1137/151002526 db/journals/siamcomp/siamcomp46.html#ValiantV17