Uniform, Integral and Feasible Proofs for the Determinant Identities. / Tzameret, Iddo; Cook, Stephen.

In: Journal of the ACM, 23.10.2020.

Research output: Contribution to journalArticle

Forthcoming

Documents

  • Accepted Manuscript

    Accepted author manuscript, 963 KB, PDF document

Original languageEnglish
JournalJournal of the ACM
Publication statusAccepted/In press - 23 Oct 2020

ID: 39403606