The Cartan matrix and enumerative calculus.

Haibao Duan Xuan Zhao Xuezhi Zhao

Published in: J. Symb. Comput. (2004)

Keyphrases

databases
linear algebra
machine learning
singular value decomposition
integer programming
low rank
real time
artificial intelligence
knowledge base
sufficient conditions
lie group
automated deduction