Mathematical societies

Вики

Общество кватернионов — Википедия

Общество кватерниона История Общества кватернионов Общество кватернионов было научным сообществом, занимавшимся изучением кватернионов и смежных систем.  В состав общества входили

Вики

Система Мицар — Википедия

Система Mizar Система Mizar Mizar — это формальный язык для математических определений и доказательств с автоматическим помощником проверки.  Проект Mizar

Прокрутить вверх