An automatic inequality prover and instance optimal identity testing

DOI10.1109/FOCS.2014.14MaRDI QIDQ6947257zbMATH OpenFDO

Authors Gregory Valiant, Paul Valiant

Publication date 5 August 2025

Mathematics Subject Classification ID

Combinatorics (05-XX) Computer science (68-XX) Information and communication theory, circuits (94-XX)

This page was built for publication: An automatic inequality prover and instance optimal identity testing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6947257)