Marian Mrozek

	2009
6		Marian Mrozek, Bogdan Batko: Coreduction Homology Algorithm. Discrete & Computational Geometry 41(1): 96-118 (2009)
	2006
5		Marian Mrozek: Index Pairs Algorithms. Foundations of Computational Mathematics 6(4): 457-493 (2006)
	2005
4		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		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)

Coauthor Index

1	Bogdan Batko	[6]
2	Konstantin Mischaikow	[3] [4]
3	Pawel Pilarczyk	[4]
4	Marcin Zelawski	[2]

Colors in the list of coauthors