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

4ti2 (1.6.9+ds-8)

mathematical tool suite for problems on linear spaces -- tools

acl2 (8.5dfsg-5)

Computational Logic for Applicative Common Lisp: main binary

acl2-books (8.5dfsg-5)

Computational Logic for Applicative Common Lisp: compiled libraries

acl2-books-certs (8.5dfsg-5)

Computational Logic for Applicative Common Lisp: library certificates

acl2-books-source (8.5dfsg-5)

Computational Logic for Applicative Common Lisp: library sources

acl2-infix (8.5dfsg-5)

Computational Logic for Applicative Common Lisp: infix interface

acl2-infix-source (8.5dfsg-5)

Computational Logic for Applicative Common Lisp: infix source

acl2-source (8.5dfsg-5)

Computational Logic for Applicative Common Lisp: source files

admesh (0.98.4-2)

Tool for processing triangulated solid meshes. Binary

ann-tools (1.1.2+doc-9+b1)

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+b3)

Apophenia Statistical C Library -- binary package

aribas (1.65-1)

演算用インタプリタ

auto-07p (0.9.2+dfsg-3+b3)

software for continuation and bifurcation problems in ODE

autoclass (3.3.6.dfsg.2-1)

automatic classification or clustering

axiom (20170501-12)

汎用計算機代数システム: メインバイナリおよびモジュール

axiom-databases (20170501-12)

汎用計算機代数システム: 生成されたテキストデータベース

axiom-graphics (20170501-12)

汎用計算機代数システム: グラフィックサブシステム

axiom-graphics-data (20170501-12)

汎用計算機代数システム: グラフィックサブシステム

axiom-hypertex (20170501-12)

汎用計算機代数システム: hypertex サブシステム

axiom-hypertex-data (20170501-12)

汎用計算機代数システム: hypertex サブシステム

axiom-source (20170501-12)

汎用計算機代数システム: ソースファイル

axiom-test (20170501-12)

汎用計算機代数システム: 回帰テスト用入力

axiom-tex (20170501-12)

汎用計算機代数システム: TeX 用スタイルファイル

bc (1.07.1-3+b1 [amd64], 1.07.1-3 [arm64, armel, armhf, i386, mips64el, mipsel, ppc64el, s390x])

GNU bc: 任意精度の計算言語

bergman (1.001+dfsg-2)

Gröbner bases in commutative and non-commutative algebras

bindechexascii (0.0+20140524.git7dcd86-4+b1)

simple ASCII,binary,decimal and hex converter

bliss (0.73-5)

グラフの自己同形と標識化を計算するツール -- bin

braillegraph (0.3-2)

simple histogram tool producing text dot-matrix graphs

bytes-circle (3.1-1)

Show byte statistics as an ASCII circle graph

cadabra (1.46-6)

場の理論に動機付けられた計算機代数システム

cadabra2 (2.4.3.2-1.1)

field-theory motivated computer algebra system

cadical (1.5.3-2)

Simplified Satisfiability Solver

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-6+b3)

spreadsheet for the Calligra Suite

calligrasheets-data (1:3.2.1+dfsg-6)

data files for Sheets spreadsheet

cantor (4:22.12.3-1)

interface for mathematical applications

cantor-backend-kalgebra (4:22.12.3-1)

KAlgebra backend for Cantor

cantor-backend-lua (4:22.12.3-1)

Lua backend for Cantor

cantor-backend-maxima (4:22.12.3-1)

Maxima backend for Cantor

cantor-backend-octave (4:22.12.3-1)

Octave backend for Cantor

cantor-backend-python3 (4:22.12.3-1)

Python3 backend for Cantor

cantor-backend-qalculate (4:22.12.3-1)

Qalculate! backend for Cantor

cantor-backend-r (4:22.12.3-1)

R backend for Cantor

cantor-backend-sage (4:22.12.3-1)

Sage backend for Cantor

cantor-backend-scilab (4:22.12.3-1)

Scilab backend for Cantor

carmetal (3.5.2+dfsg-2)

dynamic geometry software with highly ergonomic UI

cimg-dev (3.2.1+dfsg-1)

powerful image processing library

clblast-tests (1.5.3-3)

Tests for CLBlast

clblast-utils (1.5.3-3)

Utilities for CLBlast

cliquer (1.21-3+b1)

クリーク探索プログラム

cohomcalg (0.32+ds-6)

sheaf cohomology of line bundles on toric varieties

cohomcalg-common (0.32+ds-6)

sheaf cohomology of line bundles on toric varieties (common files)

concalc (0.9.2-2.1)

端末用計算機

coq (8.16.1+dfsg-1+b2)

高階論理証明アシスタント (トップレベルおよびコンパイラ)

coqide (8.16.1+dfsg-1+b2)

高階論理用証明アシスタント (gtk インターフェイス)

