Christoph Schwarzweller

	2007
8		Adam Grabowski, Christoph Schwarzweller: Revisions as an Essential Tool to Maintain Mathematical Repositories. Calculemus/MKM 2007: 235-249
7		Agnieszka Rowinska-Schwarzweller, Christoph Schwarzweller: Towards Mathematical Knowledge Management for Electrical Engineering. Calculemus/MKM 2007: 371-380
	2005
6		Christoph Schwarzweller: Gröbner Bases - Theory Refinement in the Mizar System. MKM 2005: 299-314
5		Adam Grabowski, Christoph Schwarzweller: Translating Mathematical Vernacular into Knowledge Repositories. MKM 2005: 49-64
	2004
4		Adam Grabowski, Christoph Schwarzweller: Rough Concept Analysis - Theory Development in the Mizar System. MKM 2004: 130-144
	2003
3		Christoph Schwarzweller: Designing Mathematical Libraries Based on Requirements for Theorems. Ann. Math. Artif. Intell. 38(1-3): 193-209 (2003)
	2001
2		Piotr Rudnicki, Christoph Schwarzweller, Andrzej Trybulec: Commutative Algebra in the Mizar System. J. Symb. Comput. 32(1/2): 143-169 (2001)
	1998
1		Christoph Schwarzweller: Mizar Correctness Proofs of Generic Fraction Field Arithmetic. Generic Programming 1998: 178-191

Coauthor Index

1	Adam Grabowski	[4] [5] [8]
2	Agnieszka Rowinska-Schwarzweller	[7]
3	Piotr Rudnicki	[2]
4	Andrzej Trybulec	[2]

Colors in the list of coauthors