Witnessing matrix identities and proof complexity

Fu Li, Iddo Tzameret

Research output: Contribution to journal › Article › peer-review

51 Downloads (Pure)

Original language	English
Pages (from-to)	217–256
Number of pages	40
Journal	International Journal of Algebra and Computation
Volume	28
Issue number	2
DOIs	https://doi.org/10.1142/S021819671850011X
Publication status	Published - 26 Feb 2018

Keywords

@article{91058887bca0415ca796ced7ce31a0bc,

title = "Witnessing matrix identities and proof complexity",

keywords = "Complexity, algebraic complexity, non-commutative algebra",

author = "Fu Li and Iddo Tzameret",

year = "2018",

month = feb,

day = "26",

doi = "10.1142/S021819671850011X",

language = "English",

volume = "28",

pages = "217–256",

journal = "International Journal of Algebra and Computation",

issn = "1793-6500",

number = "2",

}

TY - JOUR

T1 - Witnessing matrix identities and proof complexity

AU - Li, Fu

AU - Tzameret, Iddo

PY - 2018/2/26

Y1 - 2018/2/26

KW - Complexity

KW - algebraic complexity

KW - non-commutative algebra

U2 - 10.1142/S021819671850011X

DO - 10.1142/S021819671850011X

M3 - Article

SN - 1793-6500

VL - 28

SP - 217

EP - 256

JO - International Journal of Algebra and Computation

JF - International Journal of Algebra and Computation

IS - 2

ER -