cryptominisat (5.11.4+dfsg1-2+b1)

SAT solver command line interface

cvc4 (1.8-3)

automated theorem prover for SMT problems

cvc5 (1.0.3-1)

automated theorem prover for SMT problems

dc (1.07.1-3+b1 [amd64], 1.07.1-3 [arm64, armel, armhf, i386, mips64el, mipsel, ppc64el, s390x])

GNU dc - 任意精度の逆ポーランド式計算器

deepin-calculator (5.7.21-1)

Calculator for DDE (Deepin Desktop Environment)

dicelab (0.7-6)

tool to compute the statistical distribution of dice rolls

dolfin-bin (2019.2.0~git20230116.bd54183-2)

Executable scripts for DOLFIN

dynare (5.3-1)

platform for handling a wide class of economic models

dynare-matlab (5.3-1) [contrib]

MATLAB support for Dynare

eclib-tools (20221012-1)

Programs for modular symbols and elliptic curves over Q

elan (1.4.2-5)

tool for managing installations of the Lean theorem prover

elpa-fricas (1.3.8-6)

General purpose computer algebra system: emacs support

eprover (2.6+ds-3)

Equational theorem prover

eukleides (1.5.4-5)

ユークリッド幾何学図形言語

euler (1.61.0-12)

対話的な数学プログラミング環境

evolver (2.70+ds-8)

Surface Evolver

evolver

以下のパッケージによって提供される仮想パッケージです: evolver-ogl, evolver-nox

evolver-nox (2.70+ds-8+b1)

Surface Evolver - with no X support

evolver-ogl (2.70+ds-8+b1)

Surface Evolver - with OpenGL display

fenics (2:0.5.0.1)

Automated Solution of Differential Equations

fenicsx (2:0.5.0.1)

Automated Solution of Differential Equations

fflas-ffpack (2.5.0-2)

Finite field linear algebra subroutines/package

fflas-ffpack-common (2.5.0-2)

Finite field linear algebra subroutines/package - common files

flintqs (1:1.0-4)

Program using quadratic sieve to factor integers

fplll-tools (5.4.4-3)

Tools to compute LLL-reduction of Euclidian lattices

freefem (3.5.8-7)

有限要素法を用いた偏微分方程式に基づく言語

freefem++ (4.11+dfsg1-3)

Provides the binaries of the FreeFem++ FE suite

freefem-examples (3.5.8-7)

FreeFEM 用サンプルファイル

fricas (1.3.8-6)

General purpose computer algebra system: main binary and modules

fricas-databases (1.3.8-6)

General purpose computer algebra system: generated text databases

fricas-graphics (1.3.8-6)

General purpose computer algebra system: graphics subsystem

fricas-graphics-data (1.3.8-6)

General purpose computer algebra system: graphics data

fricas-hypertex (1.3.8-6)

General purpose computer algebra system: hypertex subsystem

fricas-hypertex-data (1.3.8-6)

General purpose computer algebra system: hypertex data

fricas-source (1.3.8-6)

General purpose computer algebra system: source files

fricas-test (1.3.8-6)

General purpose computer algebra system: regression test inputs

frobby (0.9.5-4+b1)

Computations with monomial ideals

galculator (2.1.4-1.2)

科学計算機

gap (4.12.1-2)

群論、アルゴリズム、プログラミング向け計算代数システム

gap-aclib (1.3.2-2)

GAP AClib - Almost Crystallographic Groups - A Library and Algorithms

gap-alnuth (3.2.1-1)

GAP Alnuth - 代数的数論パッケージおよび PARI/GP へのインターフェース

gap-atlasrep (2.1.6-1)

GAP AtlasRep - 群論アトラスへの GAP インターフェース

gap-autodoc (2022.10.20-1)

GAP AutoDoc - Generate documentation from GAP source code

gap-autpgrp (1.11-1)

GAP AutPGrp - p-群の自己同型群の計算

gap-character-tables (1.3.4-1)

GAP 用の文字テーブルライブラリ

gap-congruence (1.2.4-1)

GAP Congruence - Congruence subgroups of SL(2,Integers)

gap-core (4.12.1-2)

GAP コンピュータ代数システム - コアコンポーネント

gap-cryst (4.1.25-1)

GAP Cryst - Computing with crystallographic groups

gap-crystcat (1.1.10-1)

GAP CrystCat - The crystallographic groups catalog

gap-design (1.7+ds-3)

block designs for GAP

gap-factint (1.6.3+ds-2)

advanced methods for factoring integers for GAP

gap-fga (1.4.0-2)

GAP FGA - Free Group Algorithms

gap-float (1.0.3+ds-3+b1)

multi-precision floating-point computation for GAP

gap-gapdoc (1.6.6-1)

GAPDoc - GAP ドキュメンテーションのメタパッケージ

