Commutative algebra in the Mizar system P Rudnicki, C Schwarzweller, A Trybulec Journal of Symbolic Computation 32 (1-2), 143-169, 2001 | 53 | 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 | 37 | 2016 |
Revisions as an essential tool to maintain mathematical repositories A Grabowski, C Schwarzweller International Conference on Mathematical Knowledge Management, 235-249, 2007 | 30 | 2007 |
The binomial theorem for algebraic structures C Schwarzweller Formalized Mathematics 9 (3), 559-564, 2001 | 30 | 2001 |
Ring ideals J Backer, P Rudnicki, C Schwarzweller Formalized Mathematics 9 (3), 565-582, 2001 | 29 | 2001 |
The ring of integers, euclidean rings and modulo integers C Schwarzweller Formalized Mathematics 8 (1), 29-34, 1999 | 28 | 1999 |
On duplication in mathematical repositories A Grabowski, C Schwarzweller International Conference on Intelligent Computer Mathematics, 300-314, 2010 | 27 | 2010 |
Equality in computer proof-assistants A Grabowski, A Korniłowicz, C Schwarzweller 2015 Federated Conference on Computer Science and Information Systems …, 2015 | 23 | 2015 |
Translating mathematical vernacular into knowledge repositories A Grabowski, C Schwarzweller International Conference on Mathematical Knowledge Management, 49-64, 2005 | 21 | 2005 |
Towards automatically categorizing mathematical knowledge A Grabowski, C Schwarzweller 2012 Federated Conference on Computer Science and Information Systems …, 2012 | 18 | 2012 |
Rough Concept Analysis–theory development in the Mizar system A Grabowski, C Schwarzweller Mathematical Knowledge Management: Third International Conference, MKM 2004 …, 2004 | 14 | 2004 |
The chinese remainder theorem, its proofs and its generalizations in mathematical repositories C Schwarzweller Studies in Logic, Grammar and Rhetoric 18 (31), 103-119, 2009 | 13 | 2009 |
The Tecton concept library DR Musser, S Schupp, C Schwarzweller, R Loos Universität Tübingen, 1999 | 13 | 1999 |
Gröbner bases—theory refinement in the Mizar system C Schwarzweller Mathematical Knowledge Management: 4th International Conference, MKM 2005 …, 2006 | 12 | 2006 |
The first isomorphism theorem and other properties of rings A Korniłowicz, C Schwarzweller Formalized Mathematics 22 (4), 291-301, 2014 | 11 | 2014 |
The evaluation of multivariate polynomials C Schwarzweller, A Trybulec Formalized Mathematics 9 (2), 331-338, 2001 | 11 | 2001 |
Introduction to concept lattices C Schwarzweller Formalized Mathematics 7 (2), 233-242, 1998 | 11 | 1998 |
The field of quotients over an integral domain C Schwarzweller Formalized Mathematics 7 (1), 69-79, 1998 | 10 | 1998 |
Field extensions and Kronecker’s construction C Schwarzweller Formalized Mathematics 27 (3), 229-235, 2019 | 9 | 2019 |
Ring and field adjunctions, algebraic elements and minimal polynomials C Schwarzweller Formalized Mathematics 28 (3), 251-261, 2020 | 8 | 2020 |