Short Proofs for the Determinant Identities

Pavel Hrubes Iddo Tzameret

Published in: CoRR (2011)

Keyphrases

theorem prover
theorem proving
formal proof
real time
neural network
information retrieval
artificial intelligence
search engine
cooperative
computer science
relational databases
hidden markov models