Designing mathematical libraries based on requirements for theorems
type: Item
instance of: scholarly article
title: Designing mathematical libraries based on requirements for theorems
zbMATH Open document ID: 1023.68130
DOI: 10.1023/A:1022924032739
author: Christoph Schwarzweller
published in: Annals of Mathematics and Artificial Intelligence
publication date: 2003-06-09T00:00:00Z
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68T30
Mathematics Subject Classification ID: 68T35
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 1924979
zbMATH Keywords: mechanized reasoning
zbMATH Keywords: reuse of theorems
zbMATH Keywords: requirements for theorems
zbMATH Keywords: mathematical libraries
zbMATH Keywords: the Mizar system
zbMATH Keywords: generic algorithms
describes a project that uses: Theorema
describes a project that uses: Mizar
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1924979