Computational homology T Kaczynski, KM Mischaikow, M Mrozek Springer 157 (2), 7, 2004 | 982 | 2004 |
Chaos in the Lorenz equations: a computer-assisted proof K Mischaikow, M Mrozek Bulletin of the American Mathematical Society 32 (1), 66-72, 1995 | 350 | 1995 |
Conley index K Mischaikow, M Mrozek Handbook of dynamical systems 2, 393-460, 2002 | 229 | 2002 |
Construction of symbolic dynamics from experimental time series K Mischaikow, M Mrozek, J Reiss, A Szymczak Physical Review Letters 82 (6), 1144, 1999 | 164 | 1999 |
Leray functor and cohomological Conley index for discrete dynamical systems M Mrozek Transactions of the American Mathematical Society 318 (1), 149-178, 1990 | 161 | 1990 |
Homology computation by reduction of chain complexes T Kaczyński, M Mrozek, M Ślusarek Computers & Mathematics with Applications 35 (4), 59-70, 1998 | 147 | 1998 |
Chaos in the Lorenz equations: A computer assisted proof. Part II: Details K Mischaikow, M Mrozek Mathematics of Computation 67 (223), 1023-1046, 1998 | 138 | 1998 |
Conley index theory K Mischaikow Dynamical systems, 119-207, 1995 | 134* | 1995 |
Coreduction homology algorithm M Mrozek, B Batko Discrete & Computational Geometry 41 (1), 96-118, 2009 | 130 | 2009 |
Isolating neighborhoods and chaos K Mischaikow, M Mrozek Japan journal of industrial and applied mathematics 12, 205-236, 1995 | 130 | 1995 |
Discrete Morse theoretic algorithms for computing homology of complexes and maps S Harker, K Mischaikow, M Mrozek, V Nanda Foundations of Computational Mathematics 14, 151-184, 2014 | 109 | 2014 |
Conley index for discrete multi-valued dynamical systems T Kaczynski, M Mrozek Topology and its Applications 65 (1), 83-96, 1995 | 105 | 1995 |
Chaos in the Lorenz equations: A computer assisted proof part III: Classical parameter values K Mischaikow, M Mrozek, A Szymczak Journal of Differential Equations 169 (1), 17-56, 2001 | 86 | 2001 |
Homology algorithm based on acyclic subspace M Mrozek, P Pilarczyk, N Żelazna Computers & Mathematics with Applications 55 (11), 2395-2412, 2008 | 80 | 2008 |
CAPD:: DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems T Kapela, M Mrozek, D Wilczak, P Zgliczyński Communications in nonlinear science and numerical simulation 101, 105578, 2021 | 68 | 2021 |
Graph approach to the computation of the homology of continuous maps K Mischaikow, M Mrozek, P Pilarczyk Foundations of Computational Mathematics 5, 199-229, 2005 | 66 | 2005 |
Distributed computation of coverage in sensor networks by homological methods P Dłotko, R Ghrist, M Juda, M Mrozek Applicable Algebra in Engineering, Communication and Computing 23, 29-58, 2012 | 65 | 2012 |
Conley index, Handbook of dynamical systems, Vol. 2 K Mischaikow, M Mrozek North-Holland, Amsterdam, 2002 | 63 | 2002 |
Coreduction homology algorithm for inclusions and persistent homology M Mrozek, T Wanner Computers & Mathematics with Applications 60 (10), 2812-2833, 2010 | 57 | 2010 |
Topological invariants, mulitvalued maps and computer assisted proofs in dynamics M Mrozek Computers & Mathematics with Applications 32 (4), 83-104, 1996 | 57 | 1996 |