Short proofs for the determinant identities.

Pavel Hrubes Iddo Tzameret

Published in: STOC (2012)

Keyphrases

theorem prover
theorem proving
formal proofs
database
real time
data sets
artificial intelligence
cooperative
lower bound
logic programs
sufficient conditions
equational theories
mathematical proofs