Есть ли инструмент, который поддерживает дискретную математику?

Question

Discrete mathematics (also finite mathematics) занимается такими темами, как логика, теория множеств, теория информации, частично упорядоченные множества, доказательства, отношения и ряд других тем.

Для других отраслей математики существуют инструменты, которые поддерживают программирование. Для статистики есть R и S, которые имеют множество полезных функций статистики. Для численного анализа Octave может использоваться как язык или интегрирован в C++.

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

Answer 1

Текущая версия Mathematica является 7. Стоимость лицензий:

1. Home Edition: $ 295.
2. Стандарт: $ 2495 Win/Mac/Linux PC (3120 $ для Solaris)
3. Правительство: $ 1 996 ($ 2496 для Solaris)
4. Образование: $ 1095 (1370 $ для Solaris)
5. Студент: $ 139,95 (без Solaris)

Выше ссылка Home Edition говорит:

Mathematica Home Edition представляет собой полнофункциональную версию Mathematica Professional с теми же функциями.

Текущая версия Maple является 12. Стоимость лицензий:

1. Студент: $ 99
2. Коммерческий: $ 1 895
3. Academic: $ 995
4. Правительство: $ 1.795

И да , посмотрите Мудрец, упомянутый выше Томасом Оуэнсом.

Answer 2

Mathematica

Answer 3

Я бы сказал, что Mathematica является лучшим выбором .. даже если он не приходит с некоторой функциональностью из коробки, он очень хорошо разработан дополнительные пакеты доступны для него в сети
проверки из http://www.wolfram.com/products/mathematica/analysis/
вы можете быть заинтересованы в ссылках для теории чисел, Graph Зрительные

Answer 4

Я также нашел Sage. Это, по-видимому, самое близкое к Mathematica, что с открытым исходным кодом, но я не уверен, насколько хорошо он обрабатывает дискретную математику.

Answer 5

Maple и Matlab - это пара математических пакетов программного обеспечения, которые могут охватывать часть того, что вы хотите.

Answer 6

Stanford GraphBase, написанный в основном Дональдом Кнутом, представляет собой отличный пакет для комбинаторных вычислений.Я бы не назвал его обширной базой кода, но он отлично поддерживает графики, и множество дискретной математики можно сформулировать в терминах теории графов. Это написано в CWEB, который является (IMO) более читаемой версией C.

EDIT: Это бесплатно.

Answer 7

Mathematica имеет пакет Combinatorica, который, хотя и весьма почтенный, в данный момент обеспечивает значительную поддержку комбинаторики и графиков. Доступны такие команды: NecklacePolynomial [8, m, Cyclic]; GrayCodeSubsets [{1, 2, 3, 4}]; IntegerPartitions [6]

Answer 8

Я люблю Mathematica и использовал его для прототипов идей во время моего PhD в вычислительной физике. Однако, Mathematica пытается быть всем для всех людей, и есть несколько минусов:

• Будучи компанией на прибыль, исправления ошибок иногда приходят в следующей версии: вы платите.
• Будучи запатентованным продуктом, код обмена с людьми, не являющимися математиками (мир), является проблематичным.
• Новые функции часто наполовину выпекаются и ломаются, когда вы пытаетесь взять его за пределы встроенного примера.
• Это пользовательская база (учебные пособия, советы, внешние библиотеки) менее активна, чем говорят python's,
• Множества Mulitpanel сложно сгенерировать; см. SciDraw библиотека.

При этом, основные функциональные возможности Mathematica удивителен по следующим причинам:

• Его функциональность по математике по умолчанию является достаточно надежным позволяет быстрые решения.
• Он позволяет выполнять как функциональное, так и процедурное программирование.
• Можно быстро скопировать код & в различные форматы: pdf, интерактивный веб-сайт.
• Вышел новый дискретный Book.

Нижняя линия

• Apple, пользователи ожидают простоту использования, будет, как Mathematica для ее Apple, как, встают и идут чувствовать.
• Пользователи Linux, нуждающиеся в расширяемости, найдут, что Mathematica разочаровывает свой дизайн, подобный Apple, с короткими замыканиями.