Состоялся релиз Coq 8.9. Его разработка заняла 7 месяцев с момента выпуска Coq 8.8. Этот релиз является результатом ≈2000 коммитов и ≈500 pull request’ов.

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

( читать дальше... )

>>> Подробности

После почти двух лет разработки команда программистов и математиков представляет новый мажорный выпуск GNU Octave [0] — высокоуровнего языка численных вычислений, совместимого до некоторой степени с языком несвободного Mathworks MATLAB.

( читать дальше... )

>>> info-gnu@gnu.org

microMathematics Plus (μMath+) — свободный математический пакет для Android. μMath+ создан по принципу WYSIWYG, тем самым стремясь предоставить пользователю возможность работать в программе как в тетради, благодаря чему данное приложение можно поставить в один ряд с такими программами как MathCAD и SMath Studio.

( читать дальше... )

>>> Подробности

Классическая книга «Начала» Евклида в оригинальной графической нотации авторства Oliver Byrne теперь доступна на русском языке.

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

Пакет поддержки стиля вёрстки распространяется под открытой лицензией для производных работ. Учителя могут свободно использовать (полностью адаптируемый под конкретную ситуацию) графический иллюстративный материал для занятий.

>>> Публикация в блоге автора

Вышла новая версия свободной системы для математических вычислений, использующей совместимый с MATLAB язык высокого уровня — GNU Octave 4.2.

( читать дальше... )

>>> Подробности

Тихо и незаметно вышла новая версия системы интерактивного доказательства теорем Coq (Петух).

Система Coq предоставляет язык Gallina (Курица) — функциональный язык с зависимыми типами, основанный на исчислении индуктивных конструкций. Особенностью данной системы является наличие особого подъязыка тактик доказательства (в отличии от, например, Агды, в которой пользователь конструирует элемент типа, являющийся доказательством, в явном виде с использованием интерактивного интерфейса, основанного на Emacs).

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

Основные новшества в версии 8.5:

• асинхронное редактирование документов в CoqIDE, позволяющее работать с текущим доказательством, в то время как Coq проверяет другие доказательства в фоне;
• полиморфизм относительно универсумов, позволяющий использовать одни и те же определения для универсумов разного уровня;
• примитивные проекции, улучшающие временную и пространственную эффективность для записей и добавляющие для них эта-конверсию;
• новый движок тактик;
• новая процедура редукции native_compute, позволяющая вычислять термы, используя нативный компилятор OCaml'а;
• новый быстрый режим компиляции, пропускающий проверку доказательств;
• новая опция -type-in-type, позволяющая объединять иерархию типов в один универсум (делает логику несогласованной, но упрощает эксперименты);
• заметное улучшение эффективности в целом.

>>> Новость

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

В новой версии произошли следующие изменения, заметные пользователю:

• Графический интерфейс пользователя, написанный с использованием библиотеки Qt, доведён до стабильного состояния и теперь используется по умолчанию. Данный интерфейс аналогичен применяемому в MATLAB и содержит файловый менеджер, таблицу для просмотра переменных и их значений, журнал команд, а также вкладки командной строки, редактора исходных кодов и справочной документации. Пример внешнего вида: снимок 1, снимок 2. Традиционный интерфейс командной строки также доступен при помощи стартового параметра --no-gui или через бинарный файл octave-cli.
• Новый синтаксис для объектно-ориентированного программирования classdef.
• Добавлен новый набор функций и классов для работы с аудиоданными.
• Добавлены новые классы.
• Добавлены новые функции.
• Настраиваемое ужесточение совместимости с MATLAB при использовании диапазонов, диагональных и перестановочных матриц. Octave применяет внутренние оптимизации для минимизации занимаемой такими данными памяти. Три новые функции (disable_range, disable_diagonal_matrix. disable_permutation_matrix) позволяют выбирать хранение в оптимизированном виде или полными матрицами. Также возможно использование параметра --braindead при старте.
• Изменения в функциях ismatrix(x), nextpow2, strfind, а также функциях для интерполяции данных в плане совместимости с MATLAB.
• Переработаны функции для работы с архивами. Также изменено поведение по умолчанию: теперь все действия будут производиться в той же директории, что и архив или оригинальные файлы.
• Доработки в функциях, повышение быстродействия некоторых из них.
• Некоторые функции и классы, объявлены устаревшими и будут удалены в будущих версиях Octave.
• Некоторые функции и классы, объявленные устаревшими в прошлых версиях Octave, были удалены.
• Некоторые предупреждения и настройки теперь включены по умолчанию.
• Переработаны некоторые предупреждения для повышения очевидности.
• Изменено поведение некоторых тригонометрических функций для унификации с другими математическими пакетами.
• Множество доработок для визуализации данных на экране и печати. Также при использовании графического интерфейса доступно отображение при помощи библиотеки Qt.
• Поддержка OpenMP включена по умолчанию, что позволяет задействовать параллельные вычисления в скомпилированных oct-файлах.

