Uniform, Integral, and Feasible Proofs for the Determinant Identities. / Tzameret, Iddo; Cook, Stephen.
In: Journal of the ACM, Vol. 68, No. 2, 12, 01.2021.Research output: Contribution to journal › Article › peer-review
Uniform, Integral, and Feasible Proofs for the Determinant Identities. / Tzameret, Iddo; Cook, Stephen.
In: Journal of the ACM, Vol. 68, No. 2, 12, 01.2021.Research output: Contribution to journal › Article › peer-review
}
TY - JOUR
T1 - Uniform, Integral, and Feasible Proofs for the Determinant Identities
AU - Tzameret, Iddo
AU - Cook, Stephen
PY - 2021/1
Y1 - 2021/1
U2 - 10.1145/3431922
DO - 10.1145/3431922
M3 - Article
VL - 68
JO - Journal of the ACM
JF - Journal of the ACM
IS - 2
M1 - 12
ER -