gap-grape (4.9.0+ds-1)

GRaph Algorithms using PErmutation groups for GAP

gap-guava (3.17+ds-3)

coding theory library for GAP

gap-guava-bin (3.17+ds-3)

coding theory library for GAP (arch-dep files)

gap-hap (1.47-1)

GAP HAP - Homological Algebra Programming

gap-hapcryst (0.1.15-1)

GAP HAPcryst - A HAP extension for crystallographic groups

gap-io (4.8.0+ds-1)

low level C library IO bindings for GAP

gap-laguna (3.9.5+ds-2)

LAGUNA GAP package

gap-libs (4.12.1-2)

GAP コンピュータ代数システム - 必須の GAP ライブラリ

gap-nq (2.5.9-1)

GAP nq - Nilpotent Quotients of Finitely Presented Groups

gap-online-help (4.12.1-2)

GAP コンピュータ代数システム - オンラインヘルプ

gap-openmath (11.5.2+ds-1)

OpenMath phrasebook for GAP

gap-polycyclic (2.16-2)

GAP Polyciclic - ポリサイクリック群についての計算

gap-polymaking (0.8.6-2)

GAP polymaking - Interfacing the geometry software polymake

gap-primgrp (3.4.3-1)

GAP PrimGrp - GAP Primitive Permutation Groups Library

gap-radiroot (2.9-1)

GAP RadiRoot - 根基としての多項式の根

gap-scscp (2.4.0+ds-1)

SCSCP protocol in GAP

gap-smallgrp (1.5.1-1)

GAP SmallGrp - The GAP Small Groups Library

gap-smallgrp-extra (1.5.1-1)

GAP SmallGrp - The GAP Small Groups Library

gap-sonata (2.9.6+ds-1)

Systems Of Nearrings And Their Applications for GAP

gap-table-of-marks (1.2.9-2)

Gap TomLib - Table of Marks の GAP ライブラリ

gap-toric (1.9.5+ds-2)

toric variety for GAP

gap-transgrp (3.6.3-1)

GAP TransGrp - Transitive Groups Library

gap-utils (0.81-1)

GAP utils - Utility functions in GAP

gappa (1.4.1-1)

Automatic generation of proofs of arithmetic properties

geg (2.0.9-4)

GTK+ 版の方程式グラフプログラム

geneagrapher (1.0c2+git20220519-1)

Create tree from Mathematics Genealogy Project (executable)

geomview (1.9.5-4+b1)

対話的な幾何的図形表示プログラム

geophar (18.09+dfsg1-1)

Swiss army knife for the math teacher

getdp (3.2.0+dfsg1-1.1+b9)

general environment for the treatment of discrete problems

getdp-sparskit (3.2.0+dfsg1-1.1+b9)

general environment for the treatment of discrete problems

gfan (0.6.2-6+b1)

program for computing with Groebner fans

gfm (1.09~git20220826.71eaa92-1)

Texas Instruments hand-helds file manipulation program for X

ggobi (2.1.11-2+b2)

高次元データ用データ可視化システム

ginac-tools (1.8.6-1)

GiNaC 記号的フレームワーク補助ツール

glpk-utils (5.0-1)

linear programming kit - utility files

gmp-ecm (7.0.5+ds-1)

楕円曲線法を使った素因数分解

gmsh (4.8.4+ds2-3)

Three-dimensional finite element mesh generator

gnome-calculator (1:43.0.1-2)

GNOME デスクトップ電卓

gnumeric (1.12.55-1)

GNOME 用スプレッドシートアプリケーション - メインプログラム

gnumeric-common (1.12.55-1)

GNOME 用スプレッドシートアプリケーション - 共通ファイル

gnumeric-plugins-extra (1.12.55-1)

spreadsheet application for GNOME - additional plugins

gnuplot (5.4.4+dfsg1-2)

Command-line driven interactive plotting program.

gnuplot

以下のパッケージによって提供される仮想パッケージです: gnuplot-nox, gnuplot-x11, gnuplot-qt

gnuplot-mode (1:0.8.0+git20230101.1.b57caf8-1)

Transition Package, gnuplot-mode to elpa-gnuplot-mode

gnuplot-mode

以下のパッケージによって提供される仮想パッケージです: elpa-gnuplot-mode

gnuplot-nox (5.4.4+dfsg1-2+b2)

Command-line driven interactive plotting program. No-X package

gnuplot-nox

以下のパッケージによって提供される仮想パッケージです: gnuplot-x11, gnuplot-qt

gnuplot-qt (5.4.4+dfsg1-2+b2)

Command-line driven interactive plotting program. QT-package

gnuplot-x11 (5.4.4+dfsg1-2+b2)

Command-line driven interactive plotting program. X-package

gnuplot-x11

以下のパッケージによって提供される仮想パッケージです: gnuplot-qt

