Rigorous numerics for ODEs using Chebyshev series and domain decomposition
scientific article; zbMATH DE number 7394009
scientific article