Сайт проекта

Исходные коды Octave

Дополнительные пакеты Octave Forge

Подробный список изменений

Вышла новая версия динамического высокоуровневого языка для математических вычислений Julia 0.3.0. Используется динамическая компиляция (JIT) на основе LLVM, что позволяет показывать достаточно высокий уровень производительности. Существует встроенная система управления расширениями. Язык развивается как замена уже существующим Matlab/Octave, R и другим.

В настоящее время Julia находится в стадии активной разработки, поэтому список изменений обширен. С ним можно ознакомиться по нижеприведённой ссылке.

Сайт проекта

>>> Список изменений

Платформонезависимая библиотека MathGL предназначена для построения широкого спектра графиков (кривых, поверхностей, поверхностей уровня и т.д.). Есть возможности экспорта графики в растровые (PNG, JPEG) или векторные (EPS, SVG, TeX, OBJ, PDF) форматы и рисование в консольном режиме.

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

>>> Подробности

На конференции EuroTcl 2014 широкой публике было представлено расширение VecTcl, добавляющее в стандартный Tcl новый тип данных — числовые массивы и включающее в себя средства для эффективной работы с ними.

Это расширение предназначается для выполнения инженерных вычислений и является аналогом NumPy+SciPy в Python, PDL в Perl (напомню, что в Perl6 подобные массивы поддерживаются на уровне языка), языков APL, J, K, R.

Синтаксис для описания массивов представляет собой стандартный синтаксис для создания списков в Tcl. Для работы с массивами предназначена специальная команда vexpr, компилирующая переданный ей блок кода в код на обычном Tcl и исполняющая его. Также расширение вводит в язык комплексные числа.

Пример кода:

set x { 1 2 3 }
set A {{1.0 2.0 3.0} {4.0 5.0 6.0} {7.0 8.0 9.0}}
vexpr { A*x }
# 14.0 32.0 50.0

Здесь необходимо отметить, что имена переменных в теле vexpr не имеют сигила $.

Расширение пока что имеет версию 0.1.7alpha и распространяется в виде исходных кодов, бинарных архивов и старкита/старпака.

Здесь можно почитать презентацию с EuroTcl.

>>> Официальный сайт

Вышла новая версия среды для математических расчётов Scilab 5.5.0.
В новой версии было сделано много изменений и улучшений, основные из них:

• Новые расширенные функции для создания графического интерфейса и улучшение отрисовки.
• Новые графические возможности: отображение изображений с реалистичной цветопередачей, управление освещением для 3-х мерных объектов, возможности редактирования графиков непосредственно при помощи мыши.
• Поддержка MPI (выключена по умолчанию).
• Множество других нововведений: новый решатель для дифференциально-алгебраических уравнений, полная поддержка данных в формате HDF5, взаимодействие с Java-объектами и другие.

>>> Подробности

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

В новой версии произошли следующие изменения, заметные пользователю:

