| |
| 2009 | ||
|---|---|---|
| 6 | EE | Marian Mrozek, Bogdan Batko: Coreduction Homology Algorithm. Discrete & Computational Geometry 41(1): 96-118 (2009) |
| 2006 | ||
| 5 | EE | Marian Mrozek: Index Pairs Algorithms. Foundations of Computational Mathematics 6(4): 457-493 (2006) |
| 2005 | ||
| 4 | EE | Konstantin Mischaikow, Marian Mrozek, Pawel Pilarczyk: Graph Approach to the Computation of the Homology of Continuous Maps. Foundations of Computational Mathematics 5(2): 199-229 (2005) |
| 1998 | ||
| 3 | Konstantin Mischaikow, Marian Mrozek: Chaos in the Lorenz equations: A computer assisted proof. Part II: Details. Math. Comput. 67(223): 1023-1046 (1998) | |
| 1997 | ||
| 2 | EE | Marian Mrozek, Marcin Zelawski: Heteroclinic Connections in the Kuramoto-Sivashinsky Equation: a Computer Assisted Proof. Reliable Computing 3(3): 277-285 (1997) |
| 1996 | ||
| 1 | Marian Mrozek: Rigorous Error Analysis of Numerical Algorithms via Symbolic Computations. J. Symb. Comput. 22(4): 435-458 (1996) | |
| 1 | Bogdan Batko | [6] |
| 2 | Konstantin Mischaikow | [3] [4] |
| 3 | Pawel Pilarczyk | [4] |
| 4 | Marcin Zelawski | [2] |