An Automatic Inequality Prover and Instance Optimal Identity Testing.

Gregory Valiant, Paul Valiant

Browse the full FOCS paper archive.