RigorousInvariantMeasures.jl

A Julia package which implements a implements a flexible scheme to approximate rigorously invariant measures of dynamical systems.

The package is under active development, with periodic releases.

Citing

If you find useful this package, please cite the paper:

Galatolo S., Monge M., Nisoli I., Poloni F. A general framework for the rigorous computation of invariant densities and the coarse-fine strategy [arXiv:2212.05017]

Galatolo S., Nisoli I., An elementary approach to rigorous approximation of invariant measures SIAM J. Appl Dyn Sys.13 pp. 958-985 (2014)

License

RigorousInvariantMeasures is licensed under the MIT license; see LICENSE for the full license text.

Installation

RigorousInvariantMeasures.jl is a registered package, and is simply installed by running

pkg> add("RigorousInvariantMeasures")