MIZAR verification of generic algebraic algorithms. - Christoph Schwarzweller (1997)

Mizar Correctness Proofs of Generic Fraction Field Arithmetic. - Christoph Schwarzweller (Generic Programming, 1998)

Commutative Algebra in the Mizar System. - Piotr Rudnicki; Christoph Schwarzweller; Andrzej Trybulec (J. Symb. Comput., 2001)

Designing Mathematical Libraries Based on Requirements for Theorems. - Christoph Schwarzweller (Ann. Math. Artif. Intell., 2003)

Rough Concept Analysis - Theory Development in the Mizar System. - Adam Grabowski; Christoph Schwarzweller (MKM, 2004)

Translating Mathematical Vernacular into Knowledge Repositories. - Adam Grabowski; Christoph Schwarzweller (MKM, 2005)

Gröbner Bases - Theory Refinement in the Mizar System. - Christoph Schwarzweller (MKM, 2005)

Revisions as an Essential Tool to Maintain Mathematical Repositories. - Adam Grabowski; Christoph Schwarzweller (Calculemus/MKM, 2007)

Towards Mathematical Knowledge Management for Electrical Engineering. - Agnieszka Rowinska-Schwarzweller; Christoph Schwarzweller (Calculemus/MKM, 2007)

Modular Integer Arithmetic. - Christoph Schwarzweller (Formaliz. Math., 2008)

On Duplication in Mathematical Repositories. - Adam Grabowski; Christoph Schwarzweller (AISC/MKM/Calculemus, 2010)

On Building a Knowledge Base for Stability Theory. - Agnieszka Rowinska-Schwarzweller; Christoph Schwarzweller (AISC/MKM/Calculemus, 2010)

Towards Automatically Categorizing Mathematical Knowledge. - Adam Grabowski; Christoph Schwarzweller (FedCSIS, 2012)

Introduction to Rational Functions. - Christoph Schwarzweller (Formaliz. Math., 2012)

A Test for the Stability of Networks. - Agnieszka Rowinska-Schwarzweller; Christoph Schwarzweller (Formaliz. Math., 2013)

The First Isomorphism Theorem and Other Properties of Rings. - Artur Kornilowicz; Christoph Schwarzweller (Formaliz. Math., 2014)

Proth Numbers. - Christoph Schwarzweller (Formaliz. Math., 2014)

Equality in computer proof-assistants. - Adam Grabowski; Artur Kornilowicz; Christoph Schwarzweller (FedCSIS, 2015)

Characteristic of Rings. Prime Fields. - Christoph Schwarzweller; Artur Kornilowicz (Formaliz. Math., 2015)

On algebraic hierarchies in mathematical repository of Mizar. - Adam Grabowski; Artur Kornilowicz; Christoph Schwarzweller (FedCSIS, 2016)

Some Algebraic Properties of Polynomial Rings. - Christoph Schwarzweller; Artur Kornilowicz (Formaliz. Math., 2016)

Ordered Rings and Fields. - Christoph Schwarzweller (Formaliz. Math., 2017)

On Roots of Polynomials and Algebraically Closed Fields. - Christoph Schwarzweller (Formaliz. Math., 2017)

Formally Real Fields. - Christoph Schwarzweller (Formaliz. Math., 2017)

Representation Matters: An Unexpected Property of Polynomial Rings and its Consequences for Formalizing Abstract Field Theory. - Christoph Schwarzweller (FedCSIS, 2018)

On Roots of Polynomials over F[X]/ 〈p〉. - Christoph Schwarzweller (Formaliz. Math., 2019)

On Monomorphisms and Subfields. - Christoph Schwarzweller (Formaliz. Math., 2019)

On the Intersection of Fields F with F [X]. - Christoph Schwarzweller (Formaliz. Math., 2019)

Field Extensions and Kronecker's Construction. - Christoph Schwarzweller (Formaliz. Math., 2019)

Renamings and a Condition-free Formalization of Kronecker's Construction. - Christoph Schwarzweller (Formaliz. Math., 2020)

Ring and Field Adjunctions, Algebraic Elements and Minimal Polynomials. - Christoph Schwarzweller (Formaliz. Math., 2020)

Splitting Fields. - Christoph Schwarzweller (Formaliz. Math., 2021)

Algebraic Extensions. - Christoph Schwarzweller; Agnieszka Rowinska-Schwarzweller (Formaliz. Math., 2021)

Quadratic Extensions. - Christoph Schwarzweller; Agnieszka Rowinska-Schwarzweller (Formaliz. Math., 2021)

Artin's Theorem Towards the Existence of Algebraic Closures. - Christoph Schwarzweller (Formaliz. Math., 2022)

Splitting Fields for the Rational Polynomials X2-2, X2+X+1, X3-1, and X3-2. - Christoph Schwarzweller; Sara Burgoa (Formaliz. Math., 2022)

Existence and Uniqueness of Algebraic Closures. - Christoph Schwarzweller (Formaliz. Math., 2022)

Developing Field Theory in Mizar. - Christoph Schwarzweller (FedCSIS, 2023)

Normal Extensions. - Christoph Schwarzweller (Formaliz. Math., 2023)

Extensions of Orderings. - Christoph Schwarzweller (Formaliz. Math., 2023)

Simple Extensions. - Christoph Schwarzweller; Agnieszka Rowinska-Schwarzweller (Formaliz. Math., 2023)

Separable Polynomials and Separable Extensions. - Christoph Schwarzweller (Formaliz. Math., 2024)

Finite Fields. - Christoph Schwarzweller (Formaliz. Math., 2024)

Some Standard Examples of Vector Spaces. - Christoph Schwarzweller; Agnieszka Rowinska-Schwarzweller (Formaliz. Math., 2024)