Short Proofs for the Determinant Identities.

Pavel Hrubes Iddo Tzameret

Published in: SIAM J. Comput. (2015)

Keyphrases

theorem prover
theorem proving
data sets
real time
decision procedures
databases
neural network
clustering algorithm
reinforcement learning
mathematical proofs