Concepedia
Statistics
Publications
7
Citations
160
H-Index
Active since
2001
Affiliations
University of Gdańsk(Current)
University of Białystok
Institute of Computer Science
Christoph Schwarzweller is an author at University of Gdańsk specializing in mathematics, algebra, and computer science.
Publications per year
2001–2019
On algebraic hierarchies in mathematical repository of Mizar
Adam Grabowski, Artur Korniłowicz, Christoph Schwarzweller · Annals of Computer Science and Information Systems · 2016 · 42 citations · Full text
Computing, Computer Science, Mathematics +11
Commutative Algebra in the Mizar System
Piotr Rudnicki, Christoph Schwarzweller, Andrzej Trybulec · Journal of Symbolic Computation · 2001 · 39 citations
Natural Sciences, Mathematics, Algebra +6
Equality in computer proof-assistants
Adam Grabowski, Artur Korniłowicz, Christoph Schwarzweller · Annals of Computer Science and Information Systems · 2015 · 22 citations · Full text
Computing, Computer Science, Mathematics +16
Towards automatically categorizing mathematical knowledge
Adam Grabowski, Christoph Schwarzweller · Federated Conference on Computer Science and Information Systems · 2012 · 19 citations
Computing, Computer Science, Mathematics +12
The First Isomorphism Theorem and Other Properties of Rings
Artur Korniłowicz, Christoph Schwarzweller · Formalized Mathematics · 2014 · 16 citations · Full text
Natural Sciences, Mathematics, Algebra +11
1–5 of 7