Christoph Schwarzweller

49 papers C 5Journal 35Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
Characterization of Finite Galois Extensions.
Formaliz. Math.
Christoph Schwarzweller
2025 J jnl
Introduction to Galois Theory.
Formaliz. Math.
Christoph Schwarzweller, Agnieszka Rowinska-Schwarzweller
2025 J jnl
The Lattice of Intermediate Fields and Other Preliminaries to Galois Theory.
Formaliz. Math.
Christoph Schwarzweller, Agnieszka Rowinska-Schwarzweller
2024 J jnl
Finite Fields.
Formaliz. Math.
Christoph Schwarzweller
2024 J jnl
Separable Polynomials and Separable Extensions.
Formaliz. Math.
Christoph Schwarzweller
2024 J jnl
Some Standard Examples of Vector Spaces.
Formaliz. Math.
Christoph Schwarzweller, Agnieszka Rowinska-Schwarzweller
2023 C conf
Developing Field Theory in Mizar.
FedCSIS
Christoph Schwarzweller
2023 J jnl
Extensions of Orderings.
Formaliz. Math.
Christoph Schwarzweller
2023 J jnl
Normal Extensions.
Formaliz. Math.
Christoph Schwarzweller
2023 J jnl
Simple Extensions.
Formaliz. Math.
Christoph Schwarzweller, Agnieszka Rowinska-Schwarzweller
2022 J jnl
Artin's Theorem Towards the Existence of Algebraic Closures.
Formaliz. Math.
Christoph Schwarzweller
2022 J jnl
Existence and Uniqueness of Algebraic Closures.
Formaliz. Math.
Christoph Schwarzweller
2022 J jnl
Splitting Fields for the Rational Polynomials X
Formaliz. Math.
Christoph Schwarzweller, Sara Burgoa
2021 J jnl
Algebraic Extensions.
Formaliz. Math.
Christoph Schwarzweller, Agnieszka Rowinska-Schwarzweller
2021 J jnl
Quadratic Extensions.
Formaliz. Math.
Christoph Schwarzweller, Agnieszka Rowinska-Schwarzweller
2021 J jnl
Splitting Fields.
Formaliz. Math.
Christoph Schwarzweller
2020 J jnl
Renamings and a Condition-free Formalization of Kronecker's Construction.
Formaliz. Math.
Christoph Schwarzweller
2020 J jnl
Ring and Field Adjunctions, Algebraic Elements and Minimal Polynomials.
Formaliz. Math.
Christoph Schwarzweller
2019 J jnl
Field Extensions and Kronecker's Construction.
Formaliz. Math.
Christoph Schwarzweller
2019 J jnl
On Monomorphisms and Subfields.
Formaliz. Math.
Christoph Schwarzweller
2019 J jnl
On Roots of Polynomials over F[X]/ 〈p〉.
Formaliz. Math.
Christoph Schwarzweller
2019 J jnl
On the Intersection of Fields F with F [X].
Formaliz. Math.
Christoph Schwarzweller
2018 C conf
Representation Matters: An Unexpected Property of Polynomial Rings and its Consequences for Formalizing Abstract Field Theory.
FedCSIS
Christoph Schwarzweller
2017 J jnl
Formally Real Fields.
Formaliz. Math.
Christoph Schwarzweller
2017 J jnl
On Roots of Polynomials and Algebraically Closed Fields.
Formaliz. Math.
Christoph Schwarzweller
2017 J jnl
Ordered Rings and Fields.
Formaliz. Math.
Christoph Schwarzweller
2016 C conf
On algebraic hierarchies in mathematical repository of Mizar.
FedCSIS
Adam Grabowski, Artur Kornilowicz, Christoph Schwarzweller
2016 J jnl
Some Algebraic Properties of Polynomial Rings.
Formaliz. Math.
Christoph Schwarzweller, Artur Kornilowicz
2015 J jnl
Characteristic of Rings. Prime Fields.
Formaliz. Math.
Christoph Schwarzweller, Artur Kornilowicz
2015 C conf
Equality in computer proof-assistants.
FedCSIS
Adam Grabowski, Artur Kornilowicz, Christoph Schwarzweller
2014 J jnl
Proth Numbers.
Formaliz. Math.
Christoph Schwarzweller
2014 J jnl
The First Isomorphism Theorem and Other Properties of Rings.
Formaliz. Math.
Artur Kornilowicz, Christoph Schwarzweller
2013 J jnl
A Test for the Stability of Networks.
Formaliz. Math.
Agnieszka Rowinska-Schwarzweller, Christoph Schwarzweller
2012 J jnl
Introduction to Rational Functions.
Formaliz. Math.
Christoph Schwarzweller
2012 C conf
Towards Automatically Categorizing Mathematical Knowledge.
FedCSIS
Adam Grabowski, Christoph Schwarzweller
2010 J jnl
On Building a Knowledge Base for Stability Theory
CoRR
Agnieszka Rowinska-Schwarzweller, Christoph Schwarzweller
2010 — conf
On Building a Knowledge Base for Stability Theory.
AISC/MKM/Calculemus
Agnieszka Rowinska-Schwarzweller, Christoph Schwarzweller
2010 J jnl
On Duplication in Mathematical Repositories
CoRR
Adam Grabowski, Christoph Schwarzweller
2010 — conf
On Duplication in Mathematical Repositories.
AISC/MKM/Calculemus
Adam Grabowski, Christoph Schwarzweller
2008 J jnl
Modular Integer Arithmetic.
Formaliz. Math.
Christoph Schwarzweller
2007 — conf
Revisions as an Essential Tool to Maintain Mathematical Repositories.
Calculemus/MKM
Adam Grabowski, Christoph Schwarzweller
2007 — conf
Towards Mathematical Knowledge Management for Electrical Engineering.
Calculemus/MKM
Agnieszka Rowinska-Schwarzweller, Christoph Schwarzweller
2005 — conf
Gröbner Bases - Theory Refinement in the Mizar System.
MKM
Christoph Schwarzweller
2005 — conf
Translating Mathematical Vernacular into Knowledge Repositories.
MKM
Adam Grabowski, Christoph Schwarzweller
2004 — conf
Rough Concept Analysis - Theory Development in the Mizar System.
MKM
Adam Grabowski, Christoph Schwarzweller
2003 J jnl
Designing Mathematical Libraries Based on Requirements for Theorems.
Ann. Math. Artif. Intell.
Christoph Schwarzweller
2001 J jnl
Commutative Algebra in the Mizar System.
J. Symb. Comput.
Piotr Rudnicki, Christoph Schwarzweller, Andrzej Trybulec
1998 — conf
Mizar Correctness Proofs of Generic Fraction Field Arithmetic.
Generic Programming
Christoph Schwarzweller
1997 — —
MIZAR verification of generic algebraic algorithms.
Christoph Schwarzweller