Polynomially verifiable arithmetic

DOI10.1145/3588287.3588294MaRDI QIDQ6979515zbMATH OpenFDO

Authors Samuel R. Buss

Publication date 25 May 2025

Mathematics Subject Classification ID

Complexity of proofs (03F20) First-order arithmetic and fragments (03F30) Theory of computing (68Qxx) Complexity of computation (including implicit computational complexity) (03D15) Computer science (68-XX)

This page was built for publication: Polynomially verifiable arithmetic

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