Witnessing matrix identities and proof complexity

Fu Li, Iddo Tzameret

Research output: Contribution to journalArticlepeer-review

72 Downloads (Pure)
Original languageEnglish
Pages (from-to)217–256
Number of pages40
JournalInternational Journal of Algebra and Computation
Volume28
Issue number2
DOIs
Publication statusPublished - 26 Feb 2018

Keywords

  • Complexity
  • algebraic complexity
  • non-commutative algebra

Cite this