Login / Signup
Short Proofs for the Determinant Identities.
Pavel Hrubes
Iddo Tzameret
Published in:
Electron. Colloquium Comput. Complex. (2011)
Keyphrases
</>
theorem proving
mathematical proofs
neural network
database
e learning
website
reinforcement learning
artificial neural networks
sufficient conditions
decision procedures
formal proofs