grace (1:5.1.25-13)

XY graphing and plotting tool

graphmonkey (1.7-4.2)

GTK# ベースのグラフ計算機

gretl (2022c-1)

GNU Regression, Econometric & Time-Series Library

gretl-common (2022c-1)

GNU Regression, Econometric & Time-Series Library -- scripts package

gretl-data (2022c-1)

GNU Regression, Econometric & Time-Series Library -- data package

grpn (1.4.1-1.1)

GTK+ reverse polish notation calculator

gsl-bin (2.7.1+dfsg-5+deb12u1)

GNU 科学ライブラリ (GSL) -- バイナリパッケージ

gudhi-utils (3.7.1+dfsg-1+b1)

Utilities from the GUDHI library

gudhui (3.7.1+dfsg-1+b1)

GUI for some of the functionality of the GUDHI library

hera-utils (1.0.0+dfsg-1)

Utilities built from the Hera library

hol-light (20230128-1+b1 [amd64, arm64, armhf, i386, ppc64el, s390x], 20230128-1 [armel, mips64el, mipsel])

HOL Light theorem prover

hol88 (2.02.19940316dfsg-5)

Higher Order Logic, system image

hol88-contrib-help (2.02.19940316dfsg-5)

Higher Order Logic, user contributed online help files

hol88-contrib-source (2.02.19940316dfsg-5)

Higher Order Logic, user contributed source

hol88-help (2.02.19940316dfsg-5)

Higher Order Logic, online help files

hol88-library (2.02.19940316dfsg-5)

Higher Order Logic, binary library modules

hol88-library-help (2.02.19940316dfsg-5)

Higher Order Logic, library online help files

hol88-library-source (2.02.19940316dfsg-5)

Higher Order Logic, library source files

hol88-source (2.02.19940316dfsg-5)

Higher Order Logic, source files

jacal (1c8-1)

Interactive symbolic math system

jags (4.3.1-1)

ベイジアン 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-4)

Java based visualization library for real algebraic geometry

kalgebra (4:22.12.3-1)

代数グラフ電卓

kalgebra-common (4:22.12.3-1)

contains files common for kalgebra and kalgebramobile

kalgebramobile (4:22.12.3-1)

algebraic graphing calculator for small touch based interfaces

kali (3.1+dfsg-1)

タイルや帯装飾などを描画

kbruch (4:22.12.3-1)

KDE 用の分数学習補助ツール

kcalc (4:22.12.3-1)

シンプルな関数電卓

kig (4:22.12.3-1)

interactive geometry tool

kissfft-tools (131.1.0-3)

Mixed-radix Fast Fourier Transform library (CLI tools)

kmplot (4:22.12.3-1)

KDE 用数学関数プロッタ

labplot (2.9.0-1+b2)

interactive graphing and analysis of scientific data

labplot-data (2.9.0-1)

data files for labplot

lcalc (2.0.5-1+b1)

L-関数を計算するプログラム

libcdd-tools (094m-1)

Programs using libcdd

libcoq-aac-tactics (8.17.0-1+b2)

Coq tactics for reasoning modulo AC (theories)

libcoq-gappa (1.5.2-5+b1)

Coq tactic to use Gappa for floating-point goals

libcoq-mathcomp (1.15.0-1+b4)

Mathematical Components library for Coq (all)

libcoq-mathcomp-algebra (1.15.0-1+b4)

Mathematical Components library for Coq (algebra)

libcoq-mathcomp-character (1.15.0-1+b4)

Mathematical Components library for Coq (character)

libcoq-mathcomp-field (1.15.0-1+b4)

Mathematical Components library for Coq (field)

libcoq-mathcomp-fingroup (1.15.0-1+b4)

Mathematical Components library for Coq (finite groups)

libcoq-mathcomp-solvable (1.15.0-1+b4)

Mathematical Components library for Coq (finite groups II)

libcoq-mathcomp-ssreflect (1.15.0-1+b4)

Mathematical Components library for Coq (small scale reflection)

libcoq-stdlib (8.16.1+dfsg-1+b2)

高階論理用の証明アシスタント (理論)

libfp16-dev (0.0~git20200514.4dfe081-3)

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-5+b1)

libgts のユーティリティバイナリ

liblrs1 (0.71b-2)

頂点と端射線を列挙するパッケージ (共有ライブラリ)

libmagma-doc (2.6.2-1) [contrib]

Matrix Algebra on GPU and Multicore Architectures (doc)

libmagma-test (2.6.2-1) [contrib]

Matrix Algebra on GPU and Multicore Architectures (tests)

libojalgo-java (52.0.1+ds-1)

Java library to do mathematics, linear algebra and optimisation

libreoffice-nlpsolver (4:0.9+LibO7.4.7-1+deb12u6) [security]

