Piotr Zgliczynski

According to our database, Piotr Zgliczynski authored at least 24 papers between 2001 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

High-order Lohner-type algorithm for rigorous computation of Poincaré maps in systems of Delay Differential Equations with several delays.

Robert Szczelina, Piotr Zgliczynski

CoRR, 2022

Central configurations on the plane with N heavy and k light bodies.

Malgorzata Moczurad, Piotr Zgliczynski

Commun. Nonlinear Sci. Numer. Simul., 2022

Recent advances in a rigorous computation of Poincaré maps.

Tomasz Kapela, Daniel Wilczak, Piotr Zgliczynski

Commun. Nonlinear Sci. Numer. Simul., 2022

2021

Rigorous FEM for One-Dimensional Burgers Equation.

Piotr Kalita, Piotr Zgliczynski

SIAM J. Appl. Dyn. Syst., 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

Periodic orbits in the Rössler system.

Anna Gierzkiewicz, Piotr Zgliczynski

Commun. Nonlinear Sci. Numer. Simul., 2021

2018

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

2017

On the Petras algorithm for verified integration of piecewise analytic functions.

Malgorzata Moczurad, Piotr Zgliczynski

J. Complex., 2017

Real-number Computability from the Perspective of Computer Assisted Proofs in Analysis.

Malgorzata Moczurad, Piotr Zgliczynski

CoRR, 2017

2016

Connecting Orbits for a Singular Nonautonomous Real Ginzburg-Landau Type Equation.

Daniel Wilczak, Piotr Zgliczynski

SIAM J. Appl. Dyn. Syst., 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

New lower bound estimates for quadratures of bounded analytic functions.

Malgorzata Moczurad, Piotr Zgliczynski, Wlodzimierz Zwonek

J. Complex., 2016

Quasi-decidability of a Fragment of the First-Order Theory of Real Numbers.

Peter Franek, Stefan Ratschan, Piotr Zgliczynski

J. Autom. Reason., 2016

2015

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

2013

A Homoclinic Orbit in a Planar Singular ODE - A Computer Assisted Proof.

Robert Szczelina, Piotr Zgliczynski

SIAM J. Appl. Dyn. Syst., 2013

2011

Satisfiability of Systems of Equations of Real Analytic Functions Is Quasi-decidable.

Peter Franek, Stefan Ratschan, Piotr Zgliczynski

Proceedings of the Mathematical Foundations of Computer Science 2011, 2011

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

Period Doubling in the Rössler System - A Computer Assisted Proof.

Daniel Wilczak, Piotr Zgliczynski

Found. Comput. Math., 2009

2007

Infinite Dimensional Krawczyk Operator for Finding Periodic orbits of Discrete Dynamical Systems.

Zbigniew Galias, Piotr Zgliczynski

Int. J. Bifurc. Chaos, 2007

2004

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

2002

Attracting Fixed Points for the Kuramoto-Sivashinsky Equation: A Computer Assisted Proof.

Piotr Zgliczynski

SIAM J. Appl. Dyn. Syst., 2002

C¹ Lohner Algorithm.

Piotr Zgliczynski

Found. Comput. Math., 2002

2001

Topological Entropy for Multidimensional perturbations of One-Dimensional Maps.

Michal Misiurewicz, Piotr Zgliczynski

Int. J. Bifurc. Chaos, 2001

Rigorous Numerics for Partial Differential Equations: The Kuramoto-Sivashinsky Equation.

Piotr Zgliczynski, Konstantin Mischaikow

Found. Comput. Math., 2001