Search the dblp DataBase

Publications of Author

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