| |
| 2007 | ||
|---|---|---|
| 8 | EE | Adam Grabowski, Christoph Schwarzweller: Revisions as an Essential Tool to Maintain Mathematical Repositories. Calculemus/MKM 2007: 235-249 |
| 7 | EE | Agnieszka Rowinska-Schwarzweller, Christoph Schwarzweller: Towards Mathematical Knowledge Management for Electrical Engineering. Calculemus/MKM 2007: 371-380 |
| 2005 | ||
| 6 | EE | Christoph Schwarzweller: Gröbner Bases - Theory Refinement in the Mizar System. MKM 2005: 299-314 |
| 5 | EE | Adam Grabowski, Christoph Schwarzweller: Translating Mathematical Vernacular into Knowledge Repositories. MKM 2005: 49-64 |
| 2004 | ||
| 4 | EE | 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 | EE | Christoph Schwarzweller: Mizar Correctness Proofs of Generic Fraction Field Arithmetic. Generic Programming 1998: 178-191 |
| 1 | Adam Grabowski | [4] [5] [8] |
| 2 | Agnieszka Rowinska-Schwarzweller | [7] |
| 3 | Piotr Rudnicki | [2] |
| 4 | Andrzej Trybulec | [2] |