Algebra in probabilistic reasoning
From MaRDI portal
Abstract: 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.
This page was built for publication: Algebra in probabilistic reasoning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6416518)
