P. Zgliczynski

发表

Cr-Lohner algorithm

D. Wilczak, P. Zgliczynski, P. Zgliczyński, 2011 .

Set arithmetic and the enclosing problem in dynamics

Marian Mrozek, Piotr Zgliczyński, M. Mrozek, 2000 .

Computer assisted proof of chaos in the Lorenz equations

Z. Galias, P. Zgliczynski, P. Zgliczyński, 1998 .

A geometric method for infinite-dimensional chaos: Symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line

D. Wilczak, P. Zgliczynski, P. Zgliczyński, 2020, Journal of Differential Equations.

Heteroclinic Connections Between Periodic Orbits in Planar Restricted Circular Three-Body Problem – A Computer Assisted Proof

D. Wilczak, P. Zgliczynski, 2002, math/0201278.

Topological method for symmetric periodic orbits for maps with a reversing symmetry

D. Wilczak, P. Zgliczynski, 2004, math/0401145.

Covering relations for multidimensional dynamical systems

Marian Gidea, P. Zgliczynski, P. Zgliczyński, 2004 .

Rigorous verification of cocoon bifurcations in the Michelson system

H. Kokubu, D. Wilczak, P. Zgliczynski, 2007 .

Covering relations, cone conditions and the stable manifold theorem

P. Zgliczynski, P. Zgliczyński, 2009 .

Rigorous numerics for dissipative PDEs III. An effective algorithm for rigorous integration of dissipative PDEs

P. Zgliczynski, P. Zgliczyński, 2010 .

Geometric proof for normally hyperbolic invariant manifolds

M. Capiński, P. Zgliczynski, 2015, 1503.03323.

Computer assisted proof of chaos in the Rössler equations and in the Hénon map

P. Zgliczynski, 1997 .

The existence of simple choreographies for the N-body problem—a computer-assisted proof

P. Zgliczynski, T. Kapela, 2003, math/0304404.

The Hénon–Heiles Hamiltonian near the critical energy level—some rigorous results

P. Zgliczynski, G. Arioli, P. Zgliczyński, 2003 .

N A ] 5 A pr 2 00 7 C r-Lohner algorithm

D. Wilczak, P. Zgliczynski, P. Zgliczyński, 2018 .