Christoph Schwarzweller

Formaliz. Math., 2024

2023

Simple Extensions.

[BibT_eX]

[DOI]

Formaliz. Math., September, 2023

Extensions of Orderings.

[BibT_eX]

[DOI]

Formaliz. Math., September, 2023

Normal Extensions.

[BibT_eX]

[DOI]

Formaliz. Math., September, 2023

Developing Field Theory in Mizar.

[BibT_eX]

[DOI]

Proceedings of the 18th Conference on Computer Science and Intelligence Systems, 2023

2022

Existence and Uniqueness of Algebraic Closures.

[BibT_eX]

[DOI]

Formaliz. Math., December, 2022

Splitting Fields for the Rational Polynomials X2-2, X2+X+1, X3-1, and X3-2.

[BibT_eX]

[DOI]

Sara Burgoa

Formaliz. Math., 2022

Artin's Theorem Towards the Existence of Algebraic Closures.

[BibT_eX]

[DOI]

Formaliz. Math., 2022

2021

Quadratic Extensions.

[BibT_eX]

[DOI]

Formaliz. Math., 2021

Algebraic Extensions.

[BibT_eX]

[DOI]

Formaliz. Math., 2021

Splitting Fields.

[BibT_eX]

[DOI]

Formaliz. Math., 2021

2020

Ring and Field Adjunctions, Algebraic Elements and Minimal Polynomials.

[BibT_eX]

[DOI]

Formaliz. Math., 2020

Renamings and a Condition-free Formalization of Kronecker's Construction.

[BibT_eX]

[DOI]

Formaliz. Math., 2020

2019

Field Extensions and Kronecker's Construction.

[BibT_eX]

[DOI]

Formaliz. Math., 2019

On the Intersection of Fields F with F [X].

[BibT_eX]

[DOI]

Formaliz. Math., 2019

On Monomorphisms and Subfields.

[BibT_eX]

[DOI]

Formaliz. Math., 2019

On Roots of Polynomials over F[X]/ 〈p〉.

[BibT_eX]

[DOI]

Formaliz. Math., 2019

2018

Representation Matters: An Unexpected Property of Polynomial Rings and its Consequences for Formalizing Abstract Field Theory.

[BibT_eX]

[DOI]

Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, 2018

2017

Formally Real Fields.

[BibT_eX]

[DOI]

Formaliz. Math., 2017

On Roots of Polynomials and Algebraically Closed Fields.

[BibT_eX]

[DOI]

Formaliz. Math., 2017

Ordered Rings and Fields.

[BibT_eX]

[DOI]

Formaliz. Math., 2017

2016

Some Algebraic Properties of Polynomial Rings.

[BibT_eX]

[DOI]

Formaliz. Math., 2016

On algebraic hierarchies in mathematical repository of Mizar.

[BibT_eX]

[DOI]

Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, 2016

2015

Characteristic of Rings. Prime Fields.

[BibT_eX]

[DOI]

Formaliz. Math., 2015

Equality in computer proof-assistants.

[BibT_eX]

[DOI]

Proceedings of the 2015 Federated Conference on Computer Science and Information Systems, 2015

2014

Proth Numbers.

[BibT_eX]

[DOI]

Formaliz. Math., 2014

The First Isomorphism Theorem and Other Properties of Rings.

[BibT_eX]

[DOI]

Formaliz. Math., 2014

2013

A Test for the Stability of Networks.

[BibT_eX]

[DOI]

Formaliz. Math., 2013

2012

Introduction to Rational Functions.

[BibT_eX]

[DOI]

Formaliz. Math., 2012

Towards Automatically Categorizing Mathematical Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Federated Conference on Computer Science and Information Systems, 2012

2010

On Building a Knowledge Base for Stability Theory.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

On Duplication in Mathematical Repositories.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2008

Modular Integer Arithmetic.

[BibT_eX]

[DOI]

Formaliz. Math., 2008

2007

Towards Mathematical Knowledge Management for Electrical Engineering.

[BibT_eX]

[DOI]

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

Revisions as an Essential Tool to Maintain Mathematical Repositories.

[BibT_eX]

[DOI]

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

2005

Gröbner Bases - Theory Refinement in the Mizar System.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

Translating Mathematical Vernacular into Knowledge Repositories.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

2004

Rough Concept Analysis - Theory Development in the Mizar System.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004

2003

Designing Mathematical Libraries Based on Requirements for Theorems.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2003

2001

Commutative Algebra in the Mizar System.

[BibT_eX]

[DOI]

Piotr Rudnicki

Andrzej Trybulec

J. Symb. Comput., 2001

1998

Mizar Correctness Proofs of Generic Fraction Field Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the Generic Programming, 1998

1997

MIZAR verification of generic algebraic algorithms.

[BibT_eX]

[DOI]