Iddo Tzameret, Stephen A. Cook. Uniform, Integral, and Feasible Proofs for the Determinant Identities. Journal of the ACM, 68(2), 2021. [doi]
@article{TzameretC21,
title = {Uniform, Integral, and Feasible Proofs for the Determinant Identities},
author = {Iddo Tzameret and Stephen A. Cook},
year = {2021},
doi = {10.1145/3431922},
url = {https://doi.org/10.1145/3431922},
researchr = {https://researchr.org/publication/TzameretC21},
cites = {0},
citedby = {0},
journal = {Journal of the ACM},
volume = {68},
number = {2},
}