Papers
- Computer assisted proof of Shil’nikov homoclinics: with application to the Lorenz-84 model; with Maciej Capiński, SIAM J. Appl. Dyn. Syst. Vol. 16, No. 3, pp. 1453–1473 code
- Geometric Proof of Strong Stable/Unstable Manifolds, with Application to the Restricted Three Body Problem; with Maciej Capiński, Topological Methods in Nonlinear Analysis, Vol. 46, No. 1, 2015, 363–399 (preprint)
PhD Thesis
- Topologiczne metody dla silnie stabilnych i silnie niestabilnych rozmaitości niezmienniczych w układach dynamicznych; at the Department of Applied Mathematics, Academy of Science and Technology, Kraków, 2018. code