"Solver for Nonlinear Programming" extension for LibreOffice

libsbml5-octave (5.19.7+dfsg-2)

System Biology Markup Language library - Octave bindings

libxnnpack-dev (0.0~git20220216.ae108ef-2)

High-efficiency floating-point neural network inference operators (dev)

libxnnpack0 (0.0~git20220216.ae108ef-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.71b-2)

凸多面体の頂点と端射線を列挙するパッケージ

lybniz (3.0.4-5)

mathematical function graph plotter

macaulay2 (1.21+ds-3+b1)

Software system for algebraic geometry research

macaulay2-common (1.21+ds-3)

Software system for algebraic geometry research (common files)

macaulay2-jupyter-kernel (0.6.7~beta-3)

Jupyter kernel for Macaulay2

mandelbulber2 (2.20-2+b1)

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.26.0-1)

MATE desktop calculator

mate-calc-common (1.26.0-1)

MATE desktop calculator (common files)

mathicgb (1.0~git20220621-2)

Compute Groebner bases (command line tool)

mathlibtools (1.1.0-1)

supporting tool for Lean mathlib

mathomatic (16.0.5-5)

portable Computer Algebra System (CAS)

mathomatic-primes (16.0.5-5)

prime number tools for mathomatic

mathpiper (0.81f+svn4469+dfsg3-3.1)

Java Computer Algebra System

matio-tools (1.5.23-2)

MATLAB MAT File I/O Library - command-line tools

matlab2tikz (1.1.0-8)

converter of Octave plots to TikZ figures (for integration into LaTeX)

maxima (5.46.0-11)

計算機代数システム -- ベースシステム

maxima-emacs (5.46.0-11)

計算機代数システム -- emacs インターフェイス

maxima-sage (5.45.1-2)

Computer algebra system -- base system

maxima-sage-share (5.45.1-2)

Computer algebra system -- extra code

maxima-share (5.46.0-11)

計算機代数システム -- 追加コード

maxima-src (5.46.0-11)

計算機代数システム -- ソースコード

maxima-test (5.46.0-11)

計算機代数システム -- テストスイート

mcl (1:22-282+ds-2)

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.12.0+dfsg-2)

graph partitioning tool that can quickly compute edge cuts (executable)

mplrs (0.71b-2)

package to enumerate vertices and extreme rays of a convex polyhedron (parallel binary)

mumps-test (5.5.1-1)

MUMPS を使用した Example/test バイナリ

nauty (2.8.6+ds-2)

library for graph automorphisms -- interface and tools

netgen (6.2.2006+really6.2.1905+dfsg-5.1+b1)

自動三次元四面体メッシュジェネレータ

normaliz (3.9.4+ds-2)

math computing tools for affine monoids, rational polytopes and cones

normaliz-bin (3.9.4+ds-2)

math computing tools for affine monoids, rational polytopes and cones - bin

num-utils (0.5-15)

コマンドラインから数を扱うためのプログラム

octave (7.3.0-2)

GNU Octave language for numerical computations

octave-arduino (0.10.0-2)

Octave Arduino Toolkit

octave-audio (2.0.5-2)

MIDI functions for Octave

octave-bim (1.1.6-1)

PDE solver using a finite element/volume approach in Octave

octave-bsltl (1.3.1-4)

biospeckle laser tool library for Octave

octave-cgi (0.1.2-4)

Common Gateway Interface for Octave

octave-common (7.3.0-2)

architecture-independent files for octave

octave-communications (1.2.4-4)

communications package for Octave

octave-communications-common (1.2.4-4)

communications package for Octave (arch-indep files)

octave-control (3.4.0-3)

computer-aided control system design (CACSD) for Octave

octave-data-smoothing (1.3.0-9)

functions to do data smoothing on noisy data

octave-dataframe (1.2.0-6)

manipulate data in Octave similar to R data.frame

octave-dicom (0.5.1-1)

manipulate DICOM files in Octave

octave-divand (1.1.2+dfsg-6)

n-dimensional interpolation for Octave

octave-doctest (0.8.0-1)

documentation tests for Octave

octave-econometrics (1:1.1.2-4)

econometrics functions for Octave

octave-financial (0.5.3-4)

financial package for Octave

octave-fits (1.0.7-7+b1)

manipulation of FITS files in Octave

octave-fpl (1.3.5-7)

plot data on unstructured triangular and tetrahedral meshes in Octave

octave-fuzzy-logic-toolkit (0.4.6-4)

fuzzy logic toolkit for Octave

octave-ga (0.10.3-2)

genetic optimization code for Octave

octave-general (2.1.2-3)

provide extra general functions for Octave

octave-geometry (4.0.0-6)

extension of MatGeom functionality in Octave

octave-gsl (2.1.1-7)

GSL binding for Octave

octave-image (2.14.0-4)

image manipulation for Octave

