Seminaria:
Matematyka Obliczeniowa czw 16:15-17:45
sala 1016
Rozpoznawanie Obrazów czw 14:15-15:45
sala 1146
Równania różniczkowe i zagadnienia pokrewne pt 12:15-13:45
sala 1016
Równania różniczkowe cząstkowe wt 12:15-13:45
sala 1016
Publikacje:

2017   2016   2016 ?   2015   2014   2013   2012   2011   2010   2009   2008   2007   2006   2005   2004   2003   2002   2001   2000   1999   1998   1997   1996   1995   1994   1993   1992   1991   1990   1989   1988   1987   1984   1981   1979     


2017
  • M. Barboteu, L. Gasiński, P. Kalita,
    Analysis of a dynamic frictional contact problem for hyperviscoelastic material with non-convex energy density
    Mathematics and Mechanics of Solids, accepted, DOI: 10.1177/1081286517718604 (2017)
  • M. Coti Zelati, P. Kalita,
    Smooth attractors for weak solutions of the SQG equation with critical dissipation
    Discrete and Continuous Dynamical Systems Series B, 22, 1957-1873 (2017)
  • S. Dudek, P. Kalita, S. Migórski,
    Steady flow of generalized Newtonian fluid with multivalued rheology and nonmonotone friction law
    Computers and Mathematics with Applications, accepted, DOI: 10.1016/j.camwa.2017.06.038 (2017)
2016
  • Roberto Barrio, Sergio Serrano, Daniel Wilczak,
    Coexistence and Dynamical Connections between Hyperchaos and Chaos in the 4D Rössler System: A Computer-Assisted Proof
    SIAM J APPL DYN SYST, 356-390 (2016)
  • B. Batko, M. Mrozek,
    Weak index pairs and the Conley index for discrete multivalued dynamical systems
    Siam Journal on Applied Dynamical Systems, 1143-1162 (2016)
  • J. Cyranka, P. Zgliczyński,
    Stabilizing effect of large average initial velocity in forced dissipative PDEs invariant with respect to Galilean transformations
    J. Diff. Eq., 261, 4648--4708 (2016)
  • W. van Batenburg, A. Czechowski, J. van der Leer Duran, B. Lindenhovius, E. Siero,
    Frequency decompositions in autoregression models
    in review, (2016)
  • A. Czechowski, R. van der Vorst,
    Symplectomorphisms and discrete braid invariants
    in review, (2016)
  • A. Czechowski, P. Zgliczyński,
    Existence of Periodic Solutions of the FitzHugh-Nagumo Equations for An Explicit Range of the Small Parameter
    SIAM Journal on Applied Dynamical Systems, 15, 1615-1655 (2016)
  • S. Dudek, P. Kalita, S. Migórski,
    Stationary Oberbeck–Boussinesq model of non-Newtonian ?uid governed by a system of multivalued partial differential equations
    Applicable Analysis, 96, 2192-2217 (2016)
  • J.R. Fernandez, P. Kalita, S. Migórski, M.C. Muniz, C. Nunez,
    Existence and uniqueness results for a kinetic model in bulk-surface surfactant dynamics
    SIAM Journal on Mathematical Analysis, 48, 3065-3089 (2016)
  • R. Filipek, P. Kalita, L. Sapa, K. Szyszkiewicz,
    On local weak solutions to Nernst–Planck–Poisson system
    Applicable Analysis, 96, 2316-2332 (2016)
  • P. Franek, S. Ratschan, P. Zgliczyński,
    Quasi-decidability of a Fragment of the Analytic First-order Theory of Real Numbers
    Journal of Automated Reasoning 57, 157-–185 (2016)
  • P. Frosini, G. Jablonski,
    Combining persistent homology and invariance groups for shape comparison
    Discrete and Computational Geometry, 373-409 (2016)
  • L. Gasiński, P. Kalita,
    On quasistatic contact problem with generalized Coulomb friction, normal compliance and damage
    European Journal of Applied Mathematics, 27, 625-646 (2016)
  • A. Gryglewski, B.M. Henry, M. Mrozek, M. Żelawski, A. Gryglewski, K. Piech, K.A. Tomaszewski,
    Sensitivity and Specificity of Fractal Analysis to Distinguish Between Healthy and Pathologic Rectal Mucosa Microvasculature Seen During Colonoscopy
    Surgical Laparoscopy Endoscopy And Percutaneous Techniques, 358-363 (2016)
  • Mateusz Juda, Markus Seidl, Matthias Zeppelzauer, Bartosz Zieliński,
    Topological Descriptors for 3D Surface Analysis
    , 77-87 (2016)
  • T. Kaczynski, M. Mrozek, Th. Wanner,
    Towards a Formal Tie Between Combinatorial and Classical Vector Field Dynamics
    Journal of Computational Dynamics , (2016)
  • K. Mischaikow, M. Mrozek, F. Weilandt,
    Discretization strategies for computing Conley indices and Morse decompositions of flows
    Journal of Computational Dynamics , (2016)
  • M. Moczurad, P. Zgliczyński, W. Zwonek,
    New lower bound estimates for quadratures of bounded analytic functions
    Journal of Complexity, vol. 34, 50-67 (2016)
  • M. Mrozek,
    Conley-Morse-Forman theory for combinatorial multivector fields on Lefschetz complexes
    Foundations of Computational Mathematics, (2016)
  • R. Szczelina,
    A computer assisted proof of multiple periodic orbits in some first order non-linear delay differential equation
    Electronic Journal of Qualitative Theory of Differential Equations, 1-19 (2016)
  • R. Szczelina, P. Zgliczyński,
    Algorithm for rigorous integration of Delay Differential Equations and the computer-assisted proof of periodic orbits in the Mackey-Glass equation.
    In Review, --- (2016)
  • I. Walawska, D. Wilczak,
    An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
    Applied Mathematics and Computation, Vol. 291C, 303-322 (2016)
  • D. Wilczak, P. Zgliczyński,
    Connecting orbits for a singular nonautonomous real Ginzburg-Landau type equation
    SIAM Journal on Applied Dynamical Systems, Vol. 15 (1), 495-525 (2016)
2016 ?
  • M. Capiński, P. Zgliczyński,
    Geometric proof for normally hyperbolic invariant manifolds
    J. Diff. Eq., (2016 ?)
