Piotr Zgliczynski

发表

Computer Assisted Proof of the Existence of Homoclinic Tangency for the Hénon Map and for the Forced Damped Pendulum

Daniel Wilczak, Piotr Zgliczynski, D. Wilczak, 2009, SIAM J. Appl. Dyn. Syst..

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

Stefan Ratschan, Peter Franek, Piotr Zgliczynski, 2011, MFCS.

Rigorous Numerics for Partial Differential Equations: The Kuramoto—Sivashinsky Equation

Konstantin Mischaikow, Piotr Zgliczynski, 2001, Found. Comput. Math..

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

Daniel Wilczak, Piotr Zgliczynski, 2016, SIAM J. Appl. Dyn. Syst..

Topological Entropy for Multidimensional perturbations of One-Dimensional Maps

Piotr Zgliczynski, Michal Misiurewicz, M. Misiurewicz, 2001, Int. J. Bifurc. Chaos.

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

Stefan Ratschan, Peter Franek, Piotr Zgliczynski, 2013, Journal of Automated Reasoning.

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

Daniel Wilczak, Piotr Zgliczynski, D. Wilczak, 2007, Found. Comput. Math..

On the Petras algorithm for verified integration of piecewise analytic functions

Piotr Zgliczynski, Malgorzata Moczurad, 2017, J. Complex..

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

Piotr Zgliczynski, Malgorzata Moczurad, 2017, ArXiv.

Algorithm for Rigorous Integration of Delay Differential Equations and the Computer-Assisted Proof of Periodic Orbits in the Mackey–Glass Equation

Piotr Zgliczynski, Robert Szczelina, Robert Szczelina, 2016, Foundations of Computational Mathematics.

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

Piotr Zgliczynski, Robert Szczelina, 2013, SIAM J. Appl. Dyn. Syst..

Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing - A Computer Assisted Proof pdf

Jacek Cyranka, Piotr Zgliczynski, J. Cyranka, 2014, SIAM J. Appl. Dyn. Syst..

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

Zbigniew Galias, Piotr Zgliczynski, 2007, Int. J. Bifurc. Chaos.

Rigorous Numerics for Dissipative Partial Differential Equations II. Periodic Orbit for the Kuramoto–Sivashinsky PDE—A Computer-Assisted Proof

Piotr Zgliczynski, P. Zgliczyński, 2004, Found. Comput. Math..

C1 Lohner Algorithm

Piotr Zgliczynski, P. Zgliczyński, 2002, Found. Comput. Math..

New lower bound estimates for quadratures of bounded analytic functions

Piotr Zgliczynski, Malgorzata Moczurad, Wlodzimierz Zwonek, 2016, J. Complex..

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

Piotr Zgliczynski, P. Zgliczyński, 2002, SIAM J. Appl. Dyn. Syst..

Rigorous FEM for One-Dimensional Burgers Equation

Piotr Kalita, Piotr Zgliczynski, 2021, SIAM J. Appl. Dyn. Syst..

-lohner Algorithm

Piotr Zgliczynski, P. Zgliczyński, 2022 .

Trapping regions and an ODE-type proof of the existence and uniqueness theorem for Navier-Stokes equations with periodic boundary conditions on the plane.

Piotr Zgliczynski, P. Zgliczyński, 2001, math/0103053.

Computer assisted proof of the existence of the Lorenz attractor in the Shimizu–Morioka system

Piotr Zgliczynski, Dmitry Turaev, Maciej J. Capinski, 2018, Nonlinearity.