Rigorous Numerics for Partial Differential Equations: The Kuramoto-Sivashinsky Equation. - Piotr Zgliczynski; Konstantin Mischaikow (Found. Comput. Math., 2001)

Topological Entropy for Multidimensional perturbations of One-Dimensional Maps. - Michal Misiurewicz; Piotr Zgliczynski (Int. J. Bifurc. Chaos, 2001)

C1 Lohner Algorithm. - Piotr Zgliczynski (Found. Comput. Math., 2002)

Attracting Fixed Points for the Kuramoto-Sivashinsky Equation: A Computer Assisted Proof. - Piotr Zgliczynski (SIAM J. Appl. Dyn. Syst., 2002)

Rigorous Numerics for Dissipative Partial Differential Equations II. Periodic Orbit for the Kuramoto-Sivashinsky PDE-A Computer-Assisted Proof. - Piotr Zgliczynski (Found. Comput. Math., 2004)

Infinite Dimensional Krawczyk Operator for Finding Periodic orbits of Discrete Dynamical Systems. - Zbigniew Galias; Piotr Zgliczynski (Int. J. Bifurc. Chaos, 2007)

Period Doubling in the Rössler System - A Computer Assisted Proof. - Daniel Wilczak; Piotr Zgliczynski (Found. Comput. Math., 2009)

Computer Assisted Proof of the Existence of Homoclinic Tangency for the Hénon Map and for the Forced Damped Pendulum. - Daniel Wilczak; Piotr Zgliczynski (SIAM J. Appl. Dyn. Syst., 2009)

Satisfiability of Systems of Equations of Real Analytic Functions Is Quasi-decidable. - Peter Franek; Stefan Ratschan; Piotr Zgliczynski (MFCS, 2011)

A Homoclinic Orbit in a Planar Singular ODE - A Computer Assisted Proof. - Robert Szczelina; Piotr Zgliczynski (SIAM J. Appl. Dyn. Syst., 2013)

Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing - A Computer Assisted Proof. - Jacek Cyranka; Piotr Zgliczynski (SIAM J. Appl. Dyn. Syst., 2015)

Quasi-decidability of a Fragment of the First-Order Theory of Real Numbers. - Peter Franek; Stefan Ratschan; Piotr Zgliczynski (J. Autom. Reason., 2016)

New lower bound estimates for quadratures of bounded analytic functions. - Malgorzata Moczurad; Piotr Zgliczynski; Wlodzimierz Zwonek (J. Complex., 2016)

Existence of Periodic Solutions of the FitzHugh-Nagumo Equations for an Explicit Range of the Small Parameter. - Aleksander Czechowski; Piotr Zgliczynski (SIAM J. Appl. Dyn. Syst., 2016)

Connecting Orbits for a Singular Nonautonomous Real Ginzburg-Landau Type Equation. - Daniel Wilczak; Piotr Zgliczynski (SIAM J. Appl. Dyn. Syst., 2016)

Real-number Computability from the Perspective of Computer Assisted Proofs in Analysis. - Malgorzata Moczurad; Piotr Zgliczynski (CoRR, 2017)

On the Petras algorithm for verified integration of piecewise analytic functions. - Malgorzata Moczurad; Piotr Zgliczynski (J. Complex., 2017)

Algorithm for Rigorous Integration of Delay Differential Equations and the Computer-Assisted Proof of Periodic Orbits in the Mackey-Glass Equation. - Robert Szczelina; Piotr Zgliczynski (Found. Comput. Math., 2018)

Periodic orbits in the Rössler system. - Anna Gierzkiewicz; Piotr Zgliczynski (Commun. Nonlinear Sci. Numer. Simul., 2021)

CAPD: : DynSys: A flexible C++ toolbox for rigorous numerical analysis of dynamical systems. - Tomasz Kapela; Marian Mrozek; Daniel Wilczak; Piotr Zgliczynski (Commun. Nonlinear Sci. Numer. Simul., 2021)

Rigorous FEM for One-Dimensional Burgers Equation. - Piotr Kalita; Piotr Zgliczynski (SIAM J. Appl. Dyn. Syst., 2021)

Recent advances in a rigorous computation of Poincaré maps. - Tomasz Kapela; Daniel Wilczak; Piotr Zgliczynski (Commun. Nonlinear Sci. Numer. Simul., 2022)

Central configurations on the plane with N heavy and k light bodies. - Malgorzata Moczurad; Piotr Zgliczynski (Commun. Nonlinear Sci. Numer. Simul., 2022)

Symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line II. - Daniel Wilczak; Piotr Zgliczynski (CoRR, 2024)

High-Order Lohner-Type Algorithm for Rigorous Computation of Poincaré Maps in Systems of Delay Differential Equations with Several Delays. - Robert Szczelina; Piotr Zgliczynski (Found. Comput. Math., 2024)

Self-consistent bounds method for dissipative PDEs. - Daniel Wilczak; Piotr Zgliczynski (CoRR, 2025)