2015
  • Roberto Barrio, María Angeles Martinez, Sergio Serrano, Daniel Wilczak,
    When chaos meets hyperchaos: 4D Rössler model
    PHYS LETT A , 2300-2305 (2015)
  • K. Bartosz, Z. Denkowski, P. Kalita,
    Sensitivity of optimal solutions to control problems for second order evolution subdifferential inclusions
    Applied Mathematics and Optimization, 71, 379-410 (2015)
  • K. Bartosz, P. Kalita, S. Migórski, A. Ochal, M. Sofonea,
    History-dependent problems with applications to contact models for elastic beams
    Applied Mathematics and Optimization, 73, 71-98 (2015)
  • B. Batko,
    Spectral representation theory and stability of the multiplicative Dhombres functional equation in f-algebras
    Aequationes Mathematicae 89(3), 543-554 (2015)
  • B. Batko,
    Superstability of the Cauchy equation with squares in finite-dimensional normed algebras
    Aequationes Mathematicae 89(3), 785-789 (2015)
  • Piotr Brendel, Paweł Dłotko, Graham Ellis, Mateusz Juda, Marian Mrozek,
    Computing fundamental groups from point clouds
    APPL ALGEBR ENG COMM , 1-22 (2015)
  • M. Capiński, P. Zgliczyński,
    Geometric proof for normally hyperbolic invariant manifolds
    J. Diff. Eq., 259, 6215--6286 (2015)
  • M. Coti Zelati, P. Kalita,
    Minimality properties of set-valued processes and their pullback attractors
    SIAM Journal on Mathematical Analysis, 47, 1530-1561 (2015)
  • J. Cyranka, P. Zgliczyński,
    Existence of globally attracting solutions for one-dimensional viscous Burgers equation with nonautonomous forcing - a computer assisted proof
    SIAM Journal on Applied Dynamical Systems, vol 14, 787--821 (2015)
  • A. Czechowski, P. Zgliczyński,
    Rigorous numerics for PDEs with indefinite tail: existence of a periodic solution of the Boussinesq equation with time-dependent forcing
    Schedae Informaticae, vol 14, 143--158 (2015)
  • J. Czepiel, P. Kalita,
    Numerical solution of a variational-hemivariational inequality modeling simplified adhesion of an elastic body
    IMA Journal of Numerical Analysis, 35, 372-393 (2015)
  • S. Dudek, P. Kalita, S. Migórski,
    Stationary flow of non-Newtonian fluid with nonmonotone frictional boundary conditions
    Zeitschrift für angewandte Mathematik und Physik, 66, 2625-2646 (2015)
  • H. Edelsbrunner, G. Jabłoński, M. Mrozek,
    The Persistent Homology of a Self-map
    Foundations of Computational Mathematics, 1213-1244 (2015)
  • P. Kalita, S. Migórski, M. Sofonea,
    A class of subdifferential inclusions for elastic unilateral contact problems
    Set-Valued and Variational Analysis, 24, 355-379 (2015)
  • K. Mischaikow, M. Mrozek, F. Weilandt,
    Discretization strategies for computing Conley indices and Morse decompositions of flows
    preprint, (2015)
  • M. Mrozek, R. Srzednicki, F. Weilandt,
    A topological approach to the algorithmic computation of the Conley index for Poincaré maps
    SIAM Journal on Applied Dynamical Systems , 1348-1386 (2015)
  • Piotr Zgliczyński,
    Steady states bifurcations for the Kuramoto-Sivashinsky equation - a computer assisted proof
    , 95-142 (2015)
2014
  • M. Barboteu, K. Bartosz, P. Kalita,
    A dynamic viscoelastic contact problem with normal compliance, finite penetration and nonmonotone slip rate dependent friction
    Nonlinear Analysis: Real World Applications, 22, 452-472 (2014)
  • K. Bartosz, X. Cheng, P. Kalita, Y. Yu, C. Zheng,
    Rothe method for parabolic variational-hemivariational inequalities
    Journal of Mathematical Analysis and Applications, 423, 841-862 (2014)
  • B. Batko, J. Brzdęk,
    A remark on some simultaneous functional inequalities
    in: Topics in Mathematical Analysis and Applications, Springer Optimization and Its Applications, vol. 94 (T.M. Rassias and L. Toth eds.) , 111-117 (2014)
  • B. Batko,
    On approximate solutions of functional equations in vector lattices
    Abstract and Applied Analysis, Art. ID 547673 (2014)
  • B. Batko,
    Stability of the exponential functional equation in Riesz algebras
    Abstract and Applied Analysis, Art. ID 848540 (2014)
  • A. Cerri, B. Di Fabio, G. Jablonski, F. Medri,
    Comparing shapes through multi-scale approximations of the matching distance
    Computer Vision and Image Understanding, 43-56 (2014)
  • S. Harker, K. Mischaikow, M. Mrozek, V. Nanda,
    Discrete Morse Theoretic Algorithms for Computing Homology of Complexes and Maps
    Foundations of Computational Mathematics, 151--184 (2014)
  • Mateusz Juda, Marian Mrozek,
    CAPD::RedHom v2 - Homology Software Based on Reduction Algorithms
    , 160-166 (2014)
  • P. Kalita, G. Łukaszewicz,
    Attractors for Navier-Stokes flows with multivalued and nonmonotone subdifferential boundary conditions
    Nonlinear Analysis: Real World Applications, 19, 75-88 (2014)
  • P. Kalita, G. Łukaszewicz,
    Global attractors for multivalued semiflows with weak continuity properties
    Nonlinear Analysis Series A, Theory, Methods & Applications, 101, 124-143 (2014)
  • K. Murzyn, R. Szczelina,
    DMG-a - A Computational Geometry Library for Multimolecular Systems
    Journal of Chemical Information and Modeling, 3112–3123 (2014)
2013
  • M. Barboteu, K. Bartosz, P. Kalita, A. Ramadan,
    Analysis of a contact problem with normal compliance, finite penetration and nonmonotone slip dependent friction
    Communications in Contemporary Mathematics, 16, Article no 1350016, 29 pages (2013)
  • Bogdan Batko, Janusz Brzdęk,
    A fixed point theorem and the Hyers-Ulam stability in Riesz spaces
    ADV DIFFER EQU-NY , (2013)
  • B. Batko, J. Brzdęk,
    A fixed point theorem and the stability of functional equations in Riesz spaces
    Advances in Difference Equations, 2013:138 (2013)
  • Bogdan Batko,
    The stability of Dhombres' equation in Riesz spaces
    J MATH ANAL APPL , 261-265 (2013)
  • N. Cavazza, M. Ethier, P. Frosini, C. Landi, T. Kaczynski,
    Comparison of Persistent Homologies for Vector Functions: from continuous to discrete and back
    Computers and Mathematics with Applications, Vol. 66, No. 4, 560-573 (2013)
  • A. Cerri, M. Ethier, P. Frosini,
    A study of monodromy in the computation of multidimensional persistence
    17th IAPR International Conference on Discrete Geometry for Computer Imagery, Lecture Notes in Computer Science, Vol. 7749, 192-202 (2013)
  • P. Dlotko,H. Wagner,
    Simplification of complexes for persistent homology computations
    Homotopy, Homology and Applications, accepted (2013)
  • P. Dlotko, R. Specogna,
    Lazy cohomology generators: a breakthrough in (co)homology computations for CEM
    IEEE Transactions on Magnetics, DOI 10.1109/TMAG.2013.2281076 (2013)
  • P. Dłotko, R. Specogna,
    A novel technique for cohomology computations in engineering practice
    Computer Methods in Applied Mechanics and Engineering , 530-542 (2013)
  • P. Dłotko, R. Specogna,
    Cohomology in electromagnetic modeling
    Communications in Computational Physics (CiCP), Vol. 14, No. 1, 48-76 (2013)
  • P. Dłotko, R. Specogna,
    Physics inspired algorithms for (co)homology computations of three-dimensional combinatorial manifolds with boundary, Computer Physics Communications
    Computer Physics Communications, Volume 184, Issue 10, 2257–2266 (2013)
  • Paweł Dłotko, Specogna Ruben,
    Topology preserving thinning of cell complexes
    IEEE T IMAGE PROCESS , (2013)
  • Paweł Dłotko, Hubert Wagner,
    Towards topological analysis of high-dimensional feature spaces
    COMPUT VIS IMAGE UND , 21-26 (2013)
  • M. Ethier, T. Kaczynski,
    Suspension models for testing shape similarity methods
    Computer Vision and Image Understanding, submitted (2013)
  • J.R. Fernandez, P. Kalita, S. Migórski, M.C. Muniz, C. Nunez,
    Variational analysis of the Langmuir-Hinshelwood dynamic mixed-kinetic adsorption model
    Nonlinear Analysis: Real World Applications, 15, 205-220 (2013)
  • T. Kaczynski, M. Mrozek,
    Cubical Cohomology Ring: Algorithmic Approach
    Foundations of Computational Mathematics, 789-818 (2013)
  • M. Moczurad, W. Moczurad,
    Testing decipherability of directed figure codes with domino graphs
    Schedae Informaticae, 27-40 (2013)
  • G. S. Cochran, Th. Wanner, P. Dłotko ,
    A randomized subdivision algorithm for determining the topology of nodal sets
    SIAM Journal on Scientific Computing, accepted (2013)
  • R. Szczelina, P. Zgliczyński,
    A homoclinic orbit in a planar singular ODE - a computer assisted proof
    SIAM Journal on Applied Dynamical Systems, vol 12, 1541-1565 (2013)
