| Publication | Date of Publication | Type |
|---|
Characterization of finite Galois extensions
Formalized Mathematics | 2026-03-23 | Paper |
Finite fields
Formalized Mathematics | 2025-06-30 | Paper |
Some standard examples of vector spaces
Formalized Mathematics | 2025-06-30 | Paper |
Separable polynomials and separable extensions
Formalized Mathematics | 2024-10-29 | Paper |
Ring and field adjunctions, algebraic elements and minimal polynomials
Formalized Mathematics | 2024-08-26 | Paper |
Simple extensions
Formalized Mathematics | 2024-06-18 | Paper |
Extensions of orderings
Formalized Mathematics | 2024-06-18 | Paper |
Existence and uniqueness of algebraic closures
Formalized Mathematics | 2024-06-18 | Paper |
Splitting fields for the rational polynomials \(X^2 -2\), \(X^2+X+1\), \(X^3 -1\), and \(X^3 -2\)
Formalized Mathematics | 2024-04-22 | Paper |
Artin's theorem towards the existence of algebraic closures
Formalized Mathematics | 2024-04-22 | Paper |
Normal extensions
Formalized Mathematics | 2024-04-17 | Paper |
Quadratic extensions
Formalized Mathematics | 2022-09-09 | Paper |
Splitting fields
Formalized Mathematics | 2022-03-29 | Paper |
Renamings and a condition-free formalization of Kronecker's construction
Formalized Mathematics | 2022-03-14 | Paper |
Algebraic extensions
Formalized Mathematics | 2021-11-17 | Paper |
Field extensions and Kronecker's construction
Formalized Mathematics | 2020-03-10 | Paper |
On the intersection of fields \(F\) with \(F[X]\)
Formalized Mathematics | 2020-03-10 | Paper |
On monomorphisms and subfields
Formalized Mathematics | 2019-11-19 | Paper |
On roots of polynomials over \(F[X]/<p>\)
Formalized Mathematics | 2019-11-19 | Paper |
Formally real fields
Formalized Mathematics | 2018-10-16 | Paper |
On roots of polynomials and algebraically closed fields
Formalized Mathematics | 2018-01-11 | Paper |
Ordered rings and fields
Formalized Mathematics | 2017-06-07 | Paper |
Some algebraic properties of polynomial rings
Formalized Mathematics | 2017-03-15 | Paper |
Proth numbers
Formalized Mathematics | 2017-01-06 | Paper |
Characteristic of rings. Prime fields
Formalized Mathematics | 2016-04-20 | Paper |
The first isomorphism theorem and other properties of rings
Formalized Mathematics | 2015-07-14 | Paper |
A test for the stability of networks
Formalized Mathematics | 2013-10-08 | Paper |
Introduction to rational functions
Formalized Mathematics | 2013-10-08 | Paper |
On duplication in mathematical repositories
Lecture Notes in Computer Science | 2010-08-24 | Paper |
On building a knowledge base for stability theory
Lecture Notes in Computer Science | 2010-08-24 | Paper |
Revisions as an Essential Tool to Maintain Mathematical Repositories
Towards Mechanized Mathematical Assistants | 2007-11-28 | Paper |
Towards Mathematical Knowledge Management for Electrical Engineering
Towards Mechanized Mathematical Assistants | 2007-11-28 | Paper |
Mathematical Knowledge Management
Lecture Notes in Computer Science | 2007-02-12 | Paper |
Mathematical Knowledge Management
Lecture Notes in Computer Science | 2007-02-12 | Paper |
Mathematical Knowledge Management
Lecture Notes in Computer Science | 2005-08-26 | Paper |
Commutative algebra in the Mizar system
Journal of Symbolic Computation | 2004-08-06 | Paper |
Designing mathematical libraries based on requirements for theorems
Annals of Mathematics and Artificial Intelligence | 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 |
| scientific article; zbMATH DE number 1194184 (Why is no real title available?) | 1998-08-24 | Paper |
