Образовательное математическое программное обеспечение

Вики

Coq (программное обеспечение)

/

Coq (программное обеспечение) Обзор Coq Coq – это инструмент для доказательства теорем, выпущенный в 1989 году.  Он позволяет выражать математические […]

Вики

Матита

/

Матита Обзор инструмента Matita Matita – это ассистент по экспериментальному тестированию в Болонском университете.  Инструмент объединяет формальные доказательства, исполняемые алгоритмы

Вики

Система Мицар

/

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

Вики

Coq (программное обеспечение)

/

Coq (программное обеспечение) Обзор Coq Coq – это инструмент для доказательства теорем, выпущенный в 1989 году.  Он позволяет выражать математические

Вики

ВольфрамАльфа

/

Вольфрамальфа WolframAlpha – поисковик ответов, разработанный компанией Wolfram Research.  Он предлагает онлайн-сервис, который отвечает на фактические запросы, вычисляя ответы на

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