Algebra in probabilistic reasoning
Statistics Theory
2022-11-09 v1 Commutative Algebra
History and Overview
Statistics Theory
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.
Cite
@article{arxiv.2211.04164,
title = {Algebra in probabilistic reasoning},
author = {Tobias Boege},
journal= {arXiv preprint arXiv:2211.04164},
year = {2022}
}
Comments
6 pages, 2 figures; minor update of the published article