Hilbert II 0.04.06
Projekt Hilbert II je decentralizovaný přístup k ověřené a čitelné matematických znalostí. Jak je to název napovídá, je tento projekt v tradici Hilbertova programu. Hilbert II se chce stát svobodný, world wide matematické znalostní báze, která obsahuje...