octave-image-acquisition (0.2.2-6)

image acquisition package for Octave

octave-instrument-control (0.8.0-2)

instrument control for Octave

octave-interval (3.2.1-5)

real-valued interval arithmetic for Octave

octave-io (2.6.4-3)

input/output data functions for Octave

octave-level-set (0.3.1~git.2019.04.13-6)

level-set toolbox for Octave

octave-linear-algebra (2.2.3-4)

additional linear-algebra functions for Octave

octave-lssa (0.1.4-2)

least squares spectral analysis for Octave

octave-mapping (1.4.2-3)

geographical mapping functions for Octave

octave-matgeom (1.2.3-3)

computational geometry for Octave

octave-miscellaneous (1.3.0-5)

miscellaneous tools for Octave

octave-missing-functions (1.0.2-12)

finds functions that are in Matlab but not in Octave

octave-msh (1.0.10-12)

create and manage meshes for FE or FV solvers in Octave

octave-mvn (1.1.0-4)

multivariate normal distribution clustering for Octave

octave-nan (3.7.0-3)

handles data with and without missing values in Octave

octave-ncarray (1.0.5-3)

access NetCDF files as a multi-dimensional array in Octave

octave-netcdf (1.0.16-2)

Matlab compatible NetCDF interface for Octave

octave-nlopt (2.7.1-5)

nonlinear optimization library -- GNU Octave package

octave-nurbs (1.4.3-3)

non-uniform rational B-splines for Octave

octave-octclip (2.0.3-1)

boolean operations with polygons in Octave

octave-octproj (3.0.2-1)

GNU Octave bindings to PROJ.4

octave-optics (0.1.4-4)

optics functions for Octave

octave-optim (1.6.2-3)

unconstrained non-linear optimization toolkit for Octave

octave-optiminterp (0.3.7-3)

optimal interpolation package for Octave

octave-parallel (4.0.1-6)

parallel execution of Octave in clusters of computers

octave-pfstools (2.2.0-5+b1)

pfstools への octave バインディング

octave-phclab (2.4.86+dfsg-4)

general-purpose solver for polynomial systems (Octave)

octave-plplot (5.15.0+dfsg2-6)

Octave support for PLplot, a plotting library

octave-quaternion (2.4.0-10)

quaternion package for Octave

octave-queueing (1.2.7-5)

Queueing Networks and Markov chains analysis for Octave

octave-secs1d (0.0.9-8)

semi conductor simulator in 1D for Octave

octave-secs2d (0.0.8-16)

semi conductor simulator in 2D for Octave

octave-secs3d (0.0.1-4)

Drift-Diffusion simulator for 3d semiconductor devices in Octave

octave-signal (1.4.3-1)

signal processing functions for Octave

octave-sockets (1.4.0-4)

communication through Internet sockets in Octave

octave-sparsersb (1.0.9-5)

RSB sparse matrix manipulation for Octave

octave-specfun (1.1.0-9)

special mathematical functions for Octave

octave-splines (1.3.4-3)

cubic spline functions for Octave

octave-statistics (1.5.3-2)

additional statistical functions for Octave

octave-stk (2.7.0-3)

(not so) Small Toolbox for Kriging

octave-strings (1.3.0-3)

additional string manipulation functions for Octave

octave-struct (1.0.18-3)

additional structure manipulation functions for Octave

octave-symbolic (3.0.1-2)

symbolic package for Octave

octave-tsa (4.6.3-3)

time series analysis in Octave

octave-vibes (0.2.0-8)

VIBes API to easily display results in Octave

octave-vrml (1.0.13-8)

VRML functions for Octave

octave-zenity (0.5.7-14)

simple graphical user interfaces using zenity in Octave

octave-zeromq (1.5.5-1)

ZeroMQ binding for Octave

orpie (1.6.1-1+b2)

端末用 RPN 計算機

palp (2.20-2)

Package for Analyzing Lattice Polytopes

pari-elldata (0.20210301-1)

PARI/GP Computer Algebra System elliptic curves (elldata)

pari-galdata (0.20080411-4)

PARI/GP Computer Algebra System Galois resolvents (galdata)

pari-galpol (4.0-2)

PARI/GP Computer Algebra System Galois polynomial database

pari-gp (2.15.2-1)

PARI/GP 計算機代数システムのバイナリファイル

pari-gp2c (0.0.13-1)

PARI/GP GP から C 言語へのコンパイラ

pari-nflistdata (0.20220729-2)

PARI/GP Computer Algebra System Galois polynomial database

pari-seadata (0.20090618-3)

PARI/GP Computer Algebra System modular polynomials (seadata)

parmetis-test (4.0.3-7) [non-free]

Parallel Graph Partitioning and Sparse Matrix Ordering Tests

pdl (1:2.081-2)

