数学・統計学のバックアップ(No.76)

DepQBF (フリー)
- 限量子付ブール式(QBF)用ソルバー
OpenAxiom (フリー)
- 科学計算プラットフォーム
PARI GP (フリー)
- 数論 (因数分解、代数的数理論、楕円曲線など)の高速計算用計算機代数システム
Dehydra (フリー)
- C++用の軽量な静的解析ツール
mccs (フリー)
- 複数基準CUDFソルバー
MiniSat＋ (フリー)
- MiniSatベースの擬似論理演算最適化プログラム
WIMS (フリー)
- 対話型数学サーバー
aspcud (フリー)
- 解集合プログラミングのCUDFソルバ
MATLAB (商用,有償)
- 有名な数値解析ソフトウェア
Yet Another Dynamic Engine (フリー)
- 離散要素法フレームワーク
MiniSat (フリー)
- 高速軽量なSATソルバ
bliss (フリー)
- 自己同形群計算やキャノニカルラベリング用ツール
LCS with gui (シェアウエア)
- 動的計画法による配列アライメントプログラム
Rheolef (フリー)
- 偏微分方程式を解くための有限要素法プログラム
SDPA (フリー)
- 半正定値を解く最適化プログラム
Boolector (フリー)
- ビットベクトルやビットアレイ用のSMTソルバ
FEniCS (フリー)
- 数値計算用のモデルを構築したり、数値計算したりする
CVC3 (フリー)
- Satisfiability Modulo Theories問題用の自動定理証明プログラム
Blahtexml (フリー)
- Texの式をMathMLに変換
MathRider (フリー)
- コンピュータ数学処理システム
Cadabra (フリー)
- 場の理論から生まれたコンピュータ代数システム
nauty (フリー)
- グラフなどの自己同形群を計算
jblas (フリー)
- Java用線形代数ライブラリ
Relational (フリー)
- 関係代数学習用ソフト
E Equational Theorem Prover (フリー)
- 一階述語論理用の自動定理証明ソフト
JAGS (フリー)
- ギブス抽出法を用いたベイズ階層モデルの解析ソフト
Statistical Test Suite (フリー)
- 乱数試験用ソフト
SPARSKIT (フリー)
- 疎行列計算用ツールキット
PETSc (フリー)
- 数値解析用のツールキット
Lybniz (フリー)
- 関数をプロット
GraphThing (フリー)
- グラフ理論学習ソフト
OctPlot (フリー)
- Octave用のグラフ描画ソフト
QtOctave (フリー)
- Qtを用いたOctave用フロントエンド
Genius (フリー)
- 汎用計算プログラム
SINGULAR (フリー)
- 数値・数式処理システム
GiNaC (フリー)
- 数式処理ソフトを構築するためのライブラリ
CoCoA (フリー)
- 数式処理ソフト
Mathomatic (フリー)
- 簡便な数式処理ソフト
Dr. Geo (フリー)
- 幾何学用ソフト
KGeo (フリー)
- 幾何学用ソフト
Kig (フリー)
- 幾何学用ソフト
KmPlot (フリー)
- 関数グラフ描画ソフト
KAlgebra (フリー)
- MathML言語ベースの計算プログラム
SAGE (フリー)
- 非常に強力な数式処理ソフト
GAP (フリー)
- コンピュータ離散代数システム
IFrIT (フリー)
- 3次元データ表示ソフト
GeoGebra (フリー)
- 数学用の学習支援ソフト
STIX Fonts (フリー)
- 学術用フォント
GiD (商用)
- 3次元モデルの作成やデータを表示
Gerris Flow Solver (フリー)
- 3次元の流体シミュレータ
MathStudio (フリー)
- GUIで操作できる数式エディタ兼数式処理ソフト
MaximaPHP (フリー)
- Web上でMaximaが使える
GMaxima (フリー)
- GTKを用いたMaximaのフロントエンド
PyGraphMath (フリー)
- 数式をグラフ化するソフト。3次元も可
VisualMaths (フリー)
- 2次元の曲線を描く
Qgfe (フリー)
- gnuplotのGUIフロントエンド
QtiPlot (フリー)
- 科学・技術用3D・2Dグラフ作製ソフト
MayaVi (フリー)
- 3次元データを表示
Vis5d+ ()
VisIt (フリー)
- 2次元・3次元データ可視化ソフト
xd3d (フリー)
- ２次元・３次元データ表示ソフト
FFTW (フリー)
- 離散フーリエ変換を高速に行うC用サブルーチン
biggles (フリー)
- 2次元のグラフを描画するためのPythonモジュール
SciPlot (フリー)
- 科学技術用のグラフを描画するためのウィジェット
PDL (フリー)
- Perlで多次元配列を扱えるようにする
FreeMat (フリー)
- MATLABみたいな数値解析ソフト
Z88 (フリー)
- コンパクトな有限要素法のソルバ
dot2tex (フリー)
- Graphvizで描いた図をTexの図に変換
Model Builder (フリー)
- 常微分方程式モデルをシミュレーションしたり解析したりする
YACAS (フリー)
- 数式処理言語
MaTX (フリー)
- 数値及び数式計算をサポートする記述性に優れたプログラミング言語
RLPlot (フリー)
- 印刷用の高品質なグラフを生成
Gmsh (フリー)
- 有限要素法用にモデル作成やメッシュ切りをする
galculator (フリー)
- 高機能な関数電卓
geg (フリー)
- １変数の数学関数をプロット
MGTP (フリー)
- モデル生成型の定理証明システム
Otter (フリー)
- 自動定理証明ソフト
Extcalc (フリー)
- グラフ表示やいろいろな関数が使える電卓
Meep (フリー)
- FDTD法ソフト
JACAL (フリー)
- 数式処理ソフト
jsMath (フリー)
- HTMLで数式を書けるようにする
Octaviz (フリー)
- Octaveの3次元可視化システム
Graphviz (フリー)
- ブロック図、状態遷移図などのグラフを描くソフト
PG Calculator (フリー)
- スキンを変えられる関数電卓
Qalculate! (フリー)
- 変数や数式が扱える計算機
LabPlot (フリー)
- 研究・開発用グラフ描画ソフト。
gnuplot (フリー)
- グラフ描画ソフトの定番
Free FEMLEEG (フリー)
- 有限要素法ソフトウエア
SLFFEA (フリー)
- 有限要素法ソフトウエア
TOCHNOG (フリー)
- 有限要素法プログラム
CALCULIX (フリー)
- 有限要素法ソフトウエア
OpenFEM (フリー)
- 有限要素法ソフトウエア
Asymptote (フリー)
- グラフや幾何図形を描く言語
AutoAbacus (フリー)
- シンプルな数式処理ソフト。計算機
ePiX (フリー)
- スクリプトでグラフを描画
APBS (フリー)
- ポアソンーボルツマン方程式のソルバ
Yorick (フリー)
- 軽量なインタプリタ型の数値処理ツール
g3data (フリー)
- グラフの画像から数値データを抽出する
Wcalc (フリー)
- 科学計算用の電卓
NumExp (フリー)
- 数学関係の統合ソフト
wxMaxima (フリー)
- GUIのMaxima用フロントエンド。
Kayali (フリー)
- QtベースのMaximaのGUIフロントエンド
Symaxx (フリー)
- MaximaのGUIフロントエンド
axiom (フリー)
- 数式処理ソフト
Octave (フリー(GPLなど))
- 有名なMATLAB互換の数値演算ソフト。
Maxima (フリー(GPLなど))
- 高機能な数式処理ソフト

ペンギンの杜

Linuxソフト集

category/科学・技術/数学・統計学のバックアップ(No.76)

ペンギンの杜

Linuxソフト集

category/科学・技術/数学・統計学 のバックアップ(No.76)

category/科学・技術/数学・統計学のバックアップ(No.76)