Formal Analysis of Statistical Dependence Based Homological Algebra | IEEE Conference Publication | IEEE Xplore