Дошли руки собрать очередную версию LiveMath.
LiveMath — это LiveDVD, содержащий большой набор свободного математического ПО. Предполагается для использования в основном в демонстрационных целях, но может также использоваться для постоянной работы.
Картинка для привлечения внимания:
(на картинке слева вверху FriCAS считает интегралы в специальных функциях, а справа R выводит графики по данным, включенным в поставку для примера).
В этот раз LiveMath основан на Ubuntu 12.10 (Quantal), плюс некоторое количество дополнительного софта. LiveMath IV содержит (среди прочего):
Системы компьютерной алгебры:
- Maxima 5.27 (http://maxima.sourceforge.net) — полнофункциональная система аналитических вычислений.
- Fricas 1.1.8 (http://fricas.sourceforge.net) и OpenAxiom 1.4.1 (http://open-axiom.org) — обе актуальные версии мощной системы компьютерной алгебры Axiom.
- YaCas 1.3.2 (http://yacas.sourceforge.net) — еще одна система компьютерной алгебры.
- PARI/GP 2.5.1 (http://pari.math.u-bordeaux.fr/) — широко используемая компьютерно-алгебраическая система, разработанная для быстрых вычислений в теории чисел (факторизации, алгебраическая теория чисел, эллиптические кривые…).
- GAP 4r4p12 (http://www.gap-system.org/) — свободно распространяемый, открытый и расширяемый программный комплекс для применения в области вычислительной дискретной математики, в частности, теории групп.
- Mathomatic 15.8.2 (http://www.mathomatic.org/) — переносимая, универсальная программа, которая может решать, упрощать, группировать, дифференцировать, интегрировать и сравнивать алгебраические выражения.
Системы автоматизации доказательств:
- ACL2 4.3 (http://www.cs.utexas.edu/users/moore/acl2/) — язык программирования для моделирования компьютерных систем и средство, помогающее доказывать свойства этих моделей.
- Coq 8.3.pl4 (http://coq.inria.fr/) — система автоматизированного построения доказательств, с помощью которой, кроме всего прочего, была решена проблема четырех красок.
- Agda2 2.3.0 (http://wiki.portal.chalmers.se/agda/pmwiki.php) — язык программирования с зависимыми типами и система автоматизации доказательств.
- Prover9/Mace4, Otter и пр.
Системы численных вычислений:
- SciLab 5.3.3 (http://www.scilab.org/) — пакет научных программ для численных вычислений, предоставляющий мощное открытое окружение для инженерных и научных расчетов.
- GNU Octave 3.6.2 (http://www.octave.org/) — язык высокого уровня, предназначенный для выполнения математических вычислений;
- FreeMat 4.0 (http://freemat.sourceforge.net/) — свободная среда для быстрой разработки, научного прототипирования и обработки данных, имеет интерфейс и синтаксис языка, подобные MatLab.
- Yorick 2.2.02 (http://yorick.sourceforge.net/) -специализированный С-подобный язык для создания симуляторов с упором на скорость вычислений.
- Dynare 4.3.0 (http://www.dynare.org/).
Образовательные программы:
- Kig 4.9.2 (http://edu.kde.org/kig/), Geogebra 4.0.34.0 (http://geogebra.org), DrGeo 1.1.0 — интерактивная геометрия.
- KAlgebra 4.9.2
- KMPlot 4.9.2 — средство для построения графиков.
Обработка и визуализация данных:
- Gnuplot 4.6.0
- Mayavi2 4.1.0 (http://code.enthought.com/projects/mayavi/#Mayavi2) — открытый пакет научной 2D и 3D визуализации данных.
- OpenDX 4.4.4 (http://www.opendx.org/) — программное средство для анализа данных в графическом виде, визуализации научных данных.
- GGobi 2.1.10 (http://www.ggobi.org/) — среда визуализации многомерных данных;
- QtiPlot 0.9.8.8 — позиционируется как замена для Microcal Origin — программа для несложной статистической обработки данных, построения всяческих графиков.
- Grace 5.1.22 (http://plasma-gate.weizmann.ac.il/Grace/) — программа для подготовки двумерных графиков по чис
LiveMath III
Это продолжение к стародавнему посту: http://iportnov.blogspot.com/2007/09/livemath-livecd.html.
К сожалению, редко оказывается достаточно времени, чтобы собрать свежую версию LiveMath. Однако же вот, собрал. В этот раз LiveMath основан на Ubuntu 9.10 (Karmic) с добавлениями из Ubuntu Lucid и «Ubuntu Scientific Remix». LiveMath III содержит (среди прочего):
Системы компьютерной алгебры:
Maxima (http://maxima.sourceforge.net) — полнофункциональная система аналитических вычислений;
Fricas (http://fricas.sourceforge.net) — мощная система компьютерной алгебры;
YaCas (http://yacas.sourceforge.net) — еще одна система компьютерной алгебры;
PARI/GP (http://pari.math.u-bordeaux.fr/) — широко используемая компьютерно-алгебраическая система, разработанная для быстрых вычислений в теории чисел (факторизации, алгебраическая теория чисел, эллиптические кривые…);
GAP (http://www.gap-system.org/) — свободно распространяемый, открытый и расширяемый программный комплекс для применения в области вычислительной дискретной математики, в частности, теории групп;
Mathomatic (http://www.mathomatic.org/) — переносимая, универсальная программа, которая может решать, упрощать, группировать, дифференцировать, интегрировать и сравнивать алгебраические выражения;
Системы автоматизации доказательств:
ACL2 (http://www.cs.utexas.edu/users/moore/acl2/) — язык программирования для моделирования компьютерных систем и средство, помогающее доказывать свойства этих моделей;
Coq (http://coq.inria.fr/) — система автоматизированного построения доказательств, с помощью которой, кроме всего прочего, была решена проблема четырех красок;
Также Prover9/Mace4 и некоторые другие;
Системы численных вычислений:
SciLab (http://www.scilab.org/) — пакет научных программ для численных вычислений, предоставляющий мощное открытое окружение для инженерных и научных расчетов;
GNU Octave (http://www.octave.org/) — язык высокого уровня, предназначенный для выполнения математических вычислений;
FreeMat (http://freemat.sourceforge.net/) — свободная среда для быстрой разработки, научного прототипирования и обработки данных, имеет интерфейс и синтаксис языка, подобные MatLab;
Yorick (http://yorick.sourceforge.net/) — компактная программная среда, предназначенная для комплексного решения научно-инженерных вычислительных задач;
Образовательные программы:
Kig (http://edu.kde.org/kig/), Carmetal, DrGeo, GeoGebra — интерактивная геометрия;
KAlgebra;
Инструменты построения графиков — kmplot, gnuplot;
Обработка и визуализация данных:
Mayavi2 (http://code.enthought.com/projects/mayavi/#Mayavi2) — открытый пакет научной 2D и 3D визуализации данных;
OpenDX (http://www.opendx.org/) — программное средство для анализа данных в графическом виде, визуализации научных данных;
GGobi (http://www.ggobi.org/) — среда визуализации многомерных данных;
LabPlot (http://labplot.sourceforge.net/) — программа для анализа и визуализации различных данных;
QtiPlot — позиционируется как замена для Microcal Origin — программа для несложной статистической обработки данных, построения всяческих графиков;
Grace6 (http://plasma-gate.weizmann.ac.il/Grace/) — программа для подготовки двумерных графиков по численным данным;
PAW (http://cern.ch/paw/) — интерактивная программа анализа и графического представления результатов. Может применяться для анализа большого и очень большого объёма данных;
ROOT (http://cern.ch/root/) — наследник PAW, интерактивная система обработки и визуализации очень больших объёмов научных данных;
GNU R (http://r-project.org/) — мощный язык статистических вычислений, используемый профессиональными статистиками;
GRETL (http://gretl.sourceforge.net/) — система эконометрического анализа;
Научные редакторы:
TeXLive — полноценный дистрибутив TeX;
TeXmacs (http://texmacs.org) — текстовый редактор для набора математических и прочих научных текстов, также позволяет включать в документ сессии Axiom, Maxima, Octave, SciLab и других систем компьютерной математики;
Kile (http://kile.sourceforge.net/) — интегрированная среда подготовки документов с помощью TeX;
Texmaker (http://www.xm1math.net/texmaker/) — интегрированная оболочка для LaTeX;
Также LiveMath III содержит среду Gnome 2.28, OpenOffice.org 3.1, Gnumeric. Для «больших» систем (ROOT, PAW, R, Octave) включена значительная часть имеющихся в репозиториях Ubuntu пакетов. Для многих изначально «консольных» систем включены GUI-обёртки, для некоторых по несколько, на выбор. К большинству программ есть документация. Возможна установка системы на жёсткий диск с помощью стандартного установщика Ubuntu.
UPD. Полный список установленных пакетов: http://iportnov.ru/files/LiveMath.packages.txt
К сожалению, у меня нет времени, чтобы тестировать все эти программы. То, что я протестировал — работает. Багрепорты принимаются в коммен
тариях или на e-mail portnov at bk dot ru, но мгновенного исправления не обещаю.
LiveMath сделан с помощью Ubuntu Construction Kit (http://uck.sourceforge.net/), так что каждый, в принципе, может сделать себе нечто подобное. Вероятно, это окажется проще, чем качать моё изделие.
Взять можно здесь: http://portnov.homelinux.net/LiveMath%20III.iso (размер образа — 2Gb), может быть удобнее окажется торрент: http://iportnov.ru/files/LiveMath%20III.iso.torrent (честно говоря, не знаю, заработает ли). У меня сейчас нет хостинга, на котором я бы мог размещать большие ISO-образы. Так что учтите, что portnov.homelinux.net — это мой домашний сервер, обычно бывает включён примерно с 8:00 до 22:00 MSK, суперскоростей не обещаю. Если кому-то позарез нужно скачать в другое время — пишите, так уж и быть, оставлю включённым на ночь 🙂
Автор: Portnov
Обзор свободного математического ПО
Известные пакеты — это гиганты всё-в-одном
Когда мы говорим о математическом ПО, на ум приходят такие гиганты, как Maple, Mathematica, MatLAB… У них есть одно общее свойство: они пытаются охватить всё. Конечно, Mathematica известна прежде всего как система для символьных вычислений, а Matlab — для численных, но одновременно в Mathematica есть мощные алгоритмы для вычислений с плавающей точкой, а в Matlab — пакет для символьных вычислений. Причём эти второстепенные функции в программах по сравнению с программами, для этого предназначенными, выглядят убого и смешно. А небезызвестный MathCAD пытается включить в себя всё, при этом всё реализовано так себе. Причина проста: нельзя объять необъятное. Читать
