Christoph Schwarzweller

Available identifiers

zbMath Open schwarzweller.christophMaRDI QIDQ271901

List of research outcomes

Publication	Date of Publication	Type
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
On the intersection of fields \(F\) with \(F[X\)]	2020-03-10	Paper
Field extensions and Kronecker's construction	2020-03-10	Paper
On roots of polynomials over \(F[X/ \)]	2019-11-19	Paper
On monomorphisms and subfields	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
Introduction to Rational Functions	2013-10-08	Paper
A Test for the Stability of Networks	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
https://portal.mardi4nfdi.de/entity/Q2767927	2002-02-14	Paper
https://portal.mardi4nfdi.de/entity/Q2751549	2001-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q3842177	1998-08-24	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Christoph Schwarzweller