ペンギンの杜

Linuxソフト集

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

広告
  • 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 (フリー)
    • 2次元・3次元データ表示ソフト
  • FFTW (フリー)
    • 離散フーリエ変換を高速に行うC用サブルーチン
  • biggles (フリー)
    • 2次元のグラフを描画するためのPythonモジュール
  • SciPlot (フリー)
    • 科学技術用のグラフを描画するためのウィジェット
  • PDL (フリー)
    • Perlで多次元配列を扱えるようにする
  • FreeMat (フリー)
    • MATLABみたいな数値解析ソフト
  • Z88 (フリー)
    • コンパクトな有限要素法のソルバ
  • dot2tex (フリー)
    • Graphvizで描いた図をTexの図に変換
  • Model Builder (フリー)
    • 常微分方程式モデルをシミュレーションしたり解析したりする
  • YACAS (フリー)
    • 数式処理言語
  • MaTX (フリー)
    • 数値及び数式計算をサポートする記述性に優れたプログラミング言語
  • RLPlot (フリー)
    • 印刷用の高品質なグラフを生成
  • Gmsh (フリー)
    • 有限要素法用にモデル作成やメッシュ切りをする
  • galculator (フリー)
    • 高機能な関数電卓
  • geg (フリー)
    • 1変数の数学関数をプロット
  • 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など))
    • 高機能な数式処理ソフト
広告