KNOPPIX/Math/2007

  1. 4ti2
    • ヒルベルト基底, Graver基底, トーリックイデアルのグレブナー基底の計算
  2. Active-DVI
    • DVI閲覧ソフト兼プレゼンテーションソフト
  3. Axiom
    • 高度なプログラミング言語を備えた計算機代数システム
  4. BLAS
    • 基本線形代数サブルーチン
  5. C.a.R.
    • 対話式幾何学ソフトウェア
  6. CHomP
    • 計算機ホモロジープロジェクト
  7. CLISP
    • ANSI Common Lisp.
  8. CoCoA4
    • 可換環計算システム
  9. Coq
    • 証明支援システム
  10. Dr.Geo
    • 対話式幾何学ソフトウェア
  11. DVIPDFMx
    • DVI to PDF translater.
  12. DVIPS
  13. dvipsk-ja
    • 日本語対応 DVI-to-PostScript 変換ソフトウェア
  14. Dynagraph
    • 3次元描画ユーティリティ
  15. EGGX/ProCALL
    • 究極の簡単さを目指して作成された C言語，FORTRAN言語用のX11グラフィックスライブラリ
  16. Eukleides
    • ユークリッド幾何学描画言語
  17. Gambit
    • ゲーム理論のためのソフトウェアライブラリ
  18. GANG Software Suite
    • 平均曲率一定曲面、極小曲面等の3次元描画ユーティリティ
  19. GAP
    • 群論計算機代数システム
  20. Gauche
    • R5RS準拠のScheme処理系
  21. GCC
    • GNU Compiler Collection.
  22. GeoGebra
    • 動的幾何学ソフトウェア, 対話式幾何学ソフトウェア
  23. Geomview
    • 対話的な3次元描画プログラム
  24. GEONExT
    • 動的幾何学ソフトウェア, 対話式幾何学ソフトウェア
  25. GeoProof
    • 自動証明システムと定理証明機能を備えた対話式幾何学ソフトウェア
  26. Gfan
    • Software package to enumerate all reduced Groebner bases.
  27. Ghostscript
    • Interpreter for the PostScript language and for PDF.
  28. Ghostview
  29. GiANT
    • Graphical Algebraic Number Theory.
  30. GiNaC
    • GiNaC is Not a CAS.
  31. Glasgow Haskell
    • 関数型言語 Haskell
  32. GloptiPoly
    • MATLAB add-on.
  33. GNU Common Lisp
    • GCL - an implementation of Common Lisp.
  34. GNU Fortran
    • GNU Fortran.
  35. GNU Pascal
    • GNU Pascal.
  36. GNU R
    • GNU R statistical computing language and environment.
  37. GNU TeXmacs
    • 科学者のためのWYSIWIGなGUI編集環境
  38. Gnuplot
    • データ、関数、描画ユーティリティ
  39. Guile
    • Project GNU's extension language
  40. HOL Light
    • 高階論理による定理証明システム
  41. HOM4PS
    • F77 package for solving equations.
  42. Hyplane
    • polygonal model of K=-1 surface in R3
  43. jsMath
    • jsMath: A Method of Including Mathematics in Web Pages.
  44. jtem
    • Java Tools for Experimental Mathematics.
  45. K3DSurf
    • 3d surface generator.
  46. Kali
    • タイル及び帯装飾描画ツール
  47. Kan/sm1
    • System for computing in the ring of differential operators.
  48. KANT/KASH
    • 代数的数論のための計算機代数システム
  49. KDVI
    • KDE用DVI閲覧ソフト
  50. KGhostView
  51. KidsCindy
    • インタラクティブ作図ソフトウエア
  52. Kig
    • 対話式幾何学ソフトウェア
  53. Kile
    • TeX/LaTeX入力支援環境
  54. KmPlot
    • 関数表示ソフトウェア
  55. KNOT
    • 結び目理論の研究のためのソフトウェア
  56. KnotPlot
    • 結び目理論の研究のためのソフトウェア
  57. Knotscape
    • 結び目理論の研究のためのソフトウェア
  58. KSEG
    • 対話式幾何学ソフトウェア
  59. LAPACK
    • 線形代数ライブラリ
  60. LaTeX
    • 組版処理システム
  61. LaTeX Beamer
    • プレゼンテーション用LaTeXクラスファイル
  62. LaTeX Prosper
    • プレゼンテーション用LaTeXクラスファイル
  63. LiE
    • Lie群とその表現のための計算機代数システム
  64. LyX
    • LyX - The Document Processor.
  65. Macaulay2
    • 代数幾何と可換環のための計算機代数システム
  66. Magnus
    • 無限群のための数学ソフトウェア
  67. math-polyglot
    • 数学ソフトウェアのための実行サンプル収集プロジェクト
  68. Maxima
    • 汎用計算機代数システム
  69. MixedVol
    • Package to evaluate mixed volumes.
  70. MPFR
    • Multiple precision floating-point computation.
  71. NumPy
    • Numerical (matrix-oriented) Mathematics for Python.
  72. NZMATH
    • Python による数論計算システム
  73. Objective Caml
    • 関数型言語 ML
  74. Octave
    • MATLAB類似数値計算システム
  75. Oorange
    • 実験数学のための開発環境
  76. OpenMath
    • 数学オブジェクト表現のための標準
  77. OpenOffice.org
    • フリーのオフィススイーツ
  78. OpenXM
    • 数学に関する通信をやるための基礎技術.
  79. Orb
    • Computer program that can find hyperbolic structures.
  80. PARI/GP
    • 整数論計算機代数システム
  81. Perl
    • プログラミング言語
  82. PHCmaple
    • Maple package
  83. PHoM
    • Software package for a polyhedral homotopy continuation method.
  84. polymake
    • Modular, object-oriented tool for experimental discrete geometry.
  85. ps2img
    • Perl を用いて作成された PostScript 画像変換ツール
  86. pTeX
    • a Japanized TeX distribution
  87. Python
    • オブジェクト指向プログラミング言語
  88. Qhull
    • 凸開包および関連構造計算ツール
  89. Risa/Asir
    • 計算機代数システム
  90. Ruby
    • シンプルかつ強力なオブジェクト指向スクリプト言語
  91. Ruby Algebra
    • 多項式計算ライブラリ
  92. Ruby Polynomial
    • 多項式計算ライブラリ
  93. Ruby Rational
    • 有理数計算ライブラリ
  94. SAGE
    • Software for Algebra and Geometry Experimentation
  95. SARAG
    • 実代数幾何のためのアルゴリズム
  96. Singular
    • 可換代数、代数幾何学研究ツール
  97. SnapPea
    • 双曲的多様体不変量計算ツール
  98. surf
    • 実代数幾何学的可視化ツール
  99. SurfaceEvolver
    • 対話的曲面描画ツール
  100. SYNAPS
    • SYmbolic Numeric APplicationS
  101. TC
    • Tiny C
  102. Teruaki
    • デーンねじれパズルゲーム
  103. tetex
    • UNIX互換システム用TeX
  104. WhizzyTeX
    • TeX入力用Emacsマクロ
  105. XaoS
    • リアルタイム対話式フラクタル拡大プログラム
  106. xdvi
    • DVI閲覧ソフト
  107. xdvik-ja
    • 日本語対応DVI閲覧ソフト
  108. XLISP-STAT
    • 統計的演算用の Lisp ベースな環境
  109. xpdf
    • PDF閲覧ソフト
  110. YACAS
    • Yet Another Computer Algebra System.
  111. YaTeX
    • LaTeX入力支援環境
  112. Yorick
    • スクリプト言語＆科学グラフィックプログラム
トップ   編集 凍結 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 検索 最終更新   ヘルプ   最終更新のRSS
Last-modified: 2015-01-09 (金) 18:44:24