  This short expository paper outlines applications of computer algebra to the
implication problem of conditional independence for Gaussian random variables.
We touch on certificates for validity and invalidity of inference rules from
the perspective of reproducibility of research data, computational complexity
of the inference problem and draw a parallel to automated theorem proving in
synthetic geometry.
