Uniform, Integral and Feasible Proofs for the Determinant Identities.

Iddo Tzameret Stephen A. Cook

Published in: Electron. Colloquium Comput. Complex. (2018)

Keyphrases

feasible solution
databases
theorem proving
real time
computer vision
information systems
three dimensional
bayesian networks
expert systems
artificial neural networks
theorem prover
formal proofs
equational theories