An Automatic Inequality Prover and Instance Optimal Identity Testing

Gregory Valiant, Paul Valiant. An Automatic Inequality Prover and Instance Optimal Identity Testing. SIAM Journal on Computing, 46(1):429-455, 2017. [doi]

Authors

Gregory Valiant

This author has not been identified. Look up 'Gregory Valiant' in Google

Paul Valiant

This author has not been identified. Look up 'Paul Valiant' in Google