Christoph Schwarzweller
Christoph Schwarzweller
Institute of Informatics, Gdansk University, Poland
Verified email at inf.ug.edu.pl - Homepage
Title
Cited by
Cited by
Year
Commutative algebra in the Mizar system
P Rudnicki, C Schwarzweller, A Trybulec
Journal of Symbolic Computation 32 (1-2), 143-169, 2001
442001
Ring ideals
J Backer, P Rudnicki, C Schwarzweller
Formalized Mathematics 9 (3), 565-582, 2001
282001
Revisions as an essential tool to maintain mathematical repositories
A Grabowski, C Schwarzweller
Towards Mechanized Mathematical Assistants, 235-249, 2007
272007
The ring of integers, euclidean rings and modulo integers
C Schwarzweller
Formalized Mathematics 8 (1), 29-34, 1999
271999
The binomial theorem for algebraic structures
C Schwarzweller
Formalized Mathematics 9 (3), 559-564, 2001
252001
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
202016
On duplication in mathematical repositories
A Grabowski, C Schwarzweller
International Conference on Intelligent Computer Mathematics, 300-314, 2010
202010
Equality in computer proof-assistants
A Grabowski, A Korni³owicz, C Schwarzweller
2015 Federated Conference on Computer Science and Information Systems …, 2015
162015
Towards automatically categorizing mathematical knowledge
A Grabowski, C Schwarzweller
2012 Federated Conference on Computer Science and Information Systems …, 2012
152012
Translating mathematical vernacular into knowledge repositories
A Grabowski, C Schwarzweller
International Conference on Mathematical Knowledge Management, 49-64, 2005
142005
Rough Concept Analysis–theory development in the Mizar system
A Grabowski, C Schwarzweller
International Conference on Mathematical Knowledge Management, 130-144, 2004
132004
The Tecton concept library
DR Musser, S Schupp, C Schwarzweller, R Loos
Universität Tübingen, 2004
122004
Gröbner bases—theory refinement in the Mizar system
C Schwarzweller
International Conference on Mathematical Knowledge Management, 299-314, 2005
112005
Introduction to concept lattices
C Schwarzweller
Formalized Mathematics 7 (2), 233-242, 1998
101998
The evaluation of multivariate polynomials
C Schwarzweller, A Trybulec
Formalized Mathematics 9 (2), 331-338, 2001
92001
The field of quotients over an integral domain
C Schwarzweller
Formalized Mathematics 7 (1), 69-79, 1998
91998
MIZAR verification of generic algebraic algorithms
C Schwarzweller
Eberhard-Karls-Universität zu Tübingen, 1997
81997
Mizar attributes: A technique to encode mathematical knowledge into type systems
C Schwarzweller
Studies in Logic, Grammar and Rhetoric 10 (23), 387-400, 2007
72007
Mizar formalization of concept lattices
C Schwarzweller
Mechanized Mathematics and its Applications 1 (1), 1-10, 2000
72000
Modular integer arithmetic
C Schwarzweller
Formalized Mathematics 16 (3), 247-252, 2008
62008
The system can't perform the operation now. Try again later.
Articles 1–20