Michael Soltys Feasible Proofs of Matrix Properties with Csanky's Algorithm http://arxiv.org/abs/cs/0505087 2005 CoRR abs/cs/0505087 db/journals/corr/corr0505.html#abs-cs-0505087 informal publication