JuliaMath / JuliaMath/MeasureTheory.jl

Wish list

Open
#4 2 comments 5 reactions 0 assignees View on GitHub
Dominant language
Julia
Stars
401
Forks
31
PR merge metrics
No merged PRs in 30d

Description

## Measures from scratch
- [x] Specify equivalence class (wrt absolute continuity)
- [x] Density
- [ ] Probability measures
- [ ] Random sampling
- [x] Parameterized measures
- [ ] Measure of a set (for some extensible definition of "set")

## Composition of Measures
- [x] Superposition
- [x] Scaling
- [ ] Product measure
- [ ] Composition of parameterized measures ("mixture measures", formally a monadic bind)
- [ ] Reparameterization
- [ ] Push-forwards (or is it "pushes-forward"?)

## Extensibility
- [ ] Easily make measures from other packages a `Measure`

## Computations
- [ ] Check for absolute continuity
- [ ] Radon-Nikodym derivatives
- [ ] Lebesgue decomposition

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.