Математика

ACL2

ACL2 - язык программирования, на котором Вы можете смоделировать компьютерные системы, и инструмент, чтобы помочь Вам доказать свойства этих моделей.

ALGLIB

ALGLIB - это кросс-платформенная библиотека численного анализа, поддерживающая несколько языков программирования (C++, C#, Pascal, VBA) и несколько операционных систем (Windows, Linux, Solaris).

AnalyticMath

AnalyticMath - это свободное, кросс-платформенное (Windows, Linux, etc.) программное обеспечение, которое предназначено для визуализации и визуального анализа (построения графиков) математических функций.

Apophenia

Oткрытая статистическая библиотека для работы с наборами данных и статистическими или симуляционными моделями.

Approximator

Approximator - программа для аппроксимации экспериментальных данных (20 зависимостей на выбор, экспорт/импорт из csv/xml, отображение графиков).

ARIBAS

ARIBAS - это интерактивный интерпретатор, пригодный для работы с большими целыми числами и числами с плавающей точкой разной точности. Его синтаксис похож на язык Pascal и Modula-2, но также содержит особенности других языков программирования - C, Lisp, Oberon.

Automatically Tuned Linear Algebra Software (ATLAS)

Automatically Tuned Linear Algebra Software (ATLAS) — программная библиотека для линейной алгебры. Она представляет собой реализацию BLAS для языков Си и Фортран.

Axiom

Axiom — свободная система компьютерной алгебры общего назначения. Она состоит из среды интерпретатора, компилятора и библиотеки, описывающей строго типизированную, математически правильную иерархию типов.

Aztec

Aztec - параллельная библиотека итерационных методов для решения систем линейных уравнений, эффективная, с доступным исходным кодом, но несвободной лицензией.

BLAS

BLAS (англ. Basic Linear Algebra Subprograms — базовые подпрограммы линейной алгебры) — стандарт де-факто интерфейса программирования приложений для создания библиотек, выполняющих основные операции линейной алгебры, такие как умножение векторов и матриц. Он был впервые опубликован в 1979 и использован для создания бо́льших пакетов, например LAPACK.

Cadabra

Cadabra — система компьютерной алгебры, специализирующаяся на решении проблем, встречающихся в теории поля.

Calc

Calc - это вычислительная система произвольной точности со встроенным C-подобным языком. Calc можно использовать как калькулятор, средство разработки прототипов алгоритма и для математических исследований.

Calcoo

Hаучный калькулятор, разработанный, чтобы обеспечить максимальное удобство и простоту использования.

Cantor

Cantor - это оболочка KDE для математического ПО. Поддерживаются 4 различных окружения (Maxima, R, SAGE, KAlgebra).

CGAL (Computational Geometry Algorithms Library)

CGAL (Computational Geometry Algorithms Library) - библиотека структур данных и алгоритмов вычислительной геометрии. Написана на C++.

CoCoA

CoCoA (Computations in Commutative Algebra) - это программа, выполняющая вычисления с числами и многочленами. Распространяется свободно.

Coq

Coq - это вспомогательный инструмент для доказательств в высокоуровневой логике, который делает разработку компьютерных программ совметимой с их формальным описанием. Он разработан с использованием Objective Caml и Camlp5.

Dataplot

DATAPLOT представляет собой гибкую и многофункциональную систему для визуализации данных, используемых в научных исследованиях, статистическом анализе и в нелинейном моделировании.

DOLFIN

DOLFIN - это интерфейс к программам проекта FEniCS (коллекция свободного ПО для автоматизированного решения дифференциальных уравнений), обеспечивающий среду для решения обыкновенных и частных дифференциальных уравнений.

Dr. Geo

Dr. Geo - обучающая интерактивная геометрическая программа, позволяющая пользователю создавать геометрические фигуры, которыми затем можно манипулировать в соответствии с законами геометрии.