• Добавлен графический интерфейс пользователя, написанный с использованием библиотеки Qt. Но поскольку он недостаточно оттестирован, использование его по умолчанию отложено до версии 4.0 (сейчас можно использовать ключ --force-gui). Авторы просят присоединиться к тестированию и высказывать идеи для улучшения удобства работы.
• Использование для отрисовки графики OpenGL с виджетами на FLTK по умолчанию. Возможность использовать gnuplot также сохранилась.
• Поддержка вложенных функций.
• Изменения в обработке окончаний текстовых строк.
• Использование обратной косой черты как метки продления вне строк, заключённых в двойные кавычки объявлено устаревшим.
• Допускаются избыточные точки в окончании, что позволяет писать код с стиле:

  [a,...
   b,...
   c,...
  ] = deal (1,2,3)

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

  Octave:array-as-scalar => Octave:array-to-scalar
  Octave:array-as-vector => Octave:array-to-vector
  

• Новые опции в регулярных выражениях для совместимости с Matlab.
• Реализован анализ команд TeX при использовании OpenGL для отрисовки графики. Поддерживается только вывод на экран, но не печать.
• Переработаны функции для построения графиков: улучшена производительность, обновлена и дополнена документация.
• Переработаны функции для работы с изображениями. Теперь не происходит автоматического преобразования изображений, хранящихся в целых числах в числа с двойной точностью.
• Функции imread и imwrite были переписаны. Основные изменения связаны с альфа-каналом, поддержкой чтения и записи изображений, записанных в числах с двойной точностью, записью индексированных изображений, обработкой нескольких файлов.
• Увеличено число опций у функции colormap.
• Функции strsplit, datevec, kurtosis, moment модифицированы для совместимости с Matlab.
• Функция error и её производные теперь позволяют испозовать комплексные аргументы.
• Поведение функции glpk было изменено в связи с изменениями в одноимённой библиотеке.
• Имя файла для сброса данных при падении программы было изменено с «octave-core» на «octave-workspace».
• Добавлена команда citation, выводящая информацию для оформления ссылок на Octave в публикациях.
• Пакет с поддержкой java-интерфейса из состава Octave Forge включён в ядро Octave.
• Добавлены новые функции, некоторые объявлены устаревшими и будут удалены в будущих версиях.
• Исправления ошибок и другие улучшения.

Исходные коды Octave
Дополнительные пакеты Octave Forge

>>> Сайт проекта

Платформонезависимая библиотека MathGL предназначена для построения широкого спектра графиков (кривых, поверхностей, поверхностей уровня и т.д.). Есть возможности экспорта графики в растровые (PNG, JPEG) или векторные (EPS, SVG, TeX, OBJ, PDF) форматы и рисование в консольном режиме.

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

>>> Подробности

4 ноября 2013 года вышла версия 1.1.0 библиотеки для построения двухмерных графиков (и не только) для Qt/C++. Главное изменение в новой версии — поддержка Qt 5.1 и 5.2 (beta1).

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

QCustomPlot развивается активнее, чем свой прямой конкурент Qwt, и хотя ещё и не доросла до неё по функционалу, но подаёт очень большие надежды.

Основным разработчиком QCustomPlot является немец Emanuel Eichhammer. Библиотека распространяется под лицензией GPLv3, но автор упоминает возможность распространения под другими условиями с его персонального разрешения (например, под LGPL).

Сайт проекта

Документация

>>> Список изменений

Платформонезависимая библиотека MathGL предназначена для построения широкого спектра графиков (кривых, поверхностей, поверхностей уровня и т.д.). Есть возможности экспорта графики в растровые (PNG, JPEG) или векторные (EPS, SVG, TeX, OBJ, PDF) форматы и рисование в консольном режиме.

В новой версии добавлены новые типы графиков, расширены возможности задания цвета, добавлен вывод графики с использованием JavaScript, унифицирован интерфейс всех функций, а также сделано множество других улучшений как в ядре библиотеки, так и в UDAV'е.

>>> Подробности

Платформонезависимая библиотека MathGL предназначена для построения широкого спектра графиков (кривых, поверхностей, поверхностей уровня и т.д.). Есть возможности экспорта графики в растровые (PNG, JPEG) или векторные (EPS, SVG, TeX, OBJ) форматы и рисования в консольном режиме.