2012
  • M. Barboteu, K. Bartosz, P. Kalita,
    Analysis and numerical approach to a bilateral contact problem with nonmonotone friction
    International Journal of Applied Mathematics and Computer Science, 23, 263-276 (2012)
  • B. Batko,
    Note on superstability of Mikusinski’s functional equation
    in: Functional Equations in Mathematical Analysis, Springer Optimization and Its Applications 52 (T.M. Rassias and J. Brzdęk eds.) , 15-17 (2012)
  • A. Bielecki, P. Kalita,
    Dynamical properties of the reaction-diffusion type model of fast synaptic transport
    Journal of Mathematical Analysis and Applications, 393, 329–340 (2012)
  • P. Brendel, P. Dłotko, M. Mrozek, N. Żelazna,
    Homology Computations via Acyclic Subspace
    Computational Topology in Image Context, LNCS, 117-127 (2012)
  • P. Dłotko, R. Ghrist, M. Juda, M. Mrozek,
    Distributed computation of coverage in sensor networks by homological methods
    Applicable Algebra and Engineering, Communication and Computing, Special Issue on Compuer Algebra in Algebraic Topology and its Applications, 29-58 (2012)
  • Paweł Dłotko, Marian Mrozek, Hubert Wagner,
    Computational Topology in Text Mining
    LECTURE NOTES IN COMPUTER SCIENCE , 68 - 79 (2012)
  • M. Ethier,
    Introduction a l'homologie persistante avec application a la suspension topologique
    CaMUS: Cahiers mathématiques de l'Université de Sherbrooke, Vol. 3, 1-18 (2012)
  • Andrzej Gryglewski, Andrzej Krajniak, Marian Mrozek, Han Sejin, Marcin Żelawski,
    Homological methods for extraction and analysis of linear features in multidimensional images
    Pattern Recognition, 285-298 (2012)
  • Mateusz Juda, Marian Mrozek,
    Z_2-homology of weak (p-2)-faceless p-pseudomanifolds may be computed in O(n) time
    TOPOL METHOD NONL AN , 137-159 (2012)
  • P. Kalita,
    Convergence of Rothe scheme for hemivariational inequalities of parabolic type
    International Journal of Numerical Analysis and Modeling, 10, 445-465 (2012)
  • Krzysztof Misztal, Jacek Tabor, Józef Tabor,
    Approximately midconvex functions
    Functional Equations in Mathematical Analysis, Springer, 177-190 (2012)
  • Marian Mrozek,
    Topological Dynamics: Rigorous Numerics via Cubical Homology
    , (2012)
  • Marek Śmieja, Jacek Tabor,
    Entropy of the Mixture of Sources and Entropy Dimension
    IEEE Transactions on Informationm Theory, 2719-2728 (2012)
  • H. Wagner, P. Dłotko, and M. Mrozek,
    Computational Topology in Text Mining
    Computational Topology in Image Context, LNCS , 68 - 79 (2012)
2011
  • M. Allili, D. Corriveau, S. Deriviere, M. Ethier, T. Kaczynski,
    Detecting Critical Regions in Multidimensional Data Sets
    Computers and Mathematics with Applications, Vol. 61, No. 2, 499-512 (2011)
  • B. Gryglewska, M. Necki, M. Żelawski, M. Cwynar, T. Baron, M. Mrozek, T. Grodzicki,
    Fractal dimensions of skin microcirculation flow in subjects with familial predisposition or newly diagnosed hypertension
    Cardiology Journal, 26-32 (2011)
  • K. Bartosz, P. Kalita,
    Optimal control for a class of dynamic viscoelastic contact problems with adhesion
    Dynamic Systems and Applications, 21, 269-292 (2011)
  • M. Capiński, P. Zgliczyński,
    Cone Conditions and Covering Relations for Normally Hyperbolic Invariant Manifolds
    Discrete Cont. Dyn. Sys. A 30, 641--670 (2011)
  • M. Capiński, P. Zgliczyński,
    Transition Tori in the Planar Restricted Elliptic Three Body Problem
    Nonlinearity 24, 1395-1432 (2011)
  • P. Dłotko,
    A fast algorithm to compute cohomology group generators of orientable 2-manifolds
    Pattern Recognition Letters, 1468-1476 (2011)
  • P. Dłotko, T. Kaczynski, M. Mrozek, Th. Wanner,
    Coreduction Homology Algorithm for Regular CW-Complexes
    Discrete and Computational Geometry, 361-388 (2011)
  • P. Dłotko, W.G. Kropatsch, H. Wagner,
    Characterizing Obstacle-Avoiding Paths Using Cohomology Theory
    Lecture Notes in Computer Science, 310-317 (2011)
  • P. Dłotko, R. Specogna,
    Efficient generalized source field computation for h-oriented magnetostatic formulations
    Eur. Phys. J.-Appl. Phys. (EPJ-AP), accepted (2011)
  • P. Franek, S. Ratschan, P. Zgliczyński,
    Satisfiability of Systems of Equations of Real Analytic Functions is Quasi-decidable
    Mathematical Foundations of Computer Science 2011, Lecture Notes in Computer Science, vol. 6907, 315-326 (2011)
  • G. Jablonski,
    Robust Nonparametric Regression with Output in SO(3)
    Computer Recognition Systems 4, Advances in Intelligent and Soft Computing, 127-136 (2011)
  • Daniel Wilczak, Piotr Zgliczyński,
    C^r-Lohner algorithm
    SCHEDAE INFORMATICAE , 9-46 (2011)
2010
  • M. Allili, M. Ethier, T. Kaczynski,
    Critical Region Analysis of Scalar Fields in Arbitrary Dimensions
    Visualization and Data Analysis 2010, Proceedings of the SPIE, Vol. 7530, (2010)
  • M. Mrozek, B. Batko,
    Homology of representable sets
    Annales Polonici Mathematici 97, 243-252 (2010)
  • Paweł Dłotko, Shaun Harker, Mateusz Juda, Konstantin Mischaikov, Marian Mrozek, Vidit Nanda, Hubert Wagner,
    The efficiency of a homology algorithm based on discrete Morse Theory and Coreductions
    , 41-47 (2010)
  • Paweł Dłotko, Tomasz Kaczynski, Marian Mrozek,
    Computing the cubical cohomology ring
    , 137-142 (2010)
  • Paweł Dłotko, Specogna Ruben,
    Critical analysis of spanning tree techniques
    SIAM J NUMER ANAL , 1601-1624 (2010)
  • Paweł Dłotko, Specogna Ruben,
    Efficient cohomology computation for electromagnetic modeling
    CMES-COMP MODEL ENG , 247-278 (2010)
  • Paweł Dłotko, Specogna Ruben, Francesco Trevisan,
    Voltage and current sources for massive conductors suitable with the $A-\chi$ Geometric Formulation
    IEEE T MAGN , 3069-3072 (2010)
  • P. Dłotko, R. Specogna,
    Efficient cohomology computation for electromagnetic modeling
    CMES: Computer Modeling in Engineering and Sciences, 247-278 (2010)
  • P. Dłotko, R. Specogna, F. Trevisan,
    Voltage and current sources for massive conductors suitable with the $A-\chi$ Geometric Formulation
    IEEE Transactions on Magnetics, 3069-3072 (2010)
  • B. Gryglewska, M. Necki, M. Żelawski, T. Grodzicki,
    Entropy of skin microcirculation flow in subjects with familial predisposition or newly diagnosed hypertension
    Cardiovascular Research, S54 (2010)
  • P. Kalita,
    Regularity and Rothe method error estimates for parabolic hemivariational inequality
    Journal of Mathematical Analysis and Applications, 389, 618-631 (2010)
  • M. Mrozek,
    Cech Type Approach to Computing Homology of Maps
    Discrete and Computational Geometry, 546-576 (2010)
  • M. Mrozek, R. Srzednicki,
    Topological approach to rigorous numerics of chaotic dynamical systems with strong expansion of error bounds
    Foundations of Computational Mathematics, 191-220 (2010)
  • M. Mrozek, Th. Wanner,
    Coreduction homology algorithm for inclusions and persistent homology
    Computers and Mathematics with Applications, 2812-2833 (2010)
  • D. Wilczak,
    Uniformly hyperbolic attractor of the Smale-Williams type for a Poincaré map in the Kuznetsov system
    SIAM Journal on Applied Dynamical Systems, Vol. 9, No. 4, 1263-1283 (2010)
  • P. Zgliczyński,
    Rigorous Numerics for Dissipative PDEs III. An effective algorithm for rigorous integration of dissipative PDEs
    TMNA, 197-262 (2010)
