Coq - это вспомогательный инструмент для доказательств в высокоуровневой логике, который делает разработку компьютерных программ совметимой с их формальным описанием. Он разработан с использованием Objective Caml и Camlp5.
Сайт разработчика:
Что почитать?
Разместил:
Многофункциональный графический научный калькулятор.
Тип приложения: другие программы для графического режима
Сайт разработчика:
Страница приложения на:
Что почитать?
Разместил:
Cantor - это оболочка KDE для математического ПО. Поддерживаются 4 различных окружения (Maxima, R, SAGE, KAlgebra).
Тип приложения: графические программы на основе библиотеки Qt
Сайт разработчика:
Разместил:
Cadabra — система компьютерной алгебры, специализирующаяся на решении проблем, встречающихся в теории поля.
Сайт разработчика:
Разместил:
ARIBAS - это интерактивный интерпретатор, пригодный для работы с большими целыми числами и числами с плавающей точкой разной точности. Его синтаксис похож на язык Pascal и Modula-2, но также содержит особенности других языков программирования - C, Lisp, Oberon.
Сайт разработчика:
Что почитать?
Разместил:
Calc - это вычислительная система произвольной точности со встроенным C-подобным языком. Calc можно использовать как калькулятор, средство разработки прототипов алгоритма и для математических исследований.
Тип приложения: консольная программа
Сайт разработчика:
Разместил:
LabPlot — свободное программное обеспечение для анализа и визуализации научных данных, созданное для свободной среды рабочего стола KDE. По функциональности LabPlot схожа с проприетарным пакетом программ Origin и может работать с файлами данных Origin (файлы с расширением .m).
Тип приложения: графические программы на основе библиотеки Qt
Сайт разработчика:
Разместил:
OpenOpt Suite — это свободный набор пакетов OpenOpt, FuncDesigner, DerApproximator и SpaceFuncs, написанных на Python усилиями украинских разработчиков и предназначенных для выполнения научно-технических расчетов.
Тип приложения: другие программы для графического режима
Сайт разработчика:
Разместил:
WavePacket представляет собой пакет программ для системы MatLab, предназначенный для численного моделирования динамики квантовомеханических волновых пакетов, опционально, взаимодействующих с электрическими полями.
Тип приложения: другие программы для графического режима
Сайт разработчика:
Разместил:
SuiteSparse - это набор функций на C, Fortran и MATLAB для операций с разреженными матрицами.
Сайт разработчика:
Разместил: