Login / Signup

Uniform, integral and efficient proofs for the determinant identities.

Iddo TzameretStephen A. Cook
Published in: LICS (2017)
Keyphrases
  • database
  • genetic algorithm
  • artificial intelligence
  • decision making
  • web pages
  • lightweight