2009
  • M. Mrozek, B. Batko,
    Coreduction homology algorithm
    Discrete and Computational Geometry 41, 96-118 (2009)
  • Ming Chia-Li, P. Zgliczyński,
    On stability of forcing relations for multidimensional perturbations of interval maps
    Fundamenta Mathematicae, 241--251 (2009)
  • Paweł Dłotko, Specogna Ruben, Francesco Trevisan,
    Automatic generation of cuts on large-sized meshes for $T-\Omega$ geometric eddy-current formulation
    COMPUT METHOD APPL M , (2009)
  • Andrzej Gryglewski, Andrzej Krajniak, Marian Mrozek, Han Sejin, Marcin Żelawski,
    Homological Methods in Feature Extraction of Multidimensional Images
    , 1061-1066 (2009)
  • T. Kapela, P. Zgliczyński,
    A Lohner-type algorithm for control systems and ordinary differential inclusions
    Discrete and Continous Dynamical Systems, (2009)
  • M. Mrozek, R. Srzednicki,
    Conley index of Poincare maps in isolating segments
    Nonlinear Analysis, Theory, Methods and Applications , 2123–2131 (2009)
  • W. Tucker, D. Wilczak,
    A rigorous lower bound for the stability regions of the quadratic map
    Physica D, Vol. 238, No. 18, 1923-1936 (2009)
  • D. Wilczak,
    Abundance of heteroclinic and homoclinic orbits for the hyperchaotic Rössler system
    Discrete and Continuous Dynamical Systems - Series B, Vol. 11, No. 4, 1039-1055 (2009)
  • D. Wilczak,
    Rigorous numerics for homoclinic dynamics
    The Joint Conference of ASCM 2009 and MACIS 2009, COE Lect. Note, 22, Kyushu Univ. Fac. Math., Fukuoka, 301-305 (2009)
  • D. Wilczak, P. Zgliczyński,
    Computer assisted proof of the existence of homoclinic tangency for the Henon map and for the forced-damped pendulum
    SIAM Journal on Applied Dynamical Systems, Vol. 8, No. 4, 1632-1663 (2009)
  • D. Wilczak, P. Zgliczyński,
    Period doubling in the Rössler system - a computer assisted proof
    Foundations of Computational Mathematics, Vol. 9, No. 5, 611-649 (2009)
  • P. Zgliczynski,
    Covering relations, cone conditions and stable manifold theorem
    Journal of Differential Equations, 1774--1819 (2009)
  • M. Żelawski,
    Detecting Pathologies with Homology Algorithms in Magnetic Resonance Images of Brain
    Machine GRAPHICS & VISION, 253-266 (2009)
2008
  • Bogdan Batko,
    On approximation of approximate solutions of Dhombres' equation
    J MATH ANAL APPL , 424-432 (2008)
  • B. Batko,
    Stability of an alternative functional equation
    Journal of Mathematical Analysis and Applications 339, 303-311 (2008)
  • A. Bielecki, P. Kalita, M. Lewandowski, B. Siwek,
    Numerical simulation for neurotransmitter transport model in axon terminal of presynaptic neuron
    Biological Cybernetics, 102, 489-502 (2008)
  • A. Bielecki, P. Kalita, M. Lewandowski, M. Skomorowski,
    Compartment model of neuropeptide synaptic transport with impulse control
    Biological Cybernetics, 99, 443-458 (2008)
  • M. Ethier, Y. Bourgault,
    Semi-Implicit Time-Discretization Schemes for the Bidomain Model
    SIAM Journal of Numerical Analysis, Vol. 46, No. 5, 2443-2468 (2008)
  • Ming Chia-Li, Ming-Jiea Lyu, P. Zgliczyński,
    Topological entropy for multidimensional perturbations of snap-back repellers and one-dimensional maps
    Nonlinearity 21, 2555-2567 (2008)
  • P. Kalita,
    Decay of energy for second-order boundary hemivariational inequalities with coercive damping
    Nonlinear Analysis, Theory, Methods & Applications, 74, 1164-1181 (2008)
  • Marcin Mazur, Jacek Tabor, P. Kościelniak,
    Semi-hyperbolicity and hyperbolicity
    Discrete Contin. Dyn. Syst. 20, 1029-1038 (2008)
  • M. Moczurad, W. Moczurad,
    How many figure sets are codes?
    Lecture Notes in Computer Science, vol. 5196, 385-396 (2008)
  • N. Żelazna, M. Mrozek, P. Pilarczyk,
    Homology Algorithm Based on Acyclic Subspace
    Computers and Mathematics with Appl., 2395–2412 (2008)
  • Jacek Tabor, Józef Tabor,
    Restricted stability and shadowing
    Publ. Math. Debrecen 73, 49-58 (2008)
  • Jacek Tabor, Józef Tabor,
    Stability of the Cauchy equation almost everywhere
    Aequationes Math. 75, 308-313 (2008)
  • Jacek Tabor, Józef Tabor,
    Stability of the Cauchy functional equation in metric groupoids
    Aequationes Math. 76, 92-104 (2008)
  • Jacek Tabor, Józef Tabor, M. Żołdak,
    Stability of isometries in p-Banach spaces
    Funct. Approx. Comment. Math. 38 , 109-119 (2008)
