Search the dblp DataBase

Publications of Author

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