您搜索了: mizar system armor (英语 - 德语)

* mizar system http://mizar.uwb.edu.pl
von roman matuszewski u. anna zalewska.

papers related to the mizar system regularly appear in the peer-reviewed journals of the mathematic formalization academic community.
papers im zusammenhang mit dem mizar-system erscheinen regelmäßig in fachzeitschriften der akademischen gesellschaft für mathematische formalisierung.

its current goal, apart from the continual development of the mizar system, is the collaborative creation of a large library of formally verified proofs, covering most of the core of modern mathematics.
das momentane ziel, neben weiterentwicklung des mizar-systems, ist die kollaborative erstellung einer großen bibliothek formal verifizierter beweise, die den großteil der modernen mathematik abdecken soll.

the mizar system consists of a formal language for writing mathematical definitions and proofs, a proof assistant which is able to mechanically check proofs written in this language, and a library of formalized mathematics which can be used in the proof of new theorems.
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.