Gregory Valiant, Paul Valiant. An Automatic Inequality Prover and Instance Optimal Identity Testing. SIAM Journal on Computing, 46(1):429-455, 2017. [doi]
@article{ValiantV17, title = {An Automatic Inequality Prover and Instance Optimal Identity Testing}, author = {Gregory Valiant and Paul Valiant}, year = {2017}, doi = {10.1137/151002526}, url = {http://dx.doi.org/10.1137/151002526}, researchr = {https://researchr.org/publication/ValiantV17}, cites = {0}, citedby = {0}, journal = {SIAM Journal on Computing}, volume = {46}, number = {1}, pages = {429-455}, }