论文标题
概率推理中的代数
Algebra in probabilistic reasoning
论文作者
论文摘要
这份简短的说明性纸概述了计算机代数的应用，即高斯随机变量的有条件独立性的含义问题。我们从研究数据的可重复性，推理问题的计算复杂性的角度涉及推理规则的有效性和无效证书，并绘制了与自动定理相似的合成几何形状。
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.
