The proof complexity of linear algebra | IEEE Conference Publication | IEEE Xplore