Commutative algebra in the Mizar system P Rudnicki, C Schwarzweller, A Trybulec Journal of Symbolic Computation 32 (1-2), 143-169, 2001 | 44 | 2001 |

Ring ideals J Backer, P Rudnicki, C Schwarzweller Formalized Mathematics 9 (3), 565-582, 2001 | 28 | 2001 |

Revisions as an essential tool to maintain mathematical repositories A Grabowski, C Schwarzweller Towards Mechanized Mathematical Assistants, 235-249, 2007 | 27 | 2007 |

The ring of integers, euclidean rings and modulo integers C Schwarzweller Formalized Mathematics 8 (1), 29-34, 1999 | 27 | 1999 |

The binomial theorem for algebraic structures C Schwarzweller Formalized Mathematics 9 (3), 559-564, 2001 | 25 | 2001 |

On algebraic hierarchies in mathematical repository of Mizar A Grabowski, A Korniłowicz, C Schwarzweller 2016 Federated Conference on Computer Science and Information Systems …, 2016 | 20 | 2016 |

On duplication in mathematical repositories A Grabowski, C Schwarzweller International Conference on Intelligent Computer Mathematics, 300-314, 2010 | 20 | 2010 |

Equality in computer proof-assistants A Grabowski, A Korniłowicz, C Schwarzweller 2015 Federated Conference on Computer Science and Information Systems …, 2015 | 16 | 2015 |

Towards automatically categorizing mathematical knowledge A Grabowski, C Schwarzweller 2012 Federated Conference on Computer Science and Information Systems …, 2012 | 15 | 2012 |

Translating mathematical vernacular into knowledge repositories A Grabowski, C Schwarzweller International Conference on Mathematical Knowledge Management, 49-64, 2005 | 14 | 2005 |

Rough Concept Analysis–theory development in the Mizar system A Grabowski, C Schwarzweller International Conference on Mathematical Knowledge Management, 130-144, 2004 | 13 | 2004 |

The Tecton concept library DR Musser, S Schupp, C Schwarzweller, R Loos Universität Tübingen, 2004 | 12 | 2004 |

Gröbner bases—theory refinement in the Mizar system C Schwarzweller International Conference on Mathematical Knowledge Management, 299-314, 2005 | 11 | 2005 |

Introduction to concept lattices C Schwarzweller Formalized Mathematics 7 (2), 233-242, 1998 | 10 | 1998 |

The evaluation of multivariate polynomials C Schwarzweller, A Trybulec Formalized Mathematics 9 (2), 331-338, 2001 | 9 | 2001 |

The field of quotients over an integral domain C Schwarzweller Formalized Mathematics 7 (1), 69-79, 1998 | 9 | 1998 |

MIZAR verification of generic algebraic algorithms C Schwarzweller Eberhard-Karls-Universität zu Tübingen, 1997 | 8 | 1997 |

Mizar attributes: A technique to encode mathematical knowledge into type systems C Schwarzweller Studies in Logic, Grammar and Rhetoric 10 (23), 387-400, 2007 | 7 | 2007 |

Mizar formalization of concept lattices C Schwarzweller Mechanized Mathematics and its Applications 1 (1), 1-10, 2000 | 7 | 2000 |

Modular integer arithmetic C Schwarzweller Formalized Mathematics 16 (3), 247-252, 2008 | 6 | 2008 |