Results

**1 - 2**of**2**### Formalization of the Tietze extension theorem in MIZAR ⋆

"... Abstract – In this paper we report on the formalization of the Tietze extension theorem using the MIZAR system. This theorem has been formalized as a part of the project aimed at formalizing the Jordan curve theorem. However, this development has turned out to be also useful for other formalizations ..."

Abstract
- Add to MetaCart

(Show Context)
Abstract – In this paper we report on the formalization of the Tietze extension theorem using the MIZAR system. This theorem has been formalized as a part of the project aimed at formalizing the Jordan curve theorem. However, this development has turned out to be also useful for other formalizations. 1.

### A Proof of the Jordan Curve Theorem via the Brouwer Fixed Point Theorem

"... Abstract – The aim of the paper is to report on MIZAR codification of the Jordan curve theorem, a theorem chosen as a challenge to be completely verified using formal methods at the time when they started being commonly used. Formalization was done based on proofs taken from the literature, where th ..."

Abstract
- Add to MetaCart

(Show Context)
Abstract – The aim of the paper is to report on MIZAR codification of the Jordan curve theorem, a theorem chosen as a challenge to be completely verified using formal methods at the time when they started being commonly used. Formalization was done based on proofs taken from the literature, where theorems mentioned in the title of the paper from ”Brouwer’s Fixed Point Theorem and the