質問
離散数学(有限数学)は、論理、集合論、情報理論、半順序集合、証明、関係、その他の多くのトピック。
数学の他の分野には、プログラミングをサポートするツールがあります。統計については、 R および S には多くの便利な統計関数が組み込まれています。数値分析については、 Octave は、言語として使用したり、C ++に統合したりできます。
離散数学に特化した言語やパッケージは知りません(離散数学で使用されるアルゴリズムの実装にはほぼすべての言語を使用できますが、これらのアプリケーション専用に設計されたライブラリや環境が必要です) 。
解決
Mathematica の現在のバージョンは7です。ライセンス費用:
- Home Edition :$ 295。
- 標準:Win / Mac / Linux PCで2,495ドル(Solarisの場合は3,120ドル)
- 政府:1,996ドル(Solarisの場合は2,496ドル)
- 教育:$ 1,095(Solarisの場合は$ 1,370)
- 学生:$ 139.95(Solarisなし)
上記のHome Editionのリンクには次のように記載されています:
Mathematica Home Editionは、同じ機能を備えたMathematica Professionalの完全に機能するバージョンです。
Maple の現在のバージョンは12です。ライセンス費用:
- 学生:99ドル
- 商用:1,895ドル
- アカデミック:995ドル
- 政府:1,795ドル
そして、はい、トーマス・オーウェンズが上で言及したセージをチェックしてください。
他のヒント
Mathematica
MathematicaにはCombinatoricaパッケージがあります。これは現時点では非常に古くからありますが、組み合わせ論とグラフをかなりサポートしています。このようなコマンドが利用可能です: ネックレス多項式[8、m、サイクリック]; GrayCodeSubsets [{1、2、3、4}]; IntegerPartitions [6]
Mathematicaはあなたの最善の策だと思います。たとえ箱から出して機能を備えていなくても、ネット上で利用可能な非常にうまく設計された補助パッケージを持っています
http://www.wolfram.com/products/mathematica/analysis/
数論、グラフの視覚化のリンクに興味があるかもしれません
Sage も見つかりました。これは、オープンソースのMathematicaに最も近いように見えますが、離散数学をどの程度うまく処理できるかはわかりません。
Stanford GraphBase は、主にDonald Knuthによって書かれており、コンビナトリアルコンピューティング用のパッケージ。大規模なコードベースとは呼びませんが、グラフを強力にサポートしており、グラフ理論の観点から多くの離散数学を定式化できます。 CWEBで書かれています。これは(IMO)より読みやすいバージョンのCです。
編集:無料です。
Mathematicaが大好きで、計算物理学の博士号取得中にMathematicaを使ってアイデアをプロトタイプ化しました。ただし、Mathematicaはすべての人にとってすべてのものになろうとするため、いくつかの欠点があります:
- 営利企業であるため、バグ修正が次のメジャーリリースで行われる場合があります。有料です
- プロプライエタリな製品であるため、Mathematica以外の人々(世界)とコードを共有することには問題があります。
- 多くの場合、新機能は中途半端であり、埋め込まれた例を超えて使用しようとすると壊れます。
- ユーザーベース(チュートリアル、アドバイス、外部ライブラリ)は、Pythonのユーザーベースよりもアクティブではありません
- マルチパネル図は生成が困難です。 SciDraw ライブラリを参照してください。
とはいえ、Mathematicaのコア機能は次の理由で驚くべきものです。
- デフォルトの数学機能は非常に堅牢で、迅速な解決が可能です。
- 関数型プログラミングと手続き型プログラミングの両方が可能です。
- すぐにコーディングできます&さまざまな形式で公開します:pdf、インタラクティブなウェブサイト。
- 新しいディスクリート本が出ました。
下線
- 使いやすさを期待しているアップルのユーザーは、そのMathematicaがAppleに似た感じで立ち上がることを好むでしょう。
- 拡張性を望むLinuxユーザーは、MathematicaがAppleのようなボックス溶接シャットデザインを持っていることにイライラするでしょう。