perl data language: Perl extensions for numerics

pgplot5 (5.2.2-19.5) [non-free]

large subroutine library for plotting scientific data

phat-utils (1.6-2+b4)

Utilities from the PHAT library

phcpack (2.4.86+dfsg-4+b4)

general-purpose solver for polynomial systems (command line)

pi (1.3.6-4)

アルキメデスの定理である円周率を任意の精度で計算

planarity (3.0.2.0-2)

Program for planarity-related graph algorithms

plfit (0.9.4+ds-1+b1)

fitting power-law distributions to empirical data -- interfaces

plotutils (2.6-13)

libplot ベースの GNU plotutils コマンドラインツール群

plplot-tcl (5.15.0+dfsg2-6)

Tcl/Tk support for PLplot, a plotting library

plplot-tcl-bin (5.15.0+dfsg2-6)

Tcl/Tk tools for PLplot, a plotting library

plplot-tcl-dev (5.15.0+dfsg2-6)

Tcl/Tk development support for PLplot, a plotting library

polylib-utils (5.22.5-4+dfsg)

libpolylib を使用したさまざまなツール

polymake (4.6-5+b2)

Tool for algorithmic discrete geometry

polymake-common (4.6-5)

Tool for algorithmic discrete geometry -- shared files

primecount (7.6+ds-1)

fast prime number counter C/C++ library

primecount-bin (7.6+ds-1)

fast prime number counter C/C++ library -- bin

primesieve (11.0+ds-2)

fast prime number generator C/C++ library

primesieve-bin (11.0+ds-2)

fast prime number generator C/C++ library -- bin

psignifit (2.5.6-8+b1)

Fitting and testing hypotheses about psychometric functions

pspp (1.6.2-2)

Statistical analysis tool

ptscotch (7.0.3-2)

MPI programs and libraries for graph, mesh and hypergraph partitioning

pyecm (2.0.5-2)

integer factorization with the Elliptic Curve Method (ECM)

pyxplot (0.9.2-13+b2 [amd64, arm64, armel, armhf, i386, mips64el, mipsel], 0.9.2-13+b1 [ppc64el, s390x])

data plotting program producing publication-quality output

qalc (4.5.1-1)

パワフルで使いやすいコマンドライン計算機

qalculate-gtk (4.5.1-1)

Powerful and easy to use desktop calculator - GTK+ version

qepcad (1.74+ds-3+b2)

quantifier elimination tool

qhull-bin (2020.2-5)

凸開包および関連構造を計算 (ユーティリティ)

qsopt-ex (2.5.10.3-2)

Exact linear programming solver

quickplot (1.0.1~rc-1+b4)

高速で対話式の 2D プロッタ兼データビューア

r-bioc-hilbertvis (1.56.0-1)

GNU R package to visualise long vector data

regina-normal (7.3-2)

mathematical software for low-dimensional topology

relational (3.0-1)

関係代数向け教育的ツール（グラフィカルユーザーインターフェース）

relational-cli (3.0-1)

関係代数向け教育的ツール（コマンドラインインターフェース）

rheolef (7.2-2+b1)

efficient Finite Element environment

ries (2018.08.05-1)

find algebraic equations, given their solution

ripser (1.2.1-3)

Fast computation of persistent homology of flag complexes

rkward (0.7.5-1)

R 統計言語用 KDE フロントエンド

rkward-data (0.7.5-1)

KDE frontend to the R statistics language - data files

rocs (4:22.12.3-1)

graph theory IDE

rubiks (20070912-5)

Small collection of Rubik's cube solvers

sagemath (9.5-6)

Open Source Mathematical Software

sagemath-database-conway-polynomials (0.5-8)

Database of Conway polynomials

sagemath-database-cremona-elliptic-curves (20221013-1)

Databases of elliptic curves over the rationals

sagemath-database-elliptic-curves (0.8.1-5)

Databases for elliptic curves

sagemath-database-graphs (20210214+dfsg-1)

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.5-6)

Open Source Mathematical Software - documentation

sagemath-jupyter (9.5-6)

Open Source Mathematical Software - Jupyter kernel

sc (7.16-4.1)

vi 似なキーバインド付の、テキストベースのスプレッドシート

scalapack-mpi-test (2.2.1-2+b1)

Scalable Linear Algebra Package - Test files for MPI

scilab (6.1.1+dfsg2-6)

数値計算用の科学ソフトウェアパッケージ

scilab-cli (6.1.1+dfsg2-6)

科学ソフトウェアパッケージ - コマンドラインインタープリタ

scilab-data (6.1.1+dfsg2-6)

数値計算用の科学ソフトウェアパッケージ (データファイル)

scilab-full-bin (6.1.1+dfsg2-6)

数値計算用の科学ソフトウェアパッケージ（全バイナリファイル）

scilab-include (6.1.1+dfsg2-6)