2007
  • B. Batko, M. Mrozek,
    The Euler-Poincare characteristic of index maps
    Topology and its Applications 154, 859-866 (2007)
  • M. Capiński, P. Zgliczyński,
    Covering Relations and Non-autonomous Perturbations of ODEs
    Discrete Cont. Dyn. Sys. A 14, 281-293 (2007)
  • F. Colonius, T. Kapela,
    A rigorous numerical algorithm for controllability
    Taming Heterogeneity and Complexity of Embedded Control CTS-HYCON Workshop on Nonlinear and Hybrid Control, International Scientific & Technical Encyclopedia (ISTE) , 157-170 (2007)
  • Z. Galias, P. Zgliczyński,
    An interval method for finding fixed points and periodic orbits of infinite dimensional discrete dynamical systems
    Int. J. of Bifurcation and Chaos 17, 4261-4272 (2007)
  • P. Gniadek,
    On reconstructing algebraic sets and ideals
    Ann. Pol. Math. 91, 1-10 (2007)
  • Tomasz Kaczynski, M. Mrozek, Anik Trahan,
    Ideas from Zariski topology in the study of cubical sets, cubical maps, and their homology
    Canadian J. Math., 1008-1028 (2007)
  • T. Kapela, C. Simo,
    Computer assisted proofs for non-symmetric planar choreographies and for stability of the Eight
    Nonlinearity, vol.20, 1241-1255 (2007)
  • H. Kokubu, D. Wilczak, P. Zgliczyński,
    Rigorous verification of cocoon bifurcations in the Michelson system
    Nonlinearity 20, No.9, 2147-2174 (2007)
  • M. Moczurad, W. Moczurad,
    Asymptotic density of brick and word codes
    Ars Combinatoria, vol. 83, 169-177 (2007)
  • Z. Mączyńska, Jacek Tabor,
    Shadowing with multidimensional time in Banach spaces
    J. Math. Anal. Appl. 331, 866-872 (2007)
  • Jacek Tabor,
    Locally expanding mappings and hyperbolicity
    Topol. Methods Nonlinear Anal. 30, 335-343 (2007)
  • Jacek Tabor, Józef Tabor,
    General stability of functional equations of linear type
    J. Math. Anal. Appl. 328, 192-200 (2007)
  • D. Wilczak, P. Zgliczyński,
    Topological method for symmetric periodic orbits for maps with a reversing symmetry
    Discrete and Continuous Dynamical Systems - Series A, Vol.17, No.3, 629-652 (2007)
  • N. Żelazna,
    Acyclic Subspace Homology Algorithm for Inclusions
    Schedae Informaticae, 25-34 (2007)
2006
  • W. Jabłoński, Jacek Tabor, Józef Tabor,
    Generalized shadowing for discrete semidynamical systems
    Ann. Polon. Math. 88, 263-269 (2006)
  • M. Mrozek,
    Index Pairs Algorithms
    Foundations of Computational Mathematics, 457-493 (2006)
  • M. Mrozek,
    The Method of Topological Sections in the Rigorous Numerics of Dynamical Systems
    Canadian Applied Mathematics Quarterly, 209-222 (2006)
  • Jacek Tabor,
    Generalized differential inclusions in Banach spaces
    Set-Valued Anal. 14, 121-148 (2006)
  • D. Wilczak,
    Symmetric homoclinic solutions to the periodic orbits in the Michelson system
    Topological Methods in Nonlinear Analysis, Vol. 28, No. 1, 155-170 (2006)
  • D. Wilczak,
    The existence of Shilnikov homoclinic orbits in the Michelson system: a computer assisted proof
    Foundations of Computational Mathematics, Vol.6, No.4, 495-535 (2006)
  • D. Wilczak, P. Zgliczyński,
    Heteroclinic Connections between Periodic Orbits in Planar Circular Restricted Three Body Problem - part II
    Communications in Mathematical Physics, Vol. 259, 561-576 (2006)
2005
  • B. Batko,
    On the stability of an alternative functional equation
    Mathematical Inequalities and Applications 8, 685-691 (2005)
  • Bogdan Batko,
    On the stability of Mikusinski's equation
    PUBL MATH-DEBRECEN, 1-2 (2005)
  • Y. Bourgault, M. Ethier,
    Comparison of Numerical Schemes for the Bidomain Model
    Third MIT Conference on Fluid and Solid Mechanics, 1048-1051 (2005)
  • M. Gidea, P. Zgliczyński,
    Covering relations for multidimensional dynamical systems II
    Journal of Differential Equations 202/1, 59-80 (2005)
  • K. Mischaikow, M. Mrozek, P. Pilarczyk,
    Graph Approach to the Computation of the Homology of Continuous Maps
    Foundations of Computational Mathematics, 199-229 (2005)
  • M. Mrozek, K. Wójcik,
    Discrete version of a geometric method for detecting chaotic dynamics
    Topology and its Applications, 70-82 (2005)
  • A. Najdecki, Jacek Tabor, Józef Tabor,
    Characterization of continuous functions by class C curves
    Aequationes Math. 69, 76-82 (2005)
  • Roman Srzednicki, Klaudiusz Wójcik, Piotr Zgliczyński,
    Fixed point results based on the Ważewski method
    , (2005)
  • Jacek Tabor,
    Note on reflexivity and invariant means
    Univ. Iagel. Acta Math. 43, 99-102 (2005)
  • Jacek Tabor, Józef Tabor,
    Stability of the entropy equation
    Aequationes Math. 69, 76-82 (2005)
  • D. Wilczak,
    Symmetric heteroclinic connections in the Michelson system - a computer assisted proof
    SIAM Journal on Applied Dynamical Systems, Vol.4, No.3, 489-514 (2005)
  • D. Wilczak, P. Zgliczyński,
    Heteroclinic Connections between Periodic Orbits in Planar Circular Restricted Three Body Problem - part II
    Communications in Mathematical Physics, Vol. 259, No.3, 561-576 (2005)
  • K. Wójcik, P. Zgliczyński,
    Topological horseshoes and delay differential equations
    Discrete Cont. Dyn. Sys. A 12, 827-852 (2005)
  • M. Żelawski,
    Pattern Recognition Based on Homology Theory
    Machine GRAPHICS & VISION, 14(3), 309-324 (2005)
2004
  • Bogdan Batko,
    Stability of Dhombres' equation
    B AUST MATH SOC, 499-505 (2004)
  • M. Gidea, P. Zgliczyński,
    Covering relations for multidimensional dynamical systems I
    Journal of Differential Equations 202/1, 32-58 (2004)
  • M. Moczurad, W. Moczurad,
    Decidability of simple brick codes
    Trends in Mathematics, Birkh¨auser, 541-542 (2004)
  • M. Moczurad, W. Moczurad,
    Some open problems in decidability of brick (labelled polyomino) codes
    Lecture Notes in Computer Science, vol. 3106, 72-81 (2004)
  • Jacek Tabor,
    Difference and iterative equations. Dedicated to István Győri on the occasion of his sixtieth birthday.
    Funct. Differ. Equ. 11, 185-192 (2004)
  • Jacek Tabor,
    Stability of the Cauchy functional equation in quasi-Banach spaces
    Ann. Polon. Math. 83, 243-255 (2004)
  • Jacek Tabor, M. Żołdak,
    Iterative equations in Banach spaces
    J. Math. Anal. Appl. 299, 651-662 (2004)
  • P. Zgliczyński,
    On smooth dependence on initial conditions for dissipative PDEs, an ODE-type approach
    Journal of Differential Equations 195/2 271-283, 271-283 (2004)
  • P. Zgliczyński,
    Rigorous numerics for dissipative Partial Differential Equations II. Periodic orbit for the Kuramoto-Sivashinsky PDE - a computer assisted proof
    Foundations of Computational Mathematics, 4, 157-185 (2004)
