category/科学・技術/数学・統計学

• cu2qu (フリー)
  • 3次曲線を2次曲線に変換
• flatlatex (フリー)
  • LaTexの数式等をunicodeの文字に変換
• RIES (フリー)
  • 与えられた数値が答えになるような方程式を表示
• LAMARC (フリー)
  • メトロポリス法を用いた最尤推定プログラム
• SymPy (フリー)
  • Pythonで数式を扱うことができるようになる
• CVC4 (フリー)
  • 充足可能性モジュロ理論用の自動定理証明プログラム
• TikZiT (フリー)
  • 節点と枝で構成されるグラフの作成
• SageTeX (フリー)
  • LaTeXソースの中にSageMathのコードを埋め込める。プロットもできる
• polymake (フリー)
  • 多面体などの複雑な図形を取り扱い学ぶ
• Frobby (フリー)
  • 単項式イデアル計算ソフトウエア
• Geophar (フリー)
  • 数学用のツール集
• flintqs (フリー)
  • 大きな整数を因数分解する
• GNU Datamash (フリー)
  • コマンドラインで使う統計ツール
• CppAD (フリー)
  • C++用自動微分パッケージ
• Ratpoints (フリー)
  • 二次ふるい法で超楕円曲線の有理点を探す
• Analitza (フリー)
  • KDEの数学ライブラリ
• Littlewood-Richardson Calculator (フリー)
  • Littlewood-Richardson係数を計算
• R (フリー(GPLなど))
  • 統計処理ソフト
• Prooftree (フリー)
  • 証明木を表示
• Coq (フリー)
  • 高階述語論理証明アシスタント
• Code_Saturne (フリー)
  • 数値流体力学プログラム
• Feel＋＋ (フリー)
  • C++用の有限要素法ライブラリ
• Maria (フリー)
  • 到達可能性解析プログラム
• XMDS (フリー)
  • 一次偏微分方程式や常微分方程式のソルバー
• XPPAUT (フリー)
  • 様々な方程式を解く
• Ceres Solver (フリー)
  • 非線形最小二乗法ソルバ
• FractalNow (フリー)
  • いろいろなフラクタル画像を生成
• AutoClass (フリー)
  • 教師なしベイズ分類器
• LoopTools (フリー)
  • FF packageのスカラやテンソルを評価
• MWrap (フリー)
  • MatlabやOctave用のMEXファイルを生成
• HOL Light (フリー)
  • 高階述語論理用の定理証明システム
• Cantor (フリー)
  • Maximaなどいろいろな数学ソフトのフロントエンド
• FlatZinc (フリー)
  • 制約問題用の低レベルモデル化言語
• 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など))
  • 高機能な数式処理ソフト