Rigorous Numerics for PDEs with Indefinite Tail: Existence of a Periodic Solution of the Boussinesq Equation with Time-dependent Forcing

Schedae Informaticae, 2015, Volume 24, s. 143-158
Data publikacji online: 11 kwietnia 2016
DOI 10.4467/20838476SI.15.014.3486

Cr-Lohner algorithm

Schedae Informaticae, Volume 20, s. 9-42
Data publikacji online: 23 stycznia 2012
DOI 10.4467/20838476SI.11.001.0287