2003
  • Y. Bourgault, M. Ethier, V. LeBlanc,
    Simulation of Electrophysiological Waves with an Unstructured Finite Element Method
    ESAIM: Mathematical Modelling and Numerical Analysis, Vol. 37, 649-661 (2003)
  • Y. Bourgault, M. Ethier,
    Unstructured Finite Element Method for a 3-D Anisotropic Bidomain Model
    Second MIT Conference on Fluid and Solid Mechanics, 1634-1637 (2003)
  • Gianni Arioli, Piotr Zgliczyński,
    Periodic, homoclinic and heteroclinic orbits for H\'{e}non Heiles Hamiltonian near the critical energy level
    NONLINEARITY, 1833-1852 (2003)
  • T. Kaczynski, K. Mischaikow, M. Mrozek,
    Computing Homology
    Homotopy, Homology and Applications, 233-256 (2003)
  • T. Kapela,
    N-BODY choreographies with a reflectional symmetry - computer assisted existence proofs
    EQUADIFF 2003, Proceedings of the International Conference on Differential Equations, Hasselt, Belgium , 999-1005 (2003)
  • T. Kapela, P. Zgliczyński,
    The existence of simple choreographies for the N-body problem - a computer assisted proof
    Nonlinearity, vol. 16, 1899-1918 (2003)
  • Jacek Tabor,
    Oscillation of linear difference equations in Banach spaces
    J. Differential Equations 192, 170-187 (2003)
  • Jacek Tabor,
    Stability of the Fischer-Muszély functional equation
    Publ. Math. Debrecen 62, 205-211 (2003)
  • Jacek Tabor, Józef Tabor,
    On the sets of exact and approximate solutions
    J. Math. Anal. Appl. 285, 528-536 (2003)
  • Daniel Wilczak,
    Chaos in the Kuramoto-Sivashinsky equations - a computer assisted proof
    J DIFFER EQUATIONS, 433-459 (2003)
  • Daniel Wilczak, Piotr Zgliczyński,
    Heteroclinic Connections between Periodic Orbits in Planar Circular Restricted Three Body Problem - A Computer Assisted Proof
    COMMUN MATH PHYS, 37-75 (2003)
  • P. Zgliczyński,
    Attracting fixed points for the Kuramoto-Sivashinsky equation - a computer assisted proof
    SIAM Journal on Applied Dynamical Systems, Vol. 1, 215-235 (2003)
  • Piotr Zgliczyński,
    On smooth dependence on intial conditions for dissipative PDEs, an ODE-type approach
    J DIFFER EQUATIONS, 271-283 (2003)
  • P. Zgliczyński,
    Trapping regions and an ODE-type proof of an existence and uniqueness for Navier-Stokes equations with periodic boundary conditions on the plane
    Univ. Iag. Acta Math. 41, 89-113 (2003)
2002
  • Bogdan Batko, Zygfryd Kominek, Jacek Tabor,
    Generalized norms and convexity
    PUBL MATH-DEBRECEN, 1-2 (2002)
  • Y. Bourgault, M. Ethier,
    Simulation of Electrophysiological Waves with an Unstructured Finite Element Method
    Proceedings of Modelling and Simulation for Computer-Aided Medicine and Surgery, INRIA-Rocquencourt, 12-16 (2002)
  • Z. Galias, P. Zgliczyński,
    Abundance of homoclinic and heteroclinic orbits and rigorous bounds for the topological entropy for the Henon map
    Nonlinearity, 14, 909-932 (2002)
  • T. Kapela,
    Hazardowa wersja gry Penney'a
    Annales Academiae Paedagogicae Cracoviensis, Studia Ad Calculum Probabilitatis Eiusque Didacticam Perinentia I, folia 5 (2002)
  • M. Kulczycki, Jacek Tabor,
    Iterative functional equations in the class of Lipschitz functions
    Aequationes Math. 64, 24-33 (2002)
  • K. Mischaikow, M. Mrozek,
    The Conley Index Theory
    Handbook of Dynamical Systems III: Towards Applications , 393-460 (2002)
  • M. Mrozek, P. Pilarczyk,
    The Conley Index and Rigorous Numerics of Attracting Periodic Orbits
    Variational and Topological Methods in the Study of Nonlinear Phenomena, V. Benci et al. Editors, Progress in Nonlinear Differential Equations and Their Applications, Vol. 49 , (2002)
  • Jacek Tabor,
    Differential equations in metric spaces. Proceedings of EQUADIFF, 10 (Prague, 2001)
    Math. Bohem. 127, 353-360 (2002)
  • Jacek Tabor,
    Hyers theorem and the cocycle property
    Functional equations---results and advances, 275-290 (2002)
  • Jacek Tabor,
    Note on metric spaces and continuous functions
    Publ. Math. Debrecen 61, 119-123 (2002)
  • Jacek Tabor,
    Oscillation theory of linear systems
    J. Differential Equations 180, 171-197 (2002)
  • Jacek Tabor,
    Proper families and almost additive functions
    Aequationes Math. 63, 18-25 (2002)
  • Jacek Tabor, Józef Tabor,
    Geometrical aspects of stability
    Functional equations---results and advances, 123-132 (2002)
  • Jacek Tabor, Józef Tabor,
    Note on unique stability property
    Opuscula Math. 22, 35-39 (2002)
  • Jacek Tabor, D. Yost,
    Applications of inverse limits to extensions of operators and approximation of Lipschitz functions
    J. Approx. Theory 116, 257-267 (2002)
  • K. Wójcik, P. Zgliczyński,
    Isolating segments, fixed point index and symbolic dynamics III. Applications
    J. Diff. Eq. Vol. 183, 262-278 (2002)
  • Piotr Zgliczyński,
    Attracting fixed points for the Kuramoto-Sivashinsky equation
    SIAM J APPL DYN SYST, 215-235 (2002)
  • P. Zgliczyński,
    C^1-Lohner algorithm
    Foundations of Computational Mathematics, 2, 429-465 (2002)
2001
  • G. Arioli, P. Zgliczyński,
    Symbolic dynamics for the Henon--Heiles hamiltonian on the critical energy level
    J. Diff. Eq. 171, 173-202 (2001)
  • K. Mischaikow, M. Mrozek, A. Szymczak,
    Chaos in the Lorenz equations: a computer assisted proof. Part III: the classical parameter values
    J. Diff. Equ., 17-56 (2001)
  • K. Mischaikow, P. Zgliczyński,
    Rigorous Numerics for Partial Differential Equations: the Kuramoto-Sivashinsky equation
    Foundations of Computational Mathematics, 1, 255-288 (2001)
  • M. Misiurewicz, P. Zgliczyński,
    Topological entropy for multidimensional perturbations of one dimensional maps
    Int. J. of Bifurcation and Chaos, vol. 11, 1443-1446 (2001)
  • M. Mrozek, P. Zgliczyński,
    Set arithmetic and the enclosing problem in dynamics
    Annales Pol. Math., LXXIV, 237-259 (2001)
  • Jacek Tabor,
    k-proper families and almost approximately polynomial functions
    Glas. Mat. Ser. III 36(56), 177-197 (2001)
  • Daniel Wilczak,
    Computer assisted proof of chaotic dynamics in the Rössler map
    TOPOL METHOD NONL AN, 183-190 (2001)
  • K. Wójcik, P. Zgliczyński,
    Isolating segments, fixed point index and symbolic dynamics II. Homoclinic solutions
    J. Diff. Eq. 172, 189-211 (2001)
  • P. Zgliczyński,
    On periodic points for systems of weakly coupled 1-dim maps
    Nonlinear Analysis. TMA, Vol 46/7, 1039-1062 (2001)
2000
  • Bogdan Batko,
    An alternative Cauchy equation almost everywhere
    , 41-48 (2000)
  • M. Moczurad, J. Tyszkiewicz, M. Zaionc,
    Statistical Properties of Simple Types
    Mathematical Structures in Computer science, vol. 10, 575-594 (2000)
  • M. Mrozek, J. Reineck, R. Srzednicki,
    The Conley index over a base
    Trans. AMS, 4171-4194 (2000)
  • M. Mrozek, J. Reineck, R. Srzednicki,
    The Conley index over a circle
    J. Dynamics and Differential Equations,, 385--409 (2000)
  • M. Mrozek, P. Zgliczyński ,
    Set arithmetic and the enclosing problem in dynamics
    Annales Polonici Mathematici, 237-259 (2000)
  • Marian Mrozek, Roman Srzednicki,
    The Conley index over the circle
    , 385--409 (2000)
  • Jacek Tabor,
    Ideally convex sets and Hyers theorem
    Funkcial. Ekvac. 43, 121-125 (2000)
  • Jacek Tabor,
    Jacek Remark on the characterization of continuous functions
    Publ. Math. Debrecen 57, 307-313 (2000)
  • Jacek Tabor,
    Monomial selections of set-valued functions
    Publ. Math. Debrecen 56, 33-42 (2000)
  • Jacek Tabor,
    On predicting the future
    J. Differential Equations 164, 459-466 (2000)
  • Jacek Tabor,
    Stability of surjectivity
    J. Approx. Theory 105, 166-175 (2000)
  • Klaudiusz Wójcik, Piotr Zgliczyński,
    How to show an existence of homoclinic trajectories using topological tools?
    , (2000)
  • K. Wójcik, P. Zgliczyński,
    Isolating segments, fixed point index and symbolic dynamics
    J. Diff. Eq. 161, 245-288 (2000)
  • K. Wójcik, P. Zgliczyński,
    On existence of infinitely many homoclinic solutions
    Monatshefte fur Matematik 130, 155--160 (2000)
  • P. Zgliczyński,
    Symbolic dynamics for the R\"ossler folded towel map
    Conley Index Theory, Warsaw 1999, Banach Center Publications, Vol. 47, 253-258 (2000)
