[Proof Complexity] New paper

Iddo Tzameret iddo.tzameret at gmail.com
Sat Jan 11 16:31:29 CET 2014

Dear colleagues,

A new preprint by Fu Li and myself, entitled
"Generating matrix identities and proof complexity lower bounds"
is available at: http://iiis.tsinghua.edu.cn/~tzameret/MatrixAlg.pdf
Comments, corrections and suggestions are appreciated.

Best wishes,

Iddo Tzameret

More information about the Proof-Complexity mailing list