An example of formalizing recent mathematical results in MIZAR
type: Item
instance of: scholarly article
title: An example of formalizing recent mathematical results in MIZAR
zbMATH Open document ID: 1107.68100
author: Adam Naumowicz
published in: Journal of Applied Logic
publication date: 2007-02-20T00:00:00Z
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 5128345
zbMATH Keywords: formalizing mathematics
zbMATH Keywords: MIZAR
describes a project that uses: Mizar
MaRDI profile type: Publication
full work available at URL: j.jal.2005.10.003
OpenAlex ID: W2045864901
cites work: Development of the theory of continuous lattices in MIZAR
cites work: A compendium of continuous lattices in MIZAR
cites work: Q3898534
cites work: Q4187337
cites work: Mathematical Knowledge Management
cites work: On Segre's product of partial line spaces and spaces of pencils
cites work: The geometry of generalized Veronese spaces
cites work: Q4413892
cites work: Q4725244
cites work: On Better-Quasi-Ordering Countable Series-Parallel Orders
DOI: 10.1016/J.JAL.2005.10.003
description: scientific article; zbMATH DE number 5128345