An Automatic Inequality Prover and Instance Optimal Identity Testing | IEEE Conference Publication | IEEE Xplore