Математика

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

Сайт разработчика: http://coq.inria.fr/
Что почитать?


Разместил: vikos 12 Июль 2012 в 10:26

Многофункциональный графический научный калькулятор.

Тип приложения: другие программы для графического режима
Сайт разработчика: http://extcalc-linux.sourceforge.net/
Страница приложения на: https://sourceforge.net/projects/extcalc-linux/
Что почитать?


Разместил: vikos 12 Июль 2012 в 10:10

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

Тип приложения: графические программы на основе библиотеки Qt
Сайт разработчика: http://edu.kde.org/applications/mathematics/cantor/


Разместил: vikos 12 Июль 2012 в 09:54

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

Сайт разработчика: http://cadabra.phi-sci.com/


Разместил: vikos 12 Июль 2012 в 09:47

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

Сайт разработчика: http://www.mathematik.uni-muenchen.de/~forster/sw/aribas.html
Что почитать?


Разместил: vikos 12 Июль 2012 в 09:41

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

Тип приложения: консольная программа
Сайт разработчика: http://www.isthe.com/chongo/tech/comp/calc/


Разместил: vikos 11 Июль 2012 в 13:41

LabPlot — свободное программное обеспечение для анализа и визуализации научных данных, созданное для свободной среды рабочего стола KDE. По функциональности LabPlot схожа с проприетарным пакетом программ Origin и может работать с файлами данных Origin (файлы с расширением .m).

Тип приложения: графические программы на основе библиотеки Qt
Сайт разработчика: http://labplot.sourceforge.net/


Разместил: vikos 28 Июнь 2012 в 09:23

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

Тип приложения: другие программы для графического режима
Сайт разработчика: http://openopt.org/Welcome


Разместил: vikos 19 Июнь 2012 в 16:13

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

Тип приложения: другие программы для графического режима
Сайт разработчика: http://sourceforge.net/apps/mediawiki/wavepacket/index.php?title=Main_Page


Разместил: vikos 19 Апрель 2012 в 14:08

SuiteSparse - это набор функций на C, Fortran и MATLAB для операций с разреженными матрицами.

Сайт разработчика: http://www.cise.ufl.edu/research/sparse/SuiteSparse/


Разместил: vikos 16 Апрель 2012 в 17:09

RSS-материал