Mathematical Knowledge Management
type: Item
instance of: scholarly article
title: Mathematical Knowledge Management
zbMATH Open document ID: 1151.68659
DOI: 10.1007/11618027
author: Serge Autexier
author: Armin Fiedler
published in: Lecture Notes in Computer Science
publication date: 2007-02-12T00:00:00Z
Mathematics Subject Classification ID: 68T30
Mathematics Subject Classification ID: 00A35
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 5124332
describes a project that uses: MathLang
describes a project that uses: Isar
describes a project that uses: Mizar
describes a project that uses: OMEGA
MaRDI profile type: MaRDI publication profile
full work available at URL: https://doi.org/10.1007/11618027
OpenAlex ID: W2480281325
Recommended article: Formal Proof: Reconciling Correctness and Understanding
Recommended article: The Granularity of Meaning in Proof-Theoretic Semantics
Recommended article: Explicit Proofs in Formal Provability Logic
Recommended article: Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
Recommended article: Q3101071
Recommended article: Q5477944
Recommended article: Q5302560
Recommended article: Proofs and countermodels in non-classical logics
Recommended article: Provability logic—a short introduction
description: scientific article; zbMATH DE number 5124332