A linear-algebraic tool for conditional independence inference Conditional independence inference Automated theorem proving In this note, we propose a new linear-algebraic method for the implication problem among conditional independence statements, which is inspired by the factorization characterization of conditional independence. First, we give a criterion in the case of a discrete strictly positive density and relate it to an earlier linear-algebraic approach. Then, we extend the method to the case of a discrete density that need not be strictly positive. Finally, we provide a computational result in the case of six variables. Tanaka, Kentaro Studeny, Milan Takemura, Akimichi Sei, Tomonari 2015 2015-11-09 Article application/pdf islandora:1007811 http://hdl.handle.net/10560/islandora:1007811 MATH / Applied Mathematics Illinois Institute of Technology Journal of Algebraic Statistics en Open Access