Login / Signup

Uniform, Integral, and Feasible Proofs for the Determinant Identities.

Iddo TzameretStephen A. Cook
Published in: J. ACM (2021)
Keyphrases
  • theorem prover
  • linear array
  • real time
  • computer vision
  • web services
  • natural language