Математика

OpenAxiom

Один из форков Axiom, кроссплатформенной системы компьютерной алгебры.

OpenFOAM

OpenFOAM (англ. Open Source Field Operation And Manipulation CFD ToolBox) — открытая интегрируемая платформа для численного моделирования задач механики сплошных сред.

OpenOpt Suite

OpenOpt Suite — это свободный набор пакетов OpenOpt, FuncDesigner, DerApproximator и SpaceFuncs, написанных на Python усилиями украинских разработчиков и предназначенных для выполнения научно-технических расчетов.

OTTER

OTTER - программа автоматического доказательства теорем

Overture

Overture - объектно-ориентированная платформа для решения дифференциальных уравнений в частных производных, пакет C++ библиотек для расчётов на сложных и перекрывающихся сетках методами конечных разностей и конечных объёмов, поддерживает MPI, основной упор на гидродинамику и теорию горения.

Parallel Three-Dimensional Fast Fourier Transforms (P3DFFT)

Parallel Three-Dimensional Fast Fourier Transforms (сокращенно P3DFFT) - это библиотека для вычисления трехмерного быстрого преобразования Фурье, используя двумерную декомпозицию.

PARI/GP

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

Prover9

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

PSPP

PSPP - программа для статистического анализа выбранных данных. Она интерпретирует команды на языке SPSS и выводит таблицы в ASCII, HTML, или PostScript формате.

Pyecm

Pyecm - это программа на Python для факторизации (разложения на множители) больших чисел (до 50 разрядов), использующая метод эллиптических кривых (Elliptic Curve Method - ECM).

Qalculate!

Qalculate! — универсальный калькулятор, имеющий QT и GTK графический интерфейс. Написан на C++ .

QtiPlot

QtiPlot - приложение для профессионального анализа и графического представления (визуализации) научных данных.

QtOctave

Qt интерфейс к популярной программе для математических расчетов Octave, аналога Matlab.

Quickplot

Quickplot - это приложение для быстрого построения двумерных графиков, обеспечивающее просмотр в увеличенном масштабе, показ значений, ввод из файла. Его основное предназначение - просмотр данных, а не редактирование графиков.

Regina

Regina - это программное обеспечение для топологии. Оно предназначено для изучения 3-точечных триангуляций и нормальных поверхностей.

RLPlot

RLPlot - программа для создания графиков научных данных. Эти данные могут как вводится вручную, так и копироваться из табличных процессоров (Excel, KSpread и т.п.). RLPlot позиционируется как более легкая замена gnuplot.

SAGE

Sage (анг. 'Мудрец') — система компьютерной алгебры покрывающая много областей математики, включая алгебру, комбинаторику, вычислительную математику и матанализ.

ScaLAPACK

ScaLAPACK является стандартным пакетом процедур для решения задач линейной алгебры на многопроцессорных машинах с распределенной памятью (кластерах). Библиотека ScaLAPACK является компонентом пакета функций линейной алгебры (LAPACK), разработанного для эффективного функционирования в мультипроцессорной среде с распределенной памятью.

SciDAVis

SciDAVis — свободное бесплатное программное обеспечение для анализа и визуализации научных данных, написанное с использованием Qt и распространяемое под лицензией GNU GPL. Форк проекта QtiPlot.

Scilab

Scilab — пакет прикладных математических программ, предоставляющий мощное открытое окружение для инженерных (технических) и научных расчётов.