Noncommutative Determinant is Hard: A Simple Proof Using an Extension of Barrington's Theorem.

Published in: Computational Complexity Conference (2014)

Keyphrases

data mining
image processing
machine learning
information systems
clustering algorithm
similarity measure
data structure
natural language
special case
interactive theorem proving