Математика

Intel® Math Kernel Library (Intel® MKL) обеспечивает выполнение высокооптимизированных многопоточных математических операций для научных, инженерных и финансовых приложений, требующих наибольшей производительности.

Тип приложения: библиотека
Сайт разработчика: http://software.intel.com/en-us/articles/intel-mkl/
Что почитать?

• Intel Math Kernel Library 10.1.1.022 for Win &10.1.1.019 for Linux
• Среда параллельного программирования MPI

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

Тип приложения: библиотека
Сайт разработчика: http://www.cs.sandia.gov/CRF/aztec1.html
Что почитать?

• ИСПОЛЬЗОВАНИЕ БИБЛИОТЕКИ ПАРАЛЛЕЛЬНЫХ ПОДПРОГРАММ Aztec
• Специализированные параллельные библиотеки

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

Тип приложения: библиотека
Сайт разработчика: http://www.netlib.org/scalapack/
Что почитать?

• Общее описание назначения, организации и структуры комплекса
• Библиотеки подпрограмм для многопроцессорных вычислительных систем
• Библиотеки численного анализа
• Intel Math Kernel Library версии 10.1 - ScaLAPACK
• Специализированные параллельные библиотеки
• ScaLAPACK. Материал из Википедии

FLAME - это проект по созданию современной библиотеки для линейной алгебры. В целом, он обратно совместим с BLAS и LAPACK, большое внимание уделяется понятной записи и верифицируемости алгоритмов, есть несколько разных API (C, Matlab/Octave), поддерживаются вычисления на GPU.

Тип приложения: библиотека
Сайт разработчика: http://z.cs.utexas.edu/wiki/flame.wiki/FrontPage
Что почитать?

• Basic Linear Algebra Subprograms. Материал из Википедии
• Обзор свободных программ для численных расчётов

Magma — компьютерно-алгебраическая система для вычислений в алгебре, теории чисел, алгебраической геометрии и алгебраической комбинаторике.

Сайт разработчика: http://magma.maths.usyd.edu.au/magma/
Что почитать?

• PARI/GP и MAGMA

Macaulay2 – специализированная система для исследований в области алгебраической геометрии и коммутативной алгебры. Распространяется по условиям GNU General Public License лицензии, версии 2.

Сайт разработчика: http://www.math.uiuc.edu/Macaulay2/
Что почитать?

• Пакет BIBasis для вычисления булевых инволютивных базисов и базисов Грёбнера в системах компьютерной алгебры REDUCE и Macaulay2

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

Тип приложения: консольная программа
Сайт разработчика: http://www.open-axiom.org/index.html
Что почитать?

• Релиз OpenAxiom 1.4.0
• Некоторые системы символьных вычислений с открытым кодом

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

Сайт разработчика: http://cocoa.dima.unige.it/WhatIsCoCoA/WhatIsCoCoA-Russian.html
Что почитать?

• Что такое CoCoA?

Система автоматизации доказательств для логики высших порядков.

Сайт разработчика: http://hol.sourceforge.net/

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

Сайт разработчика: http://www.cs.utexas.edu/users/moore/acl2/