Softwarepakketten in "aria", Subsectie 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)

apophenia-bin (1.0+ds-8+b3)

Apophenia Statistical C Library -- binary package

aribas (1.65-1)

interpreter for arithmetic

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)

General purpose computer algebra system: main binary and modules

axiom-databases (20170501-12)

General purpose computer algebra system: generated text databases

axiom-graphics (20170501-12)

General purpose computer algebra system: graphics subsystem

axiom-graphics-data (20170501-12)

General purpose computer algebra system: graphics subsystem

axiom-hypertex (20170501-12)

General purpose computer algebra system: hypertex subsystem

axiom-hypertex-data (20170501-12)

General purpose computer algebra system: hypertex subsystem

axiom-source (20170501-12)

General purpose computer algebra system: source files

axiom-test (20170501-12)

General purpose computer algebra system: regression test inputs

axiom-tex (20170501-12)

General purpose computer algebra system: style file for TeX

bc (1.07.1-3+b1 [amd64], 1.07.1-3 [arm64])

GNU bc arbitrary precision calculator language

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)

tool to compute graph automorphisms and labelings -- 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)

field-theory motivated computer algebra system

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)

clique searching program

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)

dc (1.07.1-3+b1 [amd64], 1.07.1-3 [arm64])

GNU dc arbitrary precision reverse-polish calculator

galculator (2.1.4-1.2)

scientific calculator

gf-complete-tools (1.0.2+2017.04.10.git.ea75cdf-9)

Galois Field Arithmetic - tools

glpk-utils (5.0-1)

linear programming kit - utility files

gnome-calculator (1:43.0.1-2)

GNOME desktop calculator

gnuplot (5.4.4+dfsg1-2)

Command-line driven interactive plotting program.

gnuplot

virtueel pakket geboden door gnuplot-nox, gnuplot-x11, gnuplot-qt

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

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

gnuplot-nox

virtueel pakket geboden door gnuplot-qt, gnuplot-x11

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

virtueel pakket geboden door gnuplot-qt

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

GNU Scientific Library (GSL) -- binary package

kalgebra (4:22.12.3-1)

algebraic graphing calculator

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

kbruch (4:22.12.3-1)

fraction learning aid for KDE

kcalc (4:22.12.3-1)

simple and scientific calculator

kig (4:22.12.3-1)

interactive geometry tool

kmplot (4:22.12.3-1)

mathematical function plotter for KDE

libcdd-tools (094m-1)

Programs using libcdd

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

Coq tactics for reasoning modulo AC (theories)

libgts-bin (0.7.6+darcs121130-5+b1)

utility binaries for libgts

libreoffice-nlpsolver (4:0.9+LibO7.4.7-1+deb12u14)

"Solver for Nonlinear Programming" extension for LibreOffice

lp-solve (5.5.2.5-2)

Solve (mixed integer) linear programming problems

matio-tools (1.5.23-2+deb12u1)

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

maxima (5.46.0-11)

Computer algebra system -- base system

maxima-emacs (5.46.0-11)

Computer algebra system -- emacs interface

maxima-share (5.46.0-11)

Computer algebra system -- extra code

maxima-src (5.46.0-11)

Computer algebra system -- source code

maxima-test (5.46.0-11)

Computer algebra system -- test suite

metis (5.1.0.dfsg-7)

Serial Graph Partitioning and Fill-reducing Matrix Ordering. Binaries

mongoose (1:5.12.0+dfsg-2)

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

mumps-test (5.5.1-1)

Example/test binaries using MUMPS

octave (7.3.0-2)

GNU Octave language for numerical computations

octave-common (7.3.0-2)

architecture-independent files for octave

pi (1.3.6-4)

Compute Archimedes' constant Pi to arbitrary precision

plotutils (2.6-13)

GNU plotutils command line tools based on libplot

ptscotch (7.0.3-2)

MPI programs and libraries for graph, mesh and hypergraph partitioning

qalc (4.5.1-1)

Powerful and easy to use command line calculator

qhull-bin (2020.2-5)

calculate convex hulls and related structures (utilities)

rocs (4:22.12.3-1)

graph theory IDE

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

Scalable Linear Algebra Package - Test files for MPI

scilab (6.1.1+dfsg2-6)

Scientific software package for numerical computations

scilab-cli (6.1.1+dfsg2-6)

Scientific software package - Command Line Interpreter

scilab-data (6.1.1+dfsg2-6)

Scientific software package for numerical computations (data files)

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

Scientific software package for numerical computations (all binary files)

scilab-include (6.1.1+dfsg2-6)

Scientific software package for numerical computations (include files)

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

Scientific software package for numerical computations (minimal binary files)

scilab-test (6.1.1+dfsg2-6)

Scientific software package for numerical computations (test files)

scotch (7.0.3-2)

programs and libraries for graph, mesh and hypergraph partitioning

xmaxima (5.46.0-11)

Computer algebra system -- x interface