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.

翻译：这份简短的解释性文件概述了计算机代数对高斯随机变量有条件独立的影响问题的应用。我们从研究数据的可复制性、推论问题的计算复杂性和合成几何中自动验证理论的类似角度,谈到了推论规则的有效性和无效性证书。