Bibliography

(eng): The topic of the paper is computer testing of (probabilistic) conditional independence (CI) implications by an algebraic method of structural imsets. The basic idea is to transform CI statements into certain integral vectors and to verify by a computer the corresponding algebraic relation between the vectors, called the independence implication. The main contribution of the paper is a new method, based on linear programming (LP), which overcomes the limitation of former methods to the number of involved variables. The computational experiments, described in the paper, also show that the new method is faster than the previous ones.