https://123dok.org/document/wyedk00z-rigorous-computation-invariant-measures-fractal-dimension-contracting-lorenz.html