[ ソース: debian-science ]
パッケージ: science-mathematics (1.14.7)
science-mathematics に関するリンク
Debian の資源:
debian-science ソースパッケージをダウンロード:
メンテナ:
外部の資源:
- ホームページ [wiki.debian.org]
類似のパッケージ:
Debian Science 数学パッケージ
このメタパッケージは、数学に関連する Debian Science パッケージ群をインス トールします。あなたの関心次第ですが、field::mathematics という debtag や、 メタパッケージ education-mathematics にも興味があるかもしれません。
その他の science-mathematics 関連パッケージ
|
|
|
|
-
- dep: science-config (= 1.14.7)
- Debian Science Project config package
-
- dep: science-tasks (= 1.14.7)
- Debian Science tasks for tasksel
-
- rec: 4ti2
- mathematical tool suite for problems on linear spaces -- tools
-
- rec: agda
- 依存型付けされた関数プログラミング言語
-
- rec: auto-07p
- software for continuation and bifurcation problems in ODE
-
- rec: axiom
- 汎用計算機代数システム: メインバイナリおよびモジュール
-
- rec: bliss
- グラフの自己同形と標識化を計算するツール -- bin
-
- rec: cohomcalg
- sheaf cohomology of line bundles on toric varieties
-
- rec: coinor-cbc
- Coin-or branch-and-cut 混合整数プログラミングソルバ
-
- rec: coinor-csdp
- Software package for semidefinite programming (binaries)
-
- rec: coinor-libbonmin-dev
- COIN-OR mixed integer programming (developer files)
-
- rec: coinor-symphony
- パッケージは利用できません
-
- rec: coq
- 高階論理証明アシスタント (トップレベルおよびコンパイラ)
-
- rec: cryptominisat
- SAT solver command line interface
-
- rec: eclib-tools
- パッケージは利用できません
-
- rec: eprover
- Equational theorem prover
-
- rec: fenics
- パッケージは利用できません
-
- rec: flintqs
- Program using quadratic sieve to factor integers
-
- rec: form
- Symbolic manipulation system
-
- rec: fplll-tools
- Tools to compute LLL-reduction of Euclidian lattices
-
- rec: freefem
- 有限要素法を用いた偏微分方程式に基づく言語
-
- rec: freefem++
- Provides the binaries of the FreeFem++ FE suite
-
- rec: frobby
- Computations with monomial ideals
-
- rec: gap
- 群論、アルゴリズム、プログラミング向け計算代数システム
-
- rec: gap-character-tables
- GAP 用の文字テーブルライブラリ
-
- rec: gap-design
- block designs for GAP
-
- rec: gap-factint
- advanced methods for factoring integers for GAP
-
- rec: gap-float
- multi-precision floating-point computation for GAP
-
- rec: gap-grape
- GRaph Algorithms using PErmutation groups for GAP
-
- rec: gap-guava
- coding theory library for GAP
-
- rec: gap-laguna
- LAGUNA GAP package
-
- rec: gap-openmath
- OpenMath phrasebook for GAP
-
- rec: gap-sonata
- Systems Of Nearrings And Their Applications for GAP
-
- rec: gap-table-of-marks
- Gap TomLib - Table of Marks の GAP ライブラリ
-
- rec: gap-toric
- toric variety for GAP
-
- rec: geneagrapher
- Create tree from Mathematics Genealogy Project (executable)
-
- rec: geogebra
- Dynamic mathematics software for education
-
- rec: geomview
- 対話的な幾何的図形表示プログラム
-
- rec: gerris
- 流体ソルバ
-
- rec: getdp
- general environment for the treatment of discrete problems
-
- rec: gfan
- program for computing with Groebner fans
-
- rec: ginac-tools
- GiNaC 記号的フレームワーク補助ツール
-
- rec: gmsh
- Three-dimensional finite element mesh generator
-
- rec: graphviz
- 豊富なグラフ描画ツールセット
-
- rec: hol-light
- HOL Light theorem prover
-
- rec: lcalc
- L-関数を計算するプログラム
-
- rec: libjgrapht-java
- Java library of graph theory data structures and algorithms
以下のパッケージによって提供される仮想パッケージでもあります: libjgrapht0.8-java
-
- rec: libmatheval1
- シンボリック数式を評価するための GNU ライブラリ (ランタイム)
-
- rec: lp-solve
- (混合整数) 線形計画法を解決
-
- rec: lrcalc
- programs for calculating Littlewood-Richardson coefficients
-
- rec: lrslib
- 凸多面体の頂点と端射線を列挙するパッケージ
-
- rec: macaulay2
- Software system for algebraic geometry research
-
- rec: magnus
- Very simple screen magnifier
-
- rec: mathicgb
- Compute Groebner bases (command line tool)
-
- rec: mathomatic
- portable Computer Algebra System (CAS)
-
- rec: maxima-sage
- Computer algebra system -- base system
-
- rec: mcl
- Markov Cluster algorithm
-
- rec: minisat
- Fast and lightweight SAT solver
-
- rec: mumps-test
- MUMPS を使用した Example/test バイナリ
-
- rec: nauty
- library for graph automorphisms -- interface and tools
-
- rec: netgen
- 自動三次元四面体メッシュジェネレータ
-
- rec: normaliz
- math computing tools for affine monoids, rational polytopes and cones
-
- rec: octave
- GNU Octave language for numerical computations
-
- rec: palp
- Package for Analyzing Lattice Polytopes
-
- rec: pari-gp
- PARI/GP 計算機代数システムのバイナリファイル
-
- rec: persalys
- GUI for uncertainty treatment and variabilities management
-
- rec: phcpack
- general-purpose solver for polynomial systems (command line)
-
- rec: planarity
- Program for planarity-related graph algorithms
-
- rec: polylib-utils
- libpolylib を使用したさまざまなツール
-
- rec: proofgeneral
- 証明アシスタント用の汎用フロントエンド
-
- rec: python3-deap
- Distributed Evolutionary Algorithms in Python3
-
- rec: python3-dolfin
- パッケージは利用できません
-
- rec: python3-ffc
- compiler for finite element variational forms (Python 3)
-
- rec: python3-minieigen
- Wrapper of parts of the Eigen library (Python 3)
-
- rec: python3-openturns
- Python3 front-end of OpenTURNS (aka TUI)
-
- rec: python3-persalys
- GUI for uncertainty treatment (Python bindings)
-
- rec: python3-sagenb-export
- Convert SageNB Notebooks (Python 3)
-
- rec: python3-ufl
- unified language for form-compilers (Python 3)
-
- rec: qepcad
- quantifier elimination tool
-
- rec: qhull-bin
- 凸開包および関連構造を計算 (ユーティリティ)
-
- rec: qsopt-ex
- Exact linear programming solver
-
- rec: regina-normal
- パッケージは利用できません
-
- rec: rheolef
- パッケージは利用できません
-
- rec: rubiks
- Small collection of Rubik's cube solvers
-
- rec: sagemath
- パッケージは利用できません
-
- rec: sagemath-database-conway-polynomials
- Database of Conway polynomials
-
- rec: sagemath-database-cremona-elliptic-curves
- Databases of elliptic curves over the rationals
-
- rec: sagemath-database-elliptic-curves
- Databases for elliptic curves
-
- rec: sagemath-database-graphs
- Databases of graphs
-
- rec: sagemath-database-mutually-combinatorial-designs
- Databases of combinatorial designs
-
- rec: sagemath-database-polytopes
- Databases of polytopes
-
- rec: science-statistics
- Debian Science 統計学パッケージ
-
- rec: scilab
- 数値計算用の科学ソフトウェアパッケージ
-
- rec: scotch
- グラフ、メッシュとハイパーグラフ分割のためのプログラムとライブラリ
-
- rec: singular
- Computer Algebra System for Polynomial Computations
-
- rec: surf-alggeo
- visualization of real algebraic geometry
-
- rec: sympow
- mathematical program for SYMmetric POWer elliptic curve L-functions -- program
-
- rec: tachyon
- 並列/マルチプロセッサスタンドアロンレイトレーシングシステム - メタパッケージ
-
- rec: tetgen
- Quality Tetrahedral Mesh Generator
-
- rec: topcom
- Triangulations Of Point Configurations and Oriented Matroids
-
- rec: toulbar2
- Exact combinatorial optimization for Graphical Models
-
- rec: wxmaxima
- 計算機代数システム Maxima 用 GUI
-
- rec: xcas
- Computer Algebra System - console and graphical calculator
-
- rec: xmaxima
- 計算機代数システム -- X インターフェイス
-
- rec: xmds2
- eXtensible Multi-Dimensional Simulator
-
- sug: ann-tools
- Approximate Nearest Neighbor Searching library (tools)
-
- sug: cliquer
- クリーク探索プログラム
-
- sug: evolver-ogl
- Surface Evolver - with OpenGL display
- または evolver-nox
- Surface Evolver - with no X support
-
- sug: feel++-apps
- パッケージは利用できません
-
- sug: freefem3d
- パッケージは利用できません
-
- sug: freemat
- パッケージは利用できません
-
- sug: gap-gapdoc
- GAPDoc - GAP ドキュメンテーションのメタパッケージ
-
- sug: gap-io
- low level C library IO bindings for GAP
-
- sug: gap-online-help
- GAP コンピュータ代数システム - オンラインヘルプ
-
- sug: gap-prim-groups
- パッケージは利用できません
-
- sug: gap-scscp
- SCSCP protocol in GAP
-
- sug: gap-small-groups
- パッケージは利用できません
-
- sug: gap-small-groups-extra
- パッケージは利用できません
-
- sug: gap-trans-groups
- パッケージは利用できません
-
- sug: gmp-ecm
- 楕円曲線法を使った素因数分解
-
- sug: isabelle
- パッケージは利用できません
-
- sug: julia
- パッケージは利用できません
-
- sug: libspectra-dev
- library for large scale eigenvalue problems (development files)
-
- sug: matita
- パッケージは利用できません
-
- sug: matlab-support
- distro integration for local MATLAB installations
-
- sug: model-builder
- パッケージは利用できません
-
- sug: netgen-doc
- 自動三次元四面体メッシュ生成ツール - ドキュメンテーション
-
- sug: octaviz
- パッケージは利用できません
-
- sug: primesieve
- fast prime number generator C/C++ library
-
- sug: prover9
- パッケージは利用できません
-
- sug: pyomo
- パッケージは利用できません
-
- sug: r-cran-evd
- 極値分布のための GNU R 関数
-
- sug: sagetex
- パッケージは利用できません
-
- sug: scilab-ann
- パッケージは利用できません
-
- sug: snappea
- パッケージは利用できません
-
- sug: xmds
- パッケージは利用できません