Uniform, Integral, and Feasible Proofs for the Determinant Identities

DOI10.1145/3431922zbMath1499.03057arXiv1811.04313OpenAlexW2900444034WikidataQ114613962 ScholiaQ114613962MaRDI QIDQ5056443

Iddo Tzameret, Stephen A. Cook

Publication date: 8 December 2022

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1811.04313

zbMATH Keywords

determinantbounded arithmeticlinear algebra

Mathematics Subject Classification ID

Determinants, permanents, traces, other special matrix functions (15A15) First-order arithmetic and fragments (03F30) Complexity of proofs (03F20) Networks and circuits as models of computation; circuit complexity (68Q06)

This page was built for publication: Uniform, Integral, and Feasible Proofs for the Determinant Identities