| Property |
Value |
| dbo:abstract
|
- Das Mizar-System besteht aus einer formalen Sprache, um mathematische Definitionen und Beweise zu schreiben, einem Beweisassistenten, der in dieser Sprache erfasste Beweise mechanisch prüft, und einer Bibliothek formalisierter Mathematik, auf welche im Beweis neuer Theoreme zurückgegriffen werden kann. Das System wird vom Mizar Project, früher unter der Leitung seines Gründers Andrzej Trybulec, unterhalten und weiterentwickelt. Die Mizar Mathematical Library ist die weltweit größte Sammlung strikt formalisierter Mathematik. (de)
- Das Mizar-System besteht aus einer formalen Sprache, um mathematische Definitionen und Beweise zu schreiben, einem Beweisassistenten, der in dieser Sprache erfasste Beweise mechanisch prüft, und einer Bibliothek formalisierter Mathematik, auf welche im Beweis neuer Theoreme zurückgegriffen werden kann. Das System wird vom Mizar Project, früher unter der Leitung seines Gründers Andrzej Trybulec, unterhalten und weiterentwickelt. Die Mizar Mathematical Library ist die weltweit größte Sammlung strikt formalisierter Mathematik. (de)
|
| dbo:developer
| |
| dbo:influenced
| |
| dbo:influencedBy
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageRevisionID
| |
| prop-de:erscheinungsjahr
| |
| prop-de:paradigma
| |
| prop-de:typisierung
| |
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Das Mizar-System besteht aus einer formalen Sprache, um mathematische Definitionen und Beweise zu schreiben, einem Beweisassistenten, der in dieser Sprache erfasste Beweise mechanisch prüft, und einer Bibliothek formalisierter Mathematik, auf welche im Beweis neuer Theoreme zurückgegriffen werden kann. Das System wird vom Mizar Project, früher unter der Leitung seines Gründers Andrzej Trybulec, unterhalten und weiterentwickelt. Die Mizar Mathematical Library ist die weltweit größte Sammlung strikt formalisierter Mathematik. (de)
- Das Mizar-System besteht aus einer formalen Sprache, um mathematische Definitionen und Beweise zu schreiben, einem Beweisassistenten, der in dieser Sprache erfasste Beweise mechanisch prüft, und einer Bibliothek formalisierter Mathematik, auf welche im Beweis neuer Theoreme zurückgegriffen werden kann. Das System wird vom Mizar Project, früher unter der Leitung seines Gründers Andrzej Trybulec, unterhalten und weiterentwickelt. Die Mizar Mathematical Library ist die weltweit größte Sammlung strikt formalisierter Mathematik. (de)
|
| rdfs:label
|
- Mizar-System (de)
- Mizar-System (de)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:homepage
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
| |
| foaf:page
| |
| is dbo:wikiPageDisambiguates
of | |
| is foaf:primaryTopic
of | |
