"bullseye" のサブセクション math に含まれるソフトウェアパッケージ

4ti2 (1.6.9+ds-2)
mathematical tool suite for problems on linear spaces -- tools
acl2 (8.3dfsg-2)
Computational Logic for Applicative Common Lisp: main binary
acl2-books (8.3dfsg-2)
Computational Logic for Applicative Common Lisp: compiled libraries
acl2-books-certs (8.3dfsg-2)
Computational Logic for Applicative Common Lisp: library certificates
acl2-books-source (8.3dfsg-2)
Computational Logic for Applicative Common Lisp: library sources
acl2-emacs (8.3dfsg-2)
Computational Logic for Applicative Common Lisp: emacs interface
acl2-infix (8.3dfsg-2)
Computational Logic for Applicative Common Lisp: infix interface
acl2-infix-source (8.3dfsg-2)
Computational Logic for Applicative Common Lisp: infix source
acl2-source (8.3dfsg-2)
Computational Logic for Applicative Common Lisp: source files
admesh (0.98.4-1)
Tool for processing triangulated solid meshes. Binary
alt-ergo (2.0.0-7+b4)
Automatic theorem prover dedicated to program verification
ann-tools (1.1.2+doc-7)
Approximate Nearest Neighbor Searching library (tools)
apcalc (2.12.7.2-4)
移行用パッケージ
apcalc-common (2.12.7.2-4)
移行用パッケージ
apophenia-bin (1.0+ds-8+b1)
Apophenia Statistical C Library -- binary package
aribas (1.64-6)
演算用インタプリタ
auto-07p (0.9.2+dfsg-3+b1)
software for continuation and bifurcation problems in ODE
autoclass (3.3.6.dfsg.1-2)
automatic classification or clustering
axiom (20170501-6)
汎用計算機代数システム: メインバイナリおよびモジュール
axiom-databases (20170501-6)
汎用計算機代数システム: 生成されたテキストデータベース
axiom-graphics (20170501-6)
汎用計算機代数システム: グラフィックサブシステム
axiom-graphics-data (20170501-6)
汎用計算機代数システム: グラフィックサブシステム
axiom-hypertex (20170501-6)
汎用計算機代数システム: hypertex サブシステム
axiom-hypertex-data (20170501-6)
汎用計算機代数システム: hypertex サブシステム
axiom-source (20170501-6)
汎用計算機代数システム: ソースファイル
axiom-test (20170501-6)
汎用計算機代数システム: 回帰テスト用入力
axiom-tex (20170501-6)
汎用計算機代数システム: TeX 用スタイルファイル
bc (1.07.1-2+b2)
GNU bc: 任意精度の計算言語
bindechexascii (0.0+20140524.git7dcd86-4+b1)
simple ASCII,binary,decimal and hex converter
bliss (0.73-5)
グラフの自己同形と標識化を計算するツール -- bin
braillegraph (0.3-1)
simple histogram tool producing text dot-matrix graphs
bytes-circle (2.6-1)
Show byte statistics as an ASCII circle graph
cadabra (1.46-5)
場の理論に動機付けられた計算機代数システム
cadabra2 (2.3.6.8-1)
field-theory motivated computer algebra system
calc (2.12.7.2-4)
Arbitrary precision calculator
calc-common (2.12.7.2-4)
Arbitrary precision calculator (common files)
calligrasheets (1:3.2.1+dfsg-2+b5)
spreadsheet for the Calligra Suite
calligrasheets-data (1:3.2.1+dfsg-2)
data files for Sheets spreadsheet
cantor (4:20.12.1-5)
interface for mathematical applications
cantor-backend-julia (4:20.12.1-5)
Julia backend for Cantor
cantor-backend-kalgebra (4:20.12.1-5)
KAlgebra backend for Cantor
cantor-backend-lua (4:20.12.1-5)
Lua backend for Cantor
cantor-backend-maxima (4:20.12.1-5)
Maxima backend for Cantor
cantor-backend-octave (4:20.12.1-5)
Octave backend for Cantor
cantor-backend-python3 (4:20.12.1-5)
Python3 backend for Cantor
cantor-backend-qalculate (4:20.12.1-5)
Qalculate! backend for Cantor
cantor-backend-r (4:20.12.1-5)
R backend for Cantor
cantor-backend-sage (4:20.12.1-5)
Sage backend for Cantor
cantor-backend-scilab (4:20.12.1-5)
Scilab backend for Cantor
carmetal (3.5.2+dfsg-1.2)
dynamic geometry software with highly ergonomic UI
cimg-dev (2.9.4+dfsg-2)
powerful image processing library
clblast-tests (1.5.2-2)
Tests for CLBlast
clblast-utils (1.5.2-2)
Utilities for CLBlast
cliquer (1.21-2)
クリーク探索プログラム
cohomcalg (0.32+ds-3)
sheaf cohomology of line bundles on toric varieties
cohomcalg-common (0.32+ds-3)
sheaf cohomology of line bundles on toric varieties (common files)
concalc (0.9.2-2+b2)
端末用計算機
coq (8.12.0-3+b3)
高階論理証明アシスタント (トップレベルおよびコンパイラ)
coq-theories (8.12.0-3+b3)
高階論理用の証明アシスタント (理論)
coqide (8.12.0-3+b3)
高階論理用証明アシスタント (gtk インターフェイス)
cryptominisat (5.8.0+dfsg1-1+b3)
SAT solver command line interface
cvc4 (1.8-2)
automated theorem prover for SMT problems
dc (1.07.1-2+b2)
GNU dc - 任意精度の逆ポーランド式計算器
deepin-calculator (5.6.0.10-2)
Calculator for DDE (Deepin Desktop Environment)
dicelab (0.7-5+b1 [amd64], 0.7-5 [arm64, armel, armhf, i386, mips64el, mipsel, ppc64el, s390x])
evaluate the statistical distribution of dice rolls
dolfin-bin (2019.2.0~git20201207.b495043-5)
Executable scripts for DOLFIN
dynare (4.6.3-4)
platform for handling a wide class of economic models
dynare-matlab (4.6.3-4) [contrib]
MATLAB support for Dynare
eclib-tools (20190909-3+b1)
Programs for modular symbols and elliptic curves over Q
elpa-fricas (1.3.6-6)
General purpose computer algebra system: emacs support
eukleides (1.5.4-4.3)
ユークリッド幾何学図形言語
euler (1.61.0-12)
対話的な数学プログラミング環境
evolver (2.70+ds-8)
Surface Evolver
evolver
以下のパッケージによって提供される仮想パッケージです: evolver-nox, evolver-ogl
evolver-nox (2.70+ds-8)
Surface Evolver - with no X support
evolver-ogl (2.70+ds-8)
Surface Evolver - with OpenGL display
fenics (1:2019.2.0.5)
Automated Solution of Differential Equations
fenicsx (1:2019.2.0.5)
Automated Solution of Differential Equations
fflas-ffpack (2.4.3-2)
Finite field linear algebra subroutines/package
fflas-ffpack-common (2.4.3-2)
Finite field linear algebra subroutines/package - common files
flintqs (1:1.0-3+b1 [amd64], 1:1.0-3 [arm64, armel, armhf, i386, mips64el, mipsel, ppc64el, s390x])
Program using quadratic sieve to factor integers
fplll-tools (5.4.0-2)
Tools to compute LLL-reduction of Euclidian lattices
freefem (3.5.8-7)
有限要素法を用いた偏微分方程式に基づく言語
freefem-examples (3.5.8-7)
FreeFEM 用サンプルファイル
fricas (1.3.6-6)
General purpose computer algebra system: main binary and modules
fricas-databases (1.3.6-6)
General purpose computer algebra system: generated text databases
fricas-graphics (1.3.6-6)
General purpose computer algebra system: graphics subsystem
fricas-graphics-data (1.3.6-6)
General purpose computer algebra system: graphics data
fricas-hypertex (1.3.6-6)
General purpose computer algebra system: hypertex subsystem
fricas-hypertex-data (1.3.6-6)
General purpose computer algebra system: hypertex data
fricas-source (1.3.6-6)
General purpose computer algebra system: source files
fricas-test (1.3.6-6)
General purpose computer algebra system: regression test inputs
frobby (0.9.1-1)
Computations with monomial ideals
galculator (2.1.4-1.1)
科学計算機
gap (4.11.0-4)
群論、アルゴリズム、プログラミング向け計算代数システム
gap-aclib (1.3.2-2)
GAP AClib - Almost Crystallographic Groups - A Library and Algorithms
gap-alnuth (3.1.2-2)
GAP Alnuth - 代数的数論パッケージおよび PARI/GP へのインターフェース
gap-atlasrep (2.1.0-3)
GAP AtlasRep - 群論アトラスへの GAP インターフェース
gap-autodoc (2019.09.04-1)
GAP AutoDoc - Generate documentation from GAP source code
gap-autpgrp (1.10.2-2)
GAP AutPGrp - p-群の自己同型群の計算
gap-character-tables (1.3.1-1)
GAP 用の文字テーブルライブラリ
gap-core (4.11.0-4)
GAP コンピュータ代数システム - コアコンポーネント
gap-cryst (4.1.23-2)
GAP Cryst - Computing with crystallographic groups
gap-crystcat (1.1.9-2)
GAP CrystCat - The crystallographic groups catalog
gap-design (1.7+ds-2)
block designs for GAP
gap-factint (1.6.3+ds-1)
advanced methods for factoring integers for GAP
gap-fga (1.4.0-2)
GAP FGA - Free Group Algorithms
gap-float (0.9.1+ds-6+b1)
multi-precision floating-point computation for GAP
gap-gapdoc (1.6.3-1)
GAPDoc - GAP ドキュメンテーションのメタパッケージ
gap-grape (4.8.3+ds-1)
GRaph Algorithms using PErmutation groups for GAP
gap-guava (3.15+ds-3)
coding theory library for GAP
gap-guava-bin (3.15+ds-3)
coding theory library for GAP (arch-dep files)
gap-io (4.7.0+ds-2)
low level C library IO bindings for GAP
gap-laguna (3.9.3+ds-2)
LAGUNA GAP package
gap-libs (4.11.0-4)
GAP コンピュータ代数システム - 必須の GAP ライブラリ
gap-nq (2.5.4-2)
GAP nq - Nilpotent Quotients of Finitely Presented Groups
gap-online-help (4.11.0-4)
GAP コンピュータ代数システム - オンラインヘルプ
gap-openmath (11.5.0+ds-2)
OpenMath phrasebook for GAP
gap-polycyclic (2.15.1-1)
GAP Polyciclic - ポリサイクリック群についての計算
gap-primgrp (3.4.0-1)
GAP PrimGrp - GAP Primitive Permutation Groups Library
gap-radiroot (2.8-1.1)
GAP RadiRoot - 根基としての多項式の根
gap-scscp (2.3.1+ds-2)
SCSCP protocol in GAP
gap-smallgrp (1.4.1-2)
GAP SmallGrp - The GAP Small Groups Library
gap-smallgrp-extra (1.4.1-2)
GAP SmallGrp - The GAP Small Groups Library
gap-sonata (2.9.1+ds-3)
Systems Of Nearrings And Their Applications for GAP
gap-table-of-marks (1.2.9-1)
Gap TomLib - Table of Marks の GAP ライブラリ
gap-toric (1.9.5+ds-1)
toric variety for GAP
gap-transgrp (2.0.6-2)
GAP TransGrp - Transitive Groups Library
gbase (0.5-2.2+b2)
小さな基数変換プログラム
geg (2.0.9-3+b1 [amd64], 2.0.9-3 [arm64, armel, armhf, i386, mips64el, mipsel, ppc64el, s390x])
GTK+ 版の方程式グラフプログラム
geneagrapher (1.0c2+git20180919-2)
Create tree from Mathematics Genealogy Project
geomview (1.9.5-3)
対話的な幾何的図形表示プログラム
geophar (18.08.7+dfsg1-1)
Swiss army knife for the math teacher
getdp (3.2.0+dfsg1-1.1+b2)
general environment for the treatment of discrete problems
getdp-sparskit (3.2.0+dfsg1-1.1+b2)
general environment for the treatment of discrete problems
gfan (0.6.2-4)
program for computing with Groebner fans
gfm (1.08-1+b1 [amd64], 1.08-1 [arm64, armel, armhf, i386, mips64el, mipsel, ppc64el, s390x])
Texas Instruments hand-helds file manipulation program for X
ggobi (2.1.11-2+b1)
高次元データ用データ可視化システム
ginac-tools (1.8.0-2)
GiNaC 記号的フレームワーク補助ツール
glpk-utils (5.0-1)
linear programming kit - utility files
gmp-ecm (7.0.4+ds-5)
楕円曲線法を使った素因数分解
gmsh (4.7.1+ds1-5)
Three-dimensional finite element mesh generator
gnome-calculator (3.38.2-1)
GNOME デスクトップ電卓
gnumeric (1.12.48-1+b2)
GNOME 用スプレッドシートアプリケーション - メインプログラム
gnumeric-common (1.12.48-1)
GNOME 用スプレッドシートアプリケーション - 共通ファイル
gnumeric-plugins-extra (1.12.48-1+b2)
spreadsheet application for GNOME - additional plugins
gnuplot (5.4.1+dfsg1-1+deb11u1)
Command-line driven interactive plotting program.
gnuplot
以下のパッケージによって提供される仮想パッケージです: gnuplot-nox, gnuplot-x11, gnuplot-qt
gnuplot-mode (1:0.7.0-2014-12-31-2)
Transition Package, gnuplot-mode to elpa-gnuplot-mode
gnuplot-mode
以下のパッケージによって提供される仮想パッケージです: elpa-gnuplot-mode
gnuplot-nox (5.4.1+dfsg1-1+deb11u1)
Command-line driven interactive plotting program. No-X package
gnuplot-nox
以下のパッケージによって提供される仮想パッケージです: gnuplot-x11, gnuplot-qt
gnuplot-qt (5.4.1+dfsg1-1+deb11u1)
Command-line driven interactive plotting program. QT-package
gnuplot-x11 (5.4.1+dfsg1-1+deb11u1)
Command-line driven interactive plotting program. X-package
gnuplot-x11
以下のパッケージによって提供される仮想パッケージです: gnuplot-qt
grace (1:5.1.25-9)
XY graphing and plotting tool
graphmonkey (1.7-4.1)
GTK# ベースのグラフ計算機
gretl (2021a-1)
GNU Regression, Econometric & Time-Series Library
gretl-common (2021a-1)
GNU Regression, Econometric & Time-Series Library -- scripts package
gretl-data (2021a-1)
GNU Regression, Econometric & Time-Series Library -- data package
grpn (1.4.1-1+b1 [amd64], 1.4.1-1 [arm64, armel, armhf, i386, mips64el, mipsel, ppc64el, s390x])
GTK+ reverse polish notation calculator
gsl-bin (2.6+dfsg-2)
GNU 科学ライブラリ (GSL) -- バイナリパッケージ
gudhi-utils (3.4.1+dfsg-1)
Utilities from the GUDHI library
gudhui (3.4.1+dfsg-1)
GUI for some of the functionality of the GUDHI library
hera-utils (0~git20200602+dfsg-3)
Utilities built from the Hera library
hol-light (20190729-4+b3)
HOL Light theorem prover
hol88 (2.02.19940316-35.1)
Higher Order Logic, system image
hol88-contrib-help (2.02.19940316-35.1)
Higher Order Logic, user contributed online help files
hol88-contrib-source (2.02.19940316-35.1)
Higher Order Logic, user contributed source
hol88-help (2.02.19940316-35.1)
Higher Order Logic, online help files
hol88-library (2.02.19940316-35.1)
Higher Order Logic, binary library modules
hol88-library-help (2.02.19940316-35.1)
Higher Order Logic, library online help files
hol88-library-source (2.02.19940316-35.1)
Higher Order Logic, library source files
hol88-source (2.02.19940316-35.1)
Higher Order Logic, source files
jacal (1c7-2)
Interactive symbolic math system
jags (4.3.0-3)
ベイジアン MCMC 向け Just Another Gibbs Sanpler - バイナリ
jfractionlab (0.92-2)
Educative program to practice fractions
jgraph (83-23+b1)
Jim Plank 作の PostScript グラフ作成プログラム
jsurf-alggeo (0.4.1+ds-3)
Java based visualization library for real algebraic geometry
kalgebra (4:20.12.1-1)
代数グラフ電卓
kalgebra-common (4:20.12.1-1)
contains files common for kalgebra and kalgebramobile
kalgebramobile (4:20.12.1-1)
algebraic graphing calculator for small touch based interfaces
kali (3.1-18)
タイルや帯装飾などを描画
kbruch (4:20.12.0-1)
KDE 用の分数学習補助ツール
kcalc (4:20.12.0-1)
シンプルな関数電卓
kig (4:20.12.2-1)
interactive geometry tool
kissfft-tools (131.1.0-1)
Mixed-radix Fast Fourier Transform library (CLI tools)
kmplot (4:20.12.0-1)
KDE 用数学関数プロッタ
labplot (2.8.1-2)
interactive graphing and analysis of scientific data
labplot-data (2.8.1-2)
data files for labplot
lcalc (1.23+dfsg-11+b1)
L-関数を計算するプログラム
libcantorlibs28 (4:20.12.1-5)
interface for mathematical applications - shared library
libcdd-tools (094l-2)
Programs using libcdd
libfp16-dev (0.0~git20200514.4dfe081-2)
Conversion to/from half-precision floating point formats
libfxdiv-dev (0.0~git20200417.b408327-3)
division via fixed-point multiplication by inverse
libgts-bin (0.7.6+darcs121130-4+b1)
libgts のユーティリティバイナリ
liblrs1 (0.71a-1)
頂点と端射線を列挙するパッケージ (共有ライブラリ)
libmagma-doc (2.5.4+ds-3) [contrib]
Matrix Algebra on GPU and Multicore Architectures (doc)
libmagma-test (2.5.4+ds-3) [contrib]
Matrix Algebra on GPU and Multicore Architectures (tests)
libreoffice-nlpsolver (0.9+LibO7.0.4-4+deb11u8)
"Solver for Nonlinear Programming" extension for LibreOffice
libsbml5-octave (5.19.0+dfsg-1)
System Biology Markup Language library - Octave bindings
libssreflect-coq (1.12.0-1)
Mathematical Components library for Coq
libxnnpack-dev (0.0~git20201031.beca652+really.git20200323.1b35463-2)
High-efficiency floating-point neural network inference operators (dev)
libxnnpack0 (0.0~git20201031.beca652+really.git20200323.1b35463-2)
High-efficiency floating-point neural network inference operators (libs)
lie (2.2.2+dfsg-3+b1)
Computer algebra package for Lie group computations
lp-solve (5.5.2.5-2)
(混合整数) 線形計画法を解決
lrcalc (1.2-2+b1)
programs for calculating Littlewood-Richardson coefficients
lrslib (0.71a-1)
凸多面体の頂点と端射線を列挙するパッケージ
lybniz (3.0.4-5)
mathematical function graph plotter
macaulay2 (1.17.1+ds-2)
Software system for algebraic geometry research
macaulay2-common (1.17.1+ds-2)
Software system for algebraic geometry research (common files)
mandelbulber2 (2.20-2)
3D fractal renderer and animator
mandelbulber2-data (2.20-2)
3D fractal renderer and animator - data files
maria (1.3.5-4.1+b2)
reachability analyzer for Algebraic System Nets
mate-calc (1.24.1-1)
MATE desktop calculator
mate-calc-common (1.24.1-1)
MATE desktop calculator (common files)
mathicgb (1.0~git20200526-1)
Compute Groebner bases (command line tool)
mathomatic (16.0.5-4)
portable Computer Algebra System (CAS)
mathomatic-primes (16.0.5-4)
prime number tools for mathomatic
mathpiper (0.81f+svn4469+dfsg3-3.1)
Java Computer Algebra System
matio-tools (1.5.19-2)
MATLAB MAT File I/O Library - command-line tools
matlab2tikz (1.1.0-7)
converter of Octave plots to TikZ figures (for integration into LaTeX)
maxima (5.44.0-3)
計算機代数システム -- ベースシステム
maxima-emacs (5.44.0-3)
計算機代数システム -- emacs インターフェイス
maxima-sage (5.44.0-1+b1)
Computer algebra system -- base system
maxima-sage-share (5.44.0-1)
Computer algebra system -- extra code
maxima-share (5.44.0-3)
計算機代数システム -- 追加コード
maxima-src (5.44.0-3)
計算機代数システム -- ソースコード
maxima-test (5.44.0-3)
計算機代数システム -- テストスイート
mcl (1:14-137+ds-9+b1)
Markov Cluster algorithm
metamath (0.195-1)
Language for mathematical proofs
metamath-databases (0.0.0~20210101.git55fe226-2)
Sample databases for Metamath
metis (5.1.0.dfsg-7)
Serial Graph Partitioning and Fill-reducing Matrix Ordering. Binaries
metis-edf (4.1-2-4+b1) [non-free]
Family of Multilevel Partitioning Algorithms
ministat (20150715-1+b1)
simple tool for statistical comparison of data sets
minlog (4.0.99.20100221-7)
Proof assistant based on first order natural deduction calculus
mongoose (1:5.8.1+dfsg-2)
graph partitioning tool that can quickly compute edge cuts (executable)
mplrs (0.71a-1)
package to enumerate vertices and extreme rays of a convex polyhedron (parallel binary)
mumps-test (5.3.5-2)
MUMPS を使用した Example/test バイナリ
nauty (2.7r1+ds-2)
library for graph automorphisms -- interface and tools
netgen (6.2.2006+really6.2.1905+dfsg-2.1)
自動三次元四面体メッシュジェネレータ
normaliz (3.8.9+ds-0.1)
math computing tools for affine monoids, rational polytopes and cones
normaliz-bin (3.8.9+ds-0.1)
math computing tools for affine monoids, rational polytopes and cones - bin
num-utils (0.5-15)
コマンドラインから数を扱うためのプログラム
octave (6.2.0-1)
GNU Octave language for numerical computations
octave-arduino (0.6.0-1)
Octave Arduino Toolkit
octave-audio (2.0.2-1+b2)
MIDI functions for Octave
octave-bim (1.1.5-7)
PDE solver using a finite element/volume approach in Octave
octave-bsltl (1.3.1-3)
biospeckle laser tool library for Octave
octave-cgi (0.1.2-3)
Common Gateway Interface for Octave
octave-common (6.2.0-1)
architecture-independent files for octave
octave-communications (1.2.2-4)
communications package for Octave
octave-communications-common (1.2.2-4)
communications package for Octave (arch-indep files)
octave-control (3.2.0-5+b1)
computer-aided control system design (CACSD) for Octave
octave-data-smoothing (1.3.0-8)
functions to do data smoothing on noisy data
octave-database (2.4.4-3.1+b1)
interface to SQL databases in Octave
octave-dataframe (1.2.0-5)
manipulate data in Octave similar to R data.frame
octave-dicom (0.4.0-1+b1)
manipulate DICOM files in Octave
octave-divand (1.1.2+dfsg-5)
n-dimensional interpolation for Octave
octave-doctest (0.7.0-4)
documentation tests for Octave
octave-econometrics (1:1.1.2-3+b2 [amd64], 1:1.1.2-3+b1 [arm64, armel, armhf, i386, mips64el, mipsel, ppc64el, s390x])
econometrics functions for Octave
octave-financial (0.5.3-3)
financial package for Octave
octave-fits (1.0.7-6+b2)
manipulation of FITS files in Octave
octave-fpl (1.3.5-6)
plot data on unstructured triangular and tetrahedral meshes in Octave
octave-fuzzy-logic-toolkit (0.4.5-4)
fuzzy logic toolkit for Octave
octave-ga (0.10.2-1)
genetic optimization code for Octave
octave-general (2.1.1-3+b1)
provide extra general functions for Octave
octave-geometry (4.0.0-2+b1)
extension of MatGeom functionality in Octave
octave-gsl (2.1.1-5+b1)
GSL binding for Octave
octave-image (2.12.0-10)
image manipulation for Octave
octave-image-acquisition (0.2.2-4+b1)
image acquisition package for Octave
octave-instrument-control (0.6.0-2+b1)
instrument control for Octave
octave-interval (3.2.0-7)
real-valued interval arithmetic for Octave
octave-io (2.6.3-1+b1)
input/output data functions for Octave
octave-level-set (0.3.1~git.2019.04.13-2)
level-set toolbox for Octave
octave-linear-algebra (2.2.3-3)
additional linear-algebra functions for Octave
octave-lssa (0.1.4-1+b1)
least squares spectral analysis for Octave
octave-ltfat (2.3.1+dfsg-8)
Large Time/Frequency Analysis Toolbox
octave-ltfat-common (2.3.1+dfsg-8)
Large Time/Frequency Analysis Toolbox (arch-indep files)
octave-mapping (1.4.1-1+b2)
geographical mapping functions for Octave
octave-matgeom (1.2.2-3)
computational geometry for Octave
octave-miscellaneous (1.3.0-3+b1)
miscellaneous tools for Octave
octave-missing-functions (1.0.2-10)
finds functions that are in Matlab but not in Octave
octave-mpi (3.1.0-1+b1)
Octave toolbox for parallel computing using MPI
octave-msh (1.0.10-11)
create and manage meshes for FE or FV solvers in Octave
octave-mvn (1.1.0-3)
multivariate normal distribution clustering for Octave
octave-nan (3.5.2-1+b1)
handles data with and without missing values in Octave
octave-ncarray (1.0.4-3)
access NetCDF files as a multi-dimensional array in Octave
octave-netcdf (1.0.14-1+b1)
Matlab compatible NetCDF interface for Octave
octave-nlopt (2.7.0-4+b2)
nonlinear optimization library -- GNU Octave package
octave-nurbs (1.3.13-10)
non-uniform rational B-splines for Octave
octave-octclip (2.0.1-1+b1)
boolean operations with polygons in Octave
octave-octproj (2.0.1-1+b1)
GNU Octave bindings to PROJ.4
octave-optics (0.1.4-3)
optics functions for Octave
octave-optim (1.6.0-6)
unconstrained non-linear optimization toolkit for Octave
octave-optiminterp (0.3.6-3+b1)
optimal interpolation package for Octave
octave-parallel (4.0.0-2+b1)
parallel execution of Octave in clusters of computers
octave-quaternion (2.4.0-9)
quaternion package for Octave
octave-queueing (1.2.7-3)
Queueing Networks and Markov chains analysis for Octave
octave-secs1d (0.0.9-7)
semi conductor simulator in 1D for Octave
octave-secs2d (0.0.8-15)
semi conductor simulator in 2D for Octave
octave-secs3d (0.0.1-3)
Drift-Diffusion simulator for 3d semiconductor devices in Octave
octave-signal (1.4.1-4+b1)
signal processing functions for Octave
octave-sockets (1.2.1-1+b1)
communication through Internet sockets in Octave
octave-sparsersb (1.0.8-3)
RSB sparse matrix manipulation for Octave
octave-specfun (1.1.0-7)
special mathematical functions for Octave
octave-splines (1.3.3-2)
cubic spline functions for Octave
octave-statistics (1.4.2-2)
additional statistical functions for Octave
octave-stk (2.6.1-5)
(not so) Small Toolbox for Kriging
octave-strings (1.2.0-10)
additional string manipulation functions for Octave
octave-struct (1.0.16-8)
additional structure manipulation functions for Octave
octave-tsa (4.6.2-2)
time series analysis in Octave
octave-vibes (0.2.0-7)
VIBes API to easily display results in Octave
octave-video (2.0.0-2+b1)
video file reader/writer for Octave
octave-vrml (1.0.13-6)
VRML functions for Octave
octave-zenity (0.5.7-12)
simple graphical user interfaces using zenity in Octave
octave-zeromq (1.5.2-1+b1)
ZeroMQ binding for Octave
orpie (1.6.1-1)
端末用 RPN 計算機
palp (2.20-1)
Package for Analyzing Lattice Polytopes
pari-elldata (0.20190911-1)
PARI/GP Computer Algebra System elliptic curves (elldata)
pari-galdata (0.20080411-3)
PARI/GP Computer Algebra System Galois resolvents (galdata)
pari-galpol (4.0-1.1)
PARI/GP Computer Algebra System Galois polynomial database
pari-gp (2.13.1-1)
PARI/GP 計算機代数システムのバイナリファイル
pari-gp2c (0.0.12-2)
PARI/GP GP から C 言語へのコンパイラ
pari-seadata (0.20090618-2)
PARI/GP Computer Algebra System modular polynomials (seadata)
parmetis-test (4.0.3-5+b1) [non-free]
Parallel Graph Partitioning and Sparse Matrix Ordering Tests
pdl (1:2.025-1)
perl data language: Perl extensions for numerics
pgplot5 (5.2.2-19.4) [non-free]
large subroutine library for plotting scientific data
phat-utils (1.6-2)
Utilities from the PHAT library
pi (1.3.6-4)
アルキメデスの定理である円周率を任意の精度で計算
planarity (3.0.1.0-1)
Program for planarity-related graph algorithms
plotutils (2.6-11)
libplot ベースの GNU plotutils コマンドラインツール群
plplot-tcl (5.15.0+dfsg-19)
Tcl/Tk support for PLplot, a plotting library
plplot-tcl-bin (5.15.0+dfsg-19)
Tcl/Tk tools for PLplot, a plotting library
plplot-tcl-dev (5.15.0+dfsg-19)
Tcl/Tk development support for PLplot, a plotting library
polylib-utils (5.22.5-4+dfsg)
libpolylib を使用したさまざまなツール
polymake (4.3-4)
Tool for algorithmic discrete geometry
polymake-common (4.3-4)
Tool for algorithmic discrete geometry -- shared files
primesieve (7.6+ds-1)
fast prime number generator C/C++ library
primesieve-bin (7.6+ds-1)
fast prime number generator C/C++ library -- bin
psignifit (2.5.6-7)
サイコメトリック関数についての仮説のフィッティング及びテスティング
pspp (1.4.1-1)
Statistical analysis tool
ptscotch (6.1.0-2)
MPI programs and libraries for graph, mesh and hypergraph partitioning
pyecm (2.0.3-1)
integer factorization with the Elliptic Curve Method (ECM)
pyxplot (0.9.2-12)
data plotting program producing publication-quality output
qalc (2.8.2-1.1)
パワフルで使いやすいコマンドライン計算機
qhull-bin (2020.2-3)
凸開包および関連構造を計算 (ユーティリティ)
qsopt-ex (2.5.10.3-2)
Exact linear programming solver
quickplot (1.0.1~rc-1+b3)
高速で対話式の 2D プロッタ兼データビューア
r-bioc-hilbertvis (1.48.0-1)
GNU R package to visualise long vector data
regina-normal (6.0.1-4)
mathematical software for low-dimensional topology
relational (3.0-1)
関係代数向け教育的ツール(グラフィカルユーザーインターフェース)
relational-cli (3.0-1)
関係代数向け教育的ツール(コマンドラインインターフェース)
rheolef (7.1-6)
efficient Finite Element environment
ries (2018.08.05-1)
find algebraic equations, given their solution
ripser (1.1.20200206.286d36-3)
Fast computation of persistent homology of flag complexes
rkward (0.7.2-1)
R 統計言語用 KDE フロントエンド
rkward-data (0.7.2-1)
KDE frontend to the R statistics language - data files
rocs (4:20.12.1-1)
graph theory IDE
rubiks (20070912-5)
Small collection of Rubik's cube solvers
sagemath (9.2-2)
Open Source Mathematical Software
sagemath-common (9.2-2)
Open Source Mathematical Software - architecture-independent files
sagemath-database-conway-polynomials (0.5-8)
Database of Conway polynomials
sagemath-database-cremona-elliptic-curves (0~20191029-3)
Databases of elliptic curves over the rationals
sagemath-database-elliptic-curves (0.8.1-5)
Databases for elliptic curves
sagemath-database-graphs (20161026+dfsg-5)
Databases of graphs
sagemath-database-mutually-combinatorial-designs (20140630-6)
Databases of combinatorial designs
sagemath-database-polytopes (20170220-5)
Databases of polytopes
sagemath-doc (9.2-2)
Open Source Mathematical Software - documentation
sagemath-doc-en (9.2-2)
移行用パッケージ
sagemath-jupyter (9.2-2)
Open Source Mathematical Software - Jupyter kernel
sc (7.16-4+b3)
vi 似なキーバインド付の、テキストベースのスプレッドシート
scalapack-mpi-test (2.1.0-4)
Scalable Linear Algebra Package - Test files for MPI
scilab (6.1.0+dfsg1-7)
数値計算用の科学ソフトウェアパッケージ
scilab-cli (6.1.0+dfsg1-7)
科学ソフトウェアパッケージ - コマンドラインインタープリタ
scilab-data (6.1.0+dfsg1-7)
数値計算用の科学ソフトウェアパッケージ (データファイル)
scilab-full-bin (6.1.0+dfsg1-7)
数値計算用の科学ソフトウェアパッケージ(全バイナリファイル)
scilab-include (6.1.0+dfsg1-7)
数値計算用の科学ソフトウェアパッケージ (インクルードファイル)
scilab-minimal-bin (6.1.0+dfsg1-7)
数値計算用の科学ソフトウェアパッケージ (最小限のバイナリファイル)
scilab-test (6.1.0+dfsg1-7)
数値計算用の科学ソフトウェアパッケージ (テストファイル)
scotch (6.1.0-2)
グラフ、メッシュとハイパーグラフ分割のためのプログラムとライブラリ
sdpa (7.3.15+dfsg-1)
High-performance package for SemiDefinite Programs
sdpam (7.3.15+dfsg-1)
Matlab/Octave interface of SDPA
sdpb (1.0-4)
半正定値計画問題ソルバ
sgb (1:20210202-1) [non-free]
The Stanford GraphBase: combinatorial data and algorithms
singular (1:4.1.1-p2+ds-4+b2)
Computer Algebra System for Polynomial Computations
singular-data (1:4.1.1-p2+ds-4)
Computer Algebra System for Polynomial Computations -- shared data
singular-ui (1:4.1.1-p2+ds-4+b2)
Computer Algebra System for Polynomial Computations -- console user interface
singular-ui-emacs (1:4.1.1-p2+ds-4+b2)
Computer Algebra System for Polynomial Computations -- emacs user interface
singular-ui-xterm (1:4.1.1-p2+ds-4+b2)
Computer Algebra System for Polynomial Computations -- xterm user interface
socnetv (2.8-1+b1 [i386], 2.8-1 [amd64, arm64, armel, armhf, mips64el, mipsel, ppc64el, s390x])
Social Networks Analysis and Visualization software
sollya (7.0+ds-3+b2)
library for safe floating-point code development -- tool
speedcrunch (0.12.0-5)
High precision calculator
spigot (0.2017-01-15.gdad1bbc6-1+b1)
Exact real calculator
spline (1.2-4)
Akima スプライン補間
st-console (1.1.4-5)
simple mathematics statistics from the command line interface
stda (1.3.1-2.1)
simple tools for data analysis (stda)
surf-alggeo (1.0.6+ds-5)
visualization of real algebraic geometry
surf-alggeo-nox (1.0.6+ds-5)
visualization of real algebraic geometry -- no X support
sympow (2.023.6-1)
mathematical program for SYMmetric POWer elliptic curve L-functions -- program
sympow-data (2.023.6-1)
mathematical program for SYMmetric POWer elliptic curve L-functions -- shared
tachyon (0.99~b6+dsx-9)
並列/マルチプロセッサスタンドアロンレイトレーシングシステム - メタパッケージ
tachyon-bin-nox (0.99~b6+dsx-9)
並列・マルチプロセッサ スタンドアロン レイトレーシングシステム - X サポートなし
tachyon-bin-ogl (0.99~b6+dsx-9)
並列・マルチプロセッサレイトレーシングライブラリ - 開発用 - OpenGL ディスプレイ用
tapecalc (20070214-2+b3)
ユーザが計算を編集できるフルスクリーン版テープエディタ
testu01-bin (1.2.3+ds1-1) [non-free]
testing suite for uniform random number generators -- utils
testu01-data (1.2.3+ds1-1) [non-free]
testing suite for uniform random number generators -- data
tetgen (1.5.0-5)
Quality Tetrahedral Mesh Generator
tiemu (3.04~git20110801-nogdb+dfsg1-2+b1 [amd64], 3.04~git20110801-nogdb+dfsg1-2 [arm64, armel, armhf, i386, mips64el, mipsel, ppc64el, s390x])
Texas Instruments 製計算機のエミュレータ (GDB なし)
tiemu-skinedit (1.28~20200818-1)
skin editor for TiEmu
tilem (2.0-4)
GTK+ TI Z80 calculator emulator
tilem-data (2.0-4)
GTK+ TI Z80 calculator emulator (data files)
tilp2 (1.18-4)
テキサスインスツルメンツハンドヘルド <-> PC の X 用通信プログラム
topcom (0.17.8+ds-2)
Triangulations Of Point Configurations and Oriented Matroids
topcom-examples (0.17.8+ds-2)
Triangulations Of Point Configs and Oriented Matroids (examples)
twinvoicerecalc (0.0.20170711-1.1)
Taiwan invoice reverse calculator
vspline-dev (1.0.2-1)
header-only C++ template library for b-spline processing
wcalc (2.5-3+b1)
柔軟性の高いコマンドライン科学計算器
why3 (1.3.3-1+b4)
Software verification platform
why3-coq (1.3.3-1+b4)
Coq support for the why3 verification platform
why3-doc-html (1.3.3-1)
HTML Documentation of the why3 verification platform
why3-doc-pdf (1.3.3-1)
PDF Documentation of the why3 verification platform
why3-examples (1.3.3-1)
Examples for the why3 verification platform
wxmaxima (20.12.1-1)
計算機代数システム Maxima 用 GUI
wzip (1.1.5+b1 [amd64], 1.1.5 [arm64, armel, armhf, i386, mips64el, mipsel, ppc64el, s390x])
高減衰圧縮およびノイズ除去プログラム
xmaxima (5.44.0-3)
計算機代数システム -- X インターフェイス
yacas (1.3.6-2.1)
Computer Algebra System