Login / Signup
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