数値計算用の科学ソフトウェアパッケージ (インクルードファイル)

scilab-minimal-bin (6.1.1+dfsg2-6)

数値計算用の科学ソフトウェアパッケージ (最小限のバイナリファイル)

scilab-test (6.1.1+dfsg2-6)

数値計算用の科学ソフトウェアパッケージ (テストファイル)

scotch (7.0.3-2)

グラフ、メッシュとハイパーグラフ分割のためのプログラムとライブラリ

sdpa (7.3.16+dfsg-1)

High-performance package for SemiDefinite Programs

sdpam (7.3.16+dfsg-1)

Matlab/Octave interface of SDPA

sdpb (1.0-4+b1)

半正定値計画問題ソルバ

sgb (1:20210202-2) [non-free]

The Stanford GraphBase: combinatorial data and algorithms

singular (1:4.3.1-p3+ds-2)

Computer Algebra System for Polynomial Computations

singular-data (1:4.3.1-p3+ds-2)

Computer Algebra System for Polynomial Computations -- shared data

singular-ui (1:4.3.1-p3+ds-2)

Computer Algebra System for Polynomial Computations -- console user interface

singular-ui-emacs (1:4.3.1-p3+ds-2)

Computer Algebra System for Polynomial Computations -- emacs user interface

singular-ui-xterm (1:4.3.1-p3+ds-2)

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 (8.0+ds-2+b1)

library for safe floating-point code development -- tool

speedcrunch (0.12.0-6)

High precision calculator

spigot (0.2017-01-15.gdad1bbc6-1+b1)

Exact real calculator

spline (1.2-5+b1)

Akima スプライン補間

sptag (0.0~git20230301.0207479+ds-1)

distributed approximate nearest neighborhood search (ANN)

st-console (1.1.4-7)

simple mathematics statistics from the command line interface

stda (1.3.1-2.1)

simple tools for data analysis (stda)

stopt-examples (5.5+dfsg-1)

library for stochastic optimization problems (programs examples)

surf-alggeo (1.0.6+ds-6+b2)

visualization of real algebraic geometry

surf-alggeo-nox (1.0.6+ds-6+b2)

visualization of real algebraic geometry -- no X support

sympow (2.023.6-1.1)

mathematical program for SYMmetric POWer elliptic curve L-functions -- program

sympow-data (2.023.6-1.1)

mathematical program for SYMmetric POWer elliptic curve L-functions -- shared

tachyon (0.99~b6+dsx-10)

並列/マルチプロセッサスタンドアロンレイトレーシングシステム - メタパッケージ

tachyon-bin-nox (0.99~b6+dsx-10+b1)

並列・マルチプロセッサ スタンドアロン レイトレーシングシステム - X サポートなし

tachyon-bin-ogl (0.99~b6+dsx-10+b1)

並列・マルチプロセッサレイトレーシングライブラリ - 開発用 - OpenGL ディスプレイ用

tapecalc (20230205-1)

full-screen tape editor that lets the user edit a calculation

testu01-bin (1.2.3+ds1-2) [non-free]

testing suite for uniform random number generators -- utils

testu01-data (1.2.3+ds1-2) [non-free]

testing suite for uniform random number generators -- data

tetgen (1.5.0-5)

Quality Tetrahedral Mesh Generator

tiemu (3.04~git20220826.cda2db4+dfsg-2)

Texas Instruments 製計算機のエミュレータ (GDB なし)

tiemu-skinedit (1.28~git20220826.cda2db4-1)

skin editor for TiEmu

tilem (2.0-5)

GTK+ TI Z80 calculator emulator

tilem-data (2.0-5)

GTK+ TI Z80 calculator emulator (data files)

tilp2 (1.19~git20220826.71eaa92-1)

テキサスインスツルメンツハンドヘルド <-> PC の X 用通信プログラム

topcom (1.1.2+ds-1)

Triangulations Of Point Configurations and Oriented Matroids

topcom-examples (1.1.2+ds-1)

Triangulations Of Point Configs and Oriented Matroids (examples)

ttyplot (1.4+77.g1a1693b-2)

realtime plotting utility for consoles and terminals

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.5.1-1+b2)

Software verification platform

why3-doc-html (1.5.1-1)

HTML Documentation of the why3 verification platform

why3-doc-pdf (1.5.1-1)

PDF Documentation of the why3 verification platform

why3-examples (1.5.1-1)

Examples for the why3 verification platform

wxmaxima (22.12.0-1)

計算機代数システム Maxima 用 GUI

wzip (1.1.6)

高減衰圧縮およびノイズ除去プログラム

xmaxima (5.46.0-11)

計算機代数システム -- X インターフェイス

xrprof (0.3.1-3)

External Sampling Profiler for R

yacas (1.3.6-2.1)

Computer Algebra System