Piotr Zgliczynski

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