On Decompositions of Matrices over Distributive Lattices.

Yizhi Chen Xianzhong Zhao

Published in: J. Appl. Math. (2014)

Keyphrases

distributive lattices
singular value decomposition
boolean algebra
general theory
belief functions
decomposition methods
theorem prover
mathematical theory
databases
image processing
deductive databases
dempster shafer