Login / Signup
Noncommutative Determinant is Hard: A Simple Proof Using an Extension of Barrington's Theorem.
Craig Gentry
Published in:
Electron. Colloquium Comput. Complex. (2014)
Keyphrases
</>
data mining
interactive theorem proving
search engine
artificial neural networks
genetic algorithm
case study