Christoph Schwarzweller

ORCID

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 19

Top Venues

Formaliz. Math.

FedCSIS

Eberhard Karls University of Tübingen (PHD)

Education History

Eberhard Karls University of Tübingen

PHD

Publications

Christoph Schwarzweller
Developing Field Theory in Mizar. FedCSIS (2023)
Christoph Schwarzweller, Sara Burgoa
-2. Formaliz. Math. 30 (1) (2022)
Christoph Schwarzweller
Existence and Uniqueness of Algebraic Closures. Formaliz. Math. 30 (4) (2022)
Christoph Schwarzweller
Artin's Theorem Towards the Existence of Algebraic Closures. Formaliz. Math. 30 (3) (2022)
Christoph Schwarzweller
Splitting Fields. Formaliz. Math. 29 (3) (2021)
Christoph Schwarzweller, Agnieszka Rowinska-Schwarzweller
Algebraic Extensions. Formaliz. Math. 29 (1) (2021)
Christoph Schwarzweller, Agnieszka Rowinska-Schwarzweller
Quadratic Extensions. Formaliz. Math. 29 (4) (2021)
Christoph Schwarzweller
Ring and Field Adjunctions, Algebraic Elements and Minimal Polynomials. Formaliz. Math. 28 (3) (2020)
Christoph Schwarzweller
Renamings and a Condition-free Formalization of Kronecker's Construction. Formaliz. Math. 28 (2) (2020)
Christoph Schwarzweller
On Roots of Polynomials over F[X]/ 〈p〉. Formaliz. Math. 27 (2) (2019)
Christoph Schwarzweller
Field Extensions and Kronecker's Construction. Formaliz. Math. 27 (3) (2019)
Christoph Schwarzweller
On Monomorphisms and Subfields. Formaliz. Math. 27 (2) (2019)
Christoph Schwarzweller
On the Intersection of Fields F with F [X]. Formaliz. Math. 27 (3) (2019)
Christoph Schwarzweller
Representation Matters: An Unexpected Property of Polynomial Rings and its Consequences for Formalizing Abstract Field Theory. FedCSIS (2018)
Christoph Schwarzweller
On Roots of Polynomials and Algebraically Closed Fields. Formaliz. Math. 25 (3) (2017)
Christoph Schwarzweller
Ordered Rings and Fields. Formaliz. Math. 25 (1) (2017)
Christoph Schwarzweller
Formally Real Fields. Formaliz. Math. 25 (4) (2017)
Christoph Schwarzweller, Artur Kornilowicz
Some Algebraic Properties of Polynomial Rings. Formaliz. Math. 24 (3) (2016)
Adam Grabowski, Artur Kornilowicz, Christoph Schwarzweller
On algebraic hierarchies in mathematical repository of Mizar. FedCSIS (2016)
Adam Grabowski, Artur Kornilowicz, Christoph Schwarzweller
Equality in computer proof-assistants. FedCSIS (2015)
Christoph Schwarzweller, Artur Kornilowicz
Characteristic of Rings. Prime Fields. Formaliz. Math. 23 (4) (2015)
Christoph Schwarzweller
Proth Numbers. Formaliz. Math. 22 (2) (2014)
Artur Kornilowicz, Christoph Schwarzweller
The First Isomorphism Theorem and Other Properties of Rings. Formaliz. Math. 22 (4) (2014)
Agnieszka Rowinska-Schwarzweller, Christoph Schwarzweller
A Test for the Stability of Networks. Formaliz. Math. 21 (1) (2013)
Adam Grabowski, Christoph Schwarzweller
Towards Automatically Categorizing Mathematical Knowledge. FedCSIS (2012)
Christoph Schwarzweller
Introduction to Rational Functions. Formaliz. Math. 20 (2) (2012)
Agnieszka Rowinska-Schwarzweller, Christoph Schwarzweller
On Building a Knowledge Base for Stability Theory CoRR (2010)
Adam Grabowski, Christoph Schwarzweller
On Duplication in Mathematical Repositories. AISC/MKM/Calculemus (2010)
Adam Grabowski, Christoph Schwarzweller
On Duplication in Mathematical Repositories CoRR (2010)
Agnieszka Rowinska-Schwarzweller, Christoph Schwarzweller
On Building a Knowledge Base for Stability Theory. AISC/MKM/Calculemus (2010)
Christoph Schwarzweller
Modular Integer Arithmetic. Formaliz. Math. 16 (1-4) (2008)
Agnieszka Rowinska-Schwarzweller, Christoph Schwarzweller
Towards Mathematical Knowledge Management for Electrical Engineering. Calculemus/MKM (2007)
Adam Grabowski, Christoph Schwarzweller
Revisions as an Essential Tool to Maintain Mathematical Repositories. Calculemus/MKM (2007)
Adam Grabowski, Christoph Schwarzweller
Translating Mathematical Vernacular into Knowledge Repositories. MKM (2005)
Christoph Schwarzweller
Gröbner Bases - Theory Refinement in the Mizar System. MKM (2005)
Adam Grabowski, Christoph Schwarzweller
Rough Concept Analysis - Theory Development in the Mizar System. MKM (2004)
Christoph Schwarzweller
Designing Mathematical Libraries Based on Requirements for Theorems. Ann. Math. Artif. Intell. 38 (1-3) (2003)
Piotr Rudnicki, Christoph Schwarzweller, Andrzej Trybulec
Commutative Algebra in the Mizar System. J. Symb. Comput. 32 (1/2) (2001)
Christoph Schwarzweller
Mizar Correctness Proofs of Generic Fraction Field Arithmetic. Generic Programming (1998)

Christoph Schwarzweller.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christoph Schwarzweller