В новой версии значительно увеличена скорость рисования, унифицирован интерфейс, добавлены новые типы графиков и примитивов, добавлен экспорт в 3d форматы (OBJ, PRC, OFF, ...) и LaTeX, множество более мелких улучшений.

>>> Подробности

Octave — это язык высокого уровня для численных вычислений, схожий с Matlab.

В новой версии произошли следующие изменения:

( читать дальше... )

Полный список изменений
Дополнительные пакеты

>>> Сайт проекта

После более года активной разработки вышла новая версия SymPy — Python-библиотеки для символьных вычислений.

Авторы SymPy ставят перед собой цель создать полноценную систему компьютерной алгебры, написанную полностью на языке Python, сохраняя при этом код как можно более понятным и расширяемым.

Сейчас проект включает в себя около 86000 строк кода, и в число его возможностей входят:

• выполнение арифметических операций над многочленами;
• упрощение многочленов;
• раскрытие скобок;
• факторизация;
• дифференцирование;
• интегрирование;
• нахождение пределов;
• решение уравнений и систем уравнений;
• работа с матрицами;
• многое другое.

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

Следует отметить, что на данный момент для работы SymPy необходим Python 2 версии не ниже 2.4, а со следующей после 0.7.0 версии - Python 2.5. Поддержку Python 3 планируется реализовать уже в версии 0.8.0.

Документация

>>> Полный список изменений

Octave — это язык высокого уровня для численных вычислений, схожий с Matlab.

В новой версии традиционно много изменений:

• Библиотеки BLAS и LAPACK стали обязательны для сборки, в связи с чем куски этих библиотек удалены из исходных текстов Octave. Напротив, библиотека ARPACK включена в состав Octave и теперь не требуется при сборке.
• За счёт расширения возможностей функции lookup, функция ismember была переписана и стала намного более быстрой.
• При получении элементов матриц по индексу внутренняя переменная index_vector кешируется, что устраняет задержки при повторном индексировании.
• Индексирование разреженных матриц также подверглись пересмотру и стало намного быстрее, что отразилось и на других операциях с разреженными матрицами.
• Логические матрицы хранятся и используются более эффективно.
• Ускорены функции sub2ind и ind2sub.
• Встроенные эквиваленты функций plus, times, mtimes, and и or теперь принимают несколько аргументов.
• Добавлена поддержка объекта ftp на основе libcurl.
• Поведение функций ismatrix, issquare и issymmetric изменено и стало более логичным.
• Указатели на функции теперь учитывают то, что функции могут быть перегружены.
• Перегрузка функций для встроенных классов (double, int8, cell и т.д.) теперь совместима с Matlab.
• Можно сравнивать указатели на функции с помощью операторов == и !=.
• Для многомерных массивов улучшена производительность конкатенации.
• Операторы присваивания (+=, -=, *= и /=) в некоторых случаях стали работать более эффективно.
• Исправлено сравнение комплексных чисел с помощью операторов <, >, <= и >=. Теперь оно эквивалентно лексикографическому сравнению пар [abs(z), arg(z)].
• Удалён тип данных list.
• Для команды pkg добавлена опция -forge, которая позволяет скачивать и устанавливать дополнительные пакеты автоматически. Пример: pkg install -forge general
• Множество других оптимизаций.
• Несколько изменений направленных на увеличение совместимости с Matlab'ом.
• Традиционно, новая порция функций объявлена устаревшими, а некоторые — удалены. Также некоторые функции перенесены из дополнительных пакетов в основной код.

Полный список изменений

Дополнительные пакеты

>>> Сайт проекта

Опубликована статья, описывающая использование модулей ezunits и physical_constants, входящих в состав системы компьютерной математики Maxima. Модули предоставляют поддержку единиц измерения и физических констант.

Круг применения Maxima (wxMaxima) гораздо шире, чем простые арифметические операции. В этой статье рассказано о нескольких вещах, упрощающих использование Maxima для решения физических задач.

>>> Подробности