Piotr Zgliczynski

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 18

Top Topics

Computer Assisted

Recent Advances

Dynamical Systems

Top Venues

SIAM J. Appl. Dyn. Syst.

Commun. Nonlinear Sci. Numer. Simul.

Found. Comput. Math.

Publications

Daniel Wilczak, Piotr Zgliczynski
Symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line II. CoRR (2024)
Robert Szczelina, Piotr Zgliczynski
High-Order Lohner-Type Algorithm for Rigorous Computation of Poincaré Maps in Systems of Delay Differential Equations with Several Delays. Found. Comput. Math. 24 (4) (2024)
Malgorzata Moczurad, Piotr Zgliczynski
Central configurations on the plane with N heavy and k light bodies. Commun. Nonlinear Sci. Numer. Simul. 114 (2022)
Robert Szczelina, Piotr Zgliczynski
High-order Lohner-type algorithm for rigorous computation of Poincaré maps in systems of Delay Differential Equations with several delays. CoRR (2022)
Tomasz Kapela, Daniel Wilczak, Piotr Zgliczynski
Recent advances in a rigorous computation of Poincaré maps. Commun. Nonlinear Sci. Numer. Simul. 110 (2022)
Tomasz Kapela, Daniel Wilczak, Piotr Zgliczynski
Recent advances in rigorous computation of Poincaré maps. CoRR (2021)
Piotr Kalita, Piotr Zgliczynski
Rigorous FEM for One-Dimensional Burgers Equation. SIAM J. Appl. Dyn. Syst. 20 (2) (2021)
Anna Gierzkiewicz, Piotr Zgliczynski
Periodic orbits in the Rössler system. Commun. Nonlinear Sci. Numer. Simul. 101 (2021)
Tomasz Kapela, Marian Mrozek, Daniel Wilczak, Piotr Zgliczynski
CAPD: : DynSys: A flexible C++ toolbox for rigorous numerical analysis of dynamical systems. Commun. Nonlinear Sci. Numer. Simul. 101 (2021)
Tomasz Kapela, Marian Mrozek, Daniel Wilczak, Piotr Zgliczynski
CAPD: : DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems. CoRR (2020)
Robert Szczelina, Piotr Zgliczynski
Algorithm for Rigorous Integration of Delay Differential Equations and the Computer-Assisted Proof of Periodic Orbits in the Mackey-Glass Equation. Found. Comput. Math. 18 (6) (2018)
Malgorzata Moczurad, Piotr Zgliczynski
Real-number Computability from the Perspective of Computer Assisted Proofs in Analysis. CoRR (2017)
Malgorzata Moczurad, Piotr Zgliczynski
On the Petras algorithm for verified integration of piecewise analytic functions. J. Complex. 39 (2017)
Peter Franek, Stefan Ratschan, Piotr Zgliczynski
Quasi-decidability of a Fragment of the First-Order Theory of Real Numbers. J. Autom. Reason. 57 (2) (2016)
Malgorzata Moczurad, Piotr Zgliczynski
On the Petras algorithm for verified integration of piecewise analytic functions. CoRR (2016)
Daniel Wilczak, Piotr Zgliczynski
Connecting Orbits for a Singular Nonautonomous Real Ginzburg-Landau Type Equation. SIAM J. Appl. Dyn. Syst. 15 (1) (2016)
Malgorzata Moczurad, Piotr Zgliczynski, Wlodzimierz Zwonek
New lower bound estimates for quadratures of bounded analytic functions. J. Complex. 34 (2016)
Aleksander Czechowski, Piotr Zgliczynski
Existence of Periodic Solutions of the FitzHugh-Nagumo Equations for an Explicit Range of the Small Parameter. SIAM J. Appl. Dyn. Syst. 15 (3) (2016)
Jacek Cyranka, Piotr Zgliczynski
Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing - A Computer Assisted Proof. SIAM J. Appl. Dyn. Syst. 14 (2) (2015)
Jacek Cyranka, Piotr Zgliczynski
Existence of globally attracting solutions for one-dimensional viscous Burgers equation with nonautonomous forcing - a computer assisted proof. CoRR (2014)
Robert Szczelina, Piotr Zgliczynski
A Homoclinic Orbit in a Planar Singular ODE - A Computer Assisted Proof. SIAM J. Appl. Dyn. Syst. 12 (3) (2013)
Peter Franek, Stefan Ratschan, Piotr Zgliczynski
Quasi-decidability of a Fragment of the First-order Theory of Real Numbers. CoRR (2013)
Peter Franek, Stefan Ratschan, Piotr Zgliczynski
Satisfiability of Systems of Equations of Real Analytic Functions Is Quasi-decidable. MFCS (2011)
Daniel Wilczak, Piotr Zgliczynski
Period Doubling in the Rössler System - A Computer Assisted Proof. Found. Comput. Math. 9 (5) (2009)
Daniel Wilczak, Piotr Zgliczynski
Computer Assisted Proof of the Existence of Homoclinic Tangency for the Hénon Map and for the Forced Damped Pendulum. SIAM J. Appl. Dyn. Syst. 8 (4) (2009)
Zbigniew Galias, Piotr Zgliczynski
Infinite Dimensional Krawczyk Operator for Finding Periodic orbits of Discrete Dynamical Systems. Int. J. Bifurc. Chaos 17 (12) (2007)
Piotr Zgliczynski
Rigorous Numerics for Dissipative Partial Differential Equations II. Periodic Orbit for the Kuramoto-Sivashinsky PDE-A Computer-Assisted Proof. Found. Comput. Math. 4 (2) (2004)
Piotr Zgliczynski
Lohner Algorithm. Found. Comput. Math. 2 (4) (2002)
Piotr Zgliczynski
Attracting Fixed Points for the Kuramoto-Sivashinsky Equation: A Computer Assisted Proof. SIAM J. Appl. Dyn. Syst. 1 (2) (2002)
Piotr Zgliczynski, Konstantin Mischaikow
Rigorous Numerics for Partial Differential Equations: The Kuramoto-Sivashinsky Equation. Found. Comput. Math. 1 (3) (2001)
Michal Misiurewicz, Piotr Zgliczynski
Topological Entropy for Multidimensional perturbations of One-Dimensional Maps. Int. J. Bifurc. Chaos 11 (5) (2001)