Validated computations for fundamental solutions of linear ordinary differential equations

From MaRDI portal
Publication:4929293