1999
  • Bogdan Batko, Jacek Tabor,
    Stability of an alternative Cauchy equation on a restricted
    AEQUATIONES MATH, 221-232 (1999)
  • Bogdan Batko, Jacek Tabor,
    Stability of the generalized alternative Cauchy equation
    ABH MATH SEM HAMBURG, 67-73 (1999)
  • Z. Galias, P. Zgliczyński,
    Computer assisted proof of chaos in the Lorenz system
    Physica D, 115, 165-188 (1999)
  • P. Gniadek,
    Hermite multivariate interpolation as a limit of Lagrange Interpolation
    Univ. Iagell. Acta Math. 91, 127-137 (1999)
  • K. Mischaikow, M. Mrozek, J. Reineck,
    Singular index pairs
    J. Dyn. Diff. Equ., 399-426 (1999)
  • K. Mischaikow, M. Mrozek, J. Reiss, A. Szymczak,
    Construction of Symbolic Dynamics from Experimental Time Series
    Physical Review Letters, 1144 (1999)
  • M. Mrozek,
    An algorithmic approach to the Conley index theory
    J. Dyn. Diff. Equ., 711-734 (1999)
  • M. Mrozek,
    Construction and properties of the Conley index
    Conley index theory, Banach Center Publications, Vol. 47 , 29-40 (1999)
  • M. Mrozek, J. Reineck, R. Srzednicki,
    On a Generalization of the Conley index
    Conley index theory, Banach Center Publications, Vol. 47 , 157-171 (1999)
  • Jacek Tabor,
    A general stability result in the class of Lipschitz functions
    Publ. Math. Debrecen 55, 385-394 (1999)
  • Jacek Tabor,
    Linear difference equations and invariant subsets of linear mappings
    Aequationes Math. 57, 153-184 (1999)
  • Jacek Tabor,
    Linear mappings on a cone
    Univ. Iagel. Acta Math. No. 37, 181-187 (1999)
  • Jacek Tabor,
    Note on possible chaotic dynamics
    Nonlinearity 12, 1643-1645 (1999)
  • Jacek Tabor,
    Superstability of the Cauchy, Jensen and isometry equations
    Results Math. 35, 355-379 (1999)
  • Jacek Tabor, Józef Tabor,
    Local stability of the Cauchy and Jensen equations in function spaces
    Aequationes Math. 58, 296-310 (1999)
  • Jacek Tabor, Józef Tabor,
    Stability of the Cauchy type equations in the class of differentiable functions
    J. Approx. Theory 98, 167-182 (1999)
  • P. Zgliczyński,
    Multidimensional perturbations of one-dimensional maps and stability of Sharkovskii ordering
    Int. J. of Bifurcation and Chaos, Vol. 9, 1867-1876 (1999)
  • P. Zgliczyński,
    Sharkovskii's Theorem for multidimensional perturbations of one-dimensional maps
    Ergodic Theory and Dynamical Systems 19, 1655-1684 (1999)
  • P. Zgliczyński,
    Sharkovskii's Theorem for multidimensional perturbations of one-dimensional maps II
    Topological Methods in Nonlinear Analysis 14, 169-182 (1999)
  • M. Żelawski,
    Rigorous numerical approach to isolation in dynamical systems on the example of the Kuramoto-Sivashinsky Equation
    Reliable Computing, 5, 113-129 (1999)
1998
  • B. Batko, J. Tabor,
    Stability of an alternative Cauchy equation on a restricted domain
    Aequationes Mathematicae 57, 1-12 (1998)
  • T. Kaczynski, M. Mrozek, M. Slusarek,
    Homology Computation by Reduction of Chain Complexes,
    Computers and Mathematics with Appl., 59--70 (1998)
  • M. Mazur, Jacek Tabor, K. Stolot,
    Semi-hyperbolicity implies hyperbolicity in the linear case. Proceedings of the Conference ``Topological Methods in Differential Equations and Dynamical Systems'' (Kraków-Przegorzały, 1996).
    Univ. Iagel. Acta Math. 36, 121-126 (1998)
  • K. Mischaikow, M. Mrozek,
    Chaos in the Lorenz equations: a computer assisted proof. Part II: details
    Mathematics of Computation, 1023-1046 (1998)
  • K. Mischaikow, M. Mrozek, J. Reineck,
    Singular Index Pairs
    Univ. Iag. Acta Math., 223-226 (1998)
  • M. Mrozek,
    Algorithms and the Conley index theory,
    Univ. Iag. Acta Math.,, 227-230 (1998)
  • A. Szymczak, K. Wójcik, P. Zgliczyński,
    On the discrete Conley index in the invariant subspace
    Topology and Applications, 87, 105-116 (1998)
  • Jacek Tabor,
    Oscillations in Banach spaces and positive operators
    J. Differential Equations 144, 219-232 (1998)
  • Jacek Tabor,
    Oscillations in Banach spaces. Proceedings of the Conference ``Topological Methods in Differential Equations and Dynamical Systems'' (Kraków-Przegorzały, 1996).
    Univ. Iagel. Acta Math. 36, 247-248 (1998)
  • Jacek Tabor, Józef Tabor,
    Stability of the Cauchy equation on an interval
    Aequationes Math. 55, 153-176 (1998)
  • P. Zgliczyński,
    Computer assisted proof of the horseshoe dynamics in the Henon map
    Random and Computational Dynamics, Vol. 5, 1-19 (1998)
1997
  • T. Kaczynski, M. Mrozek,
    Connected simple systems and the Conley functor
    Topol. Methods Nonlin. Anal., 183-193 (1997)
  • T. Kaczynski, M. Mrozek,
    Stable index pairs for discrete dynamical systems
    Bulletin Canadian Math. Soc., 448-455 (1997)
  • J. Małolepszy, M. Moczurad, M. Zaionc,
    Schwichtenberg Style Lambda Definability is Undecidable
    Lecture Notes in Computer Science 1210, 267-283 (1997)
  • M. Mrozek, J. Urbaniec,
    Evolution of Mathematical Proof
    Foundations of Science, 77-85 (1997)
  • M. Mrozek, M. Żelawski,
    Heteroclinic Connections in the Kuramoto-Sivashinsky Equation: a Computer Assisted Proof
    Reliable Computing, 277-285 (1997)
  • Jacek Tabor,
    Lipschitz stability of the Cauchy and Jensen equations
    Results Math. 32, 133-144 (1997)
  • Jacek Tabor,
    Stability of the Cauchy equation with variable bound
    Publ. Math. Debrecen 51, 165-173 (1997)
  • P. Zgliczyński,
    An existence theorem for perturbation of nonlinear functional boundary value problems for ODE's
    Rivista di Matematica Pura e Applicata 19, 101-105 (1997)
  • P. Zgliczyński,
    Computer assisted proof of chaos in the Henon map and in the Rossler equations
    Nonlinearity 10, 243-252 (1997)
