Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Add convolutions of distributions #57

Open
rlouf opened this issue Sep 4, 2022 · 1 comment
Open

Add convolutions of distributions #57

rlouf opened this issue Sep 4, 2022 · 1 comment

Comments

@rlouf
Copy link
Member

rlouf commented Sep 4, 2022

The closed-form expression for the sum of random variables is known in many cases. This can lead to significant simplifications.

@rlouf rlouf added mathematical relations miniKanren enhancement New feature or request help wanted Extra attention is needed and removed enhancement New feature or request labels Sep 4, 2022
@rlouf
Copy link
Member Author

rlouf commented Sep 26, 2022

The sum of normally-distributed random variables is partially implemented in this comment: #66 (comment)

# for free to join this conversation on GitHub. Already have an account? # to comment
Projects
Status: Mathematical relations
Development

No branches or pull requests

1 participant