Uniform, integral and efficient proofs for the determinant identities.

Iddo Tzameret, Stephen A. Cook

Browse the full LICS paper archive.