1996
  • P. Gniadek,
    On reconstruction of polynomial automorphisms
    Ann. Pol. Math. 64, 61-69 (1996)
  • M. Mrozek,
    Inheritable properties and computer assisted proofs in dynamics
    Scientific Computing and validated numerics, G. Alefeld, A. Frommer and B. Lang editors, Akademie Verlag, Berlin , 245-253 (1996)
  • M. Mrozek,
    Rigorous error analysis of numerical algorithms via symbolic computations
    J. Symb. Comp., 435-458 (1996)
  • M. Mrozek,
    The Conley Index and Rigorous Numerics,
    Nonlinear Analysis and Boundary Value Problems for Ordinary Differential Equations, CISM Courses ans Lectures, Vol. 371 , 175-196 (1996)
  • M. Mrozek,
    Topological invariants, multivalued maps and computer assisted proofs
    Computers and Mathematics with Appl., 83-104 (1996)
  • A. Sitarz, P. Zgliczyński,
    On a Matched Pair of Lie Groups for the $\kappa$-Poincar\'e in 2-Dimensions
    Mathematical Physics Electronic Journal, Vol. 2, pp. 8 (1996)
  • Jacek Tabor,
    Hosszú's functional equation on the unit interval is not stable
    Publ. Math. Debrecen 49, 335-340 (1996)
  • Jacek Tabor,
    Stability of the Cauchy equation on a restricted domain
    Publ. Math. Debrecen 49, 69-76 (1996)
  • P. Zgliczyński,
    Fixed point index for iterations, topological horseshoe and chaos
    Topological Methods in Nonlinear Analysis, Vol. 8, 169-177 (1996)
  • P. Zgliczyński,
    On dynamical System with an Integral Invariant on the Torus
    Univ. Iag. Acta Math. XXXII, 157-174 (1996)
1995
  • T. Kaczynski, M. Mrozek,
    Conley index for discrete multivalued dynamical systems
    Topology & its Appl., 83-96 (1995)
  • Ch. McCord, K. Mischaikow, M. Mrozek,
    Zeta Functions, Periodic Trajectories and the Conley Index
    J. Diff. Equ, 258-292 (1995)
  • K. Mischaikow, M. Mrozek,
    Chaos in Lorenz equations: a computer assisted proof
    Bull. Amer. Math. Soc. (N.S.), 66-72 (1995)
  • K. Mischaikow, M. Mrozek,
    Isolating neighborhoods and chaos
    Jap. J. Ind. and Appl. Math., 205-236 (1995)
  • M. Mrozek,
    From the Theorem of Ważewski to computer assisted proofs in dynamics
    Panoramas of Mathematics, Banach Center Publications, Vol. 34 , 105-120 (1995)
  • M. Mrozek,
    Rigorous numerics of chaotic dynamical suystems
    Lect. Notes in Physic, 283-296 (1995)
  • Jacek Tabor,
    On the division by Rn
    Aequationes Math. 49, 300-303 (1995)
  • Jacek Tabor, Józef Tabor,
    On a linear iterative equation
    Results Math. 27, 412-421 (1995)
1994
  • M. Mrozek,
    Shape index and other indices of Conley type for continuous maps in locally compact metric spaces
    Fundamenta Mathematicae, 15-37 (1994)
  • Jacek Tabor, Józef Tabor,
    Homogeneity is superstable
    Publ. Math. Debrecen, 123-130 (1994)
1993
  • M. Degiovanni, M. Mrozek,
    The Conley index for maps in absence of compactness
    Proc. Royal Soc. Edinburgh, 75-94 (1993)
  • M. Mrozek, R. Srzednicki,
    On time-duality of the Conley index
    Results in Mathematics, 161-167 (1993)
1992
  • M. Moczurad,
    Lambda Representability of integer, word and tree functions
    Fundamenta Informatica 17, (1992)
  • M. Mrozek,
    Normal Functors and Retractors in Categories of Endomorphisms
    Univ. Iag. Acta Math., 181-198 (1992)
  • M. Mrozek, K.P. Rybakowski,
    Discretized ordinary differential equations and the Conley index
    J. of Dynamics and Differential Equations, 57-63 (1992)
1991
  • M. Mrozek, K.P. Rybakowski,
    A cohomological Conley index for maps on metric spaces
    Journal of Diff. Equations, 143-171 (1991)
  • M. Mrozek, K.P. Rybakowski,
    Nontrivial full bounded solutions of time-periodic semilinear PDEs
    Proc. Roy. Soc. Edinburgh, 305-315 (1991)
  • M. Mrozek,
    Some Remarks on the Garay's Conjecture
    Acta Math. Hungarica, 53-59 (1991)
  • M. Mrozek,
    The Morse Equation in Conley's Index Theory for Homeomorphisms
    Topology and its Applications, 45-60 (1991)
1990
  • M. Mrozek,
    A cohomological index of Conley type for multivalued admissible flows
    J. Diff. Equations, 15-51 (1990)
  • M. Mrozek,
    Leray Functor and the Cohomological Conley Index for Discrete Time Dynamical Systems
    Transactions of the Amer. Math. Soc., 149-178 (1990)
  • M. Mrozek,
    Open index pairs, the fixed point index and rationality of zeta functions
    Erg. Th. and Dyn. Syst., 555-564 (1990)
  • M. Mrozek,
    The Conley index on compact ANR's is of finite type
    Results in Mathematics, 306-313 (1990)
1989
  • M. Mrozek,
    Index pairs and the Fixed Point Index for Semidynamical Systems with Discrete Time
    Fund. Mathematicae, 177-192 (1989)
  • M. Mrozek,
    Transitively Reduced and Transitively Closed Event Networks
    Networks, 47-72 (1989)
1988
  • M. Mrozek,
    Periodic and Stationary Trajectories of Flows and Ordinary Differential Equations
    Univ. Iag. Acta Math., 29-37 (1988)
  • M. Mrozek, R. Srzednicki,
    The Continuity Axiom in Multi-Valued Dynamical Systems
    Rivista di Matematica Pura ed Applicata, 87-97 (1988)
  • M. Mrozek,
    The Fixed Point Index of a Translation Operator of a Semiflow
    Univ. Iag. Acta Math., 13-22 (1988)
1987
  • M. Mrozek,
    Strongly Isolating Invariant Sets and Strongly Isolating Blocks
    Bull. Acad. Pol. Sc. Ser. Sci. Math., 1-2 (1987)
1984
  • M. Mrozek,
    A Note on Minimum-Dummy-Activities PERT Networks
    RAIRO Rech. Oper., 415-421 (1984)
  • Marian Mrozek, Marek Zaionc,
    A computer model of evolution and ecological processes
    , 59-63 (1984)
1981
  • M. Mrozek,
    Generalized Inverse of a Finite Graph
    Fund. Inform., 499-509 (1981)
  • M. Mrozek, M. Zaionc,
    Simulation model of evolution in a simplified ecological system
    Wiad. Ekol., 49-59 (1981)
1979
  • M. Mrozek,
    Inverse Limits of Torus-Groups and Minimal Sets of some Almost Periodic Continuous Flows
    Zesz. Nauk. UJ, Pr. Mat., 29-50 (1979)
  • A. Bielecki, P. Kalita,
    Model of neurotransmitter fast transport in axon terminal of presynaptic neuron
    Journal of Mathematical Biology, 56, 559-576 ()
  • Paweł Dłotko, Bernard Kapidani, Specogna Ruben,
    Fast computation of cuts with reduced support by solving maximum circulation problems
    IEEE T MAGN, ()
  • P. Kalita, R. Schaefer,
    Mechanical models of artery walls
    Archives of Computational Methods in Engineering, 15, 1-36 ()