RigorousInvariantMeasures (julia): Package for the Rigorous Computation of Invariant Measures
Keywords: julia|dynamical-systems