Metadata: The Mizar Project

Data Source: SUB

BIBLIOGRAPHIC DATA
TitleThe Mizar Project
AuthorRudnicki, Piotr <piotr@cs.ualberta.ca>
Trybulec, A.
PublisherDepartment of Computer Science, University of Alberta: Edmonton, CA (AB)
LanguageEnglish
Country (State)Canada (AB)
Format of datatext/html; tar; gz
KeywordsEdmonton; Alberta; Mizar; logic; software; proof theory; formal language
Description"The Mizar project is a long-term effort aimed at developing software to support a working mathematician in preparing papers. A. Trybulec, the leader of the project, has designed a language for writing formal mathematics. The logical structure of the language is based on a natural deduction system developed by Jaskowski. The texts written in the language are called Mizar articles and are organized into a data base. The Tarski-Grothendieck set theory forms the basis of doing mathematics in Mizar. The implemented processor of the language checks the articles for logical consistency and correctness of references to other articles. "
URLhttp://www.cs.ualberta.ca/~piotr/Mizar/
Contained inhttp://www.cs.ualberta.ca/~piotr/
 
CLASSIFICATION
Source TypeSoftware and Expert Systems
MSCverbalMathematical logic and foundations; Explicit machine computation; Set theory; Abstract deductive systems
MSC03-04; 03Exx; 03B22
 
ADDITIONAL INFORMATION
Accessfree; no restriction
Contents**
Levelundergraduate - professional
 
STATISTICS
Server Statisticsabout 3200 hits since March 1996
Backlinks40
© SSG-FI1999-04-29 (revised 2010-03-01)


FID Mathfidmath | MathGuideMathGuide |Subject CatalogSubject |Source Type CatalogSource Type |SearchLocal Search

This document was created using Allegro V36.

© SSG-FI, SUB Göttingen, 1997-2013