Algebra in probabilistic reasoning

11/08/2022
by   Tobias Boege, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset