Uniform, Integral and Feasible Proofs for the Determinant Identities.

Iddo Tzameret Stephen A. Cook

Published in: CoRR (2018)

Keyphrases

feasible solution
theorem prover
theorem proving
formal proofs
databases
tabu search