Обучается переводу с помощью примеров, переведенных людьми.
Добавлены профессиональными переводчиками и компаниями и на основе веб-страниц и открытых баз переводов.
* mizar system http://mizar.uwb.edu.pl
von roman matuszewski u. anna zalewska.
Последнее обновление: 2016-03-03
Частота использования: 2
Качество:
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.
Последнее обновление: 2016-03-03
Частота использования: 2
Качество:
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.
Последнее обновление: 2016-03-03
Частота использования: 2
Качество:
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.
Последнее обновление: 2016-03-03
Частота использования: 2
Качество: