Christoph Schwarzweller

Available identifiers

zbMath Open schwarzweller.christophMaRDI QIDQ271901

List of research outcomes

Publication	Date of Publication	Type
Separable polynomials and separable extensions	2024-10-29	Paper
Ring and field adjunctions, algebraic elements and minimal polynomials	2024-08-26	Paper
Simple extensions	2024-06-18	Paper
Extensions of orderings	2024-06-18	Paper
Existence and uniqueness of algebraic closures	2024-06-18	Paper
Splitting fields for the rational polynomials \(X^2 -2\), \(X^2+X+1\), \(X^3 -1\), and \(X^3 -2\)	2024-04-22	Paper
Artin's theorem towards the existence of algebraic closures	2024-04-22	Paper
Normal extensions	2024-04-17	Paper
Quadratic extensions	2022-09-09	Paper
Splitting fields	2022-03-29	Paper
Renamings and a condition-free formalization of Kronecker's construction	2022-03-14	Paper
Algebraic extensions	2021-11-17	Paper
Field extensions and Kronecker's construction	2020-03-10	Paper
On the intersection of fields \(F\) with \(F[X]\)	2020-03-10	Paper
On monomorphisms and subfields	2019-11-19	Paper
On roots of polynomials over \(F[X]/ \)	2019-11-19	Paper
Formally real fields	2018-10-16	Paper
On roots of polynomials and algebraically closed fields	2018-01-11	Paper
Ordered rings and fields	2017-06-07	Paper
Some algebraic properties of polynomial rings	2017-03-15	Paper
Proth numbers	2017-01-06	Paper
Characteristic of rings. Prime fields	2016-04-20	Paper
The first isomorphism theorem and other properties of rings	2015-07-14	Paper
A test for the stability of networks	2013-10-08	Paper
Introduction to rational functions	2013-10-08	Paper
On Duplication in Mathematical Repositories	2010-08-24	Paper
On Building a Knowledge Base for Stability Theory	2010-08-24	Paper
Revisions as an Essential Tool to Maintain Mathematical Repositories	2007-11-28	Paper
Towards Mathematical Knowledge Management for Electrical Engineering	2007-11-28	Paper
Mathematical Knowledge Management	2007-02-12	Paper
Mathematical Knowledge Management	2007-02-12	Paper
Mathematical Knowledge Management	2005-08-26	Paper
Commutative algebra in the Mizar system	2004-08-06	Paper
Designing mathematical libraries based on requirements for theorems	2003-06-09	Paper
Designing mathematical libraries based on minimal requirements for theorems	2002-02-14	Paper
Defining power series and polynomials in Mizar	2001-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q3842177	1998-08-24	Paper

Research outcomes over time

This page was built for person: Christoph Schwarzweller