Softwarepakketten in "trixie", Subsectie math

4ti2 (1.6.10 ds-1.1 b1)
mathematical tool suite for problems on linear spaces -- tools
acl2 (8.5dfsg-6)
Computational Logic for Applicative Common Lisp: main binary
acl2-books (8.5dfsg-6)
Computational Logic for Applicative Common Lisp: compiled libraries
acl2-books-certs (8.5dfsg-6)
Computational Logic for Applicative Common Lisp: library certificates
acl2-books-source (8.5dfsg-6)
Computational Logic for Applicative Common Lisp: library sources
acl2-infix (8.5dfsg-6)
Computational Logic for Applicative Common Lisp: infix interface
acl2-infix-source (8.5dfsg-6)
Computational Logic for Applicative Common Lisp: infix source
acl2-source (8.5dfsg-6)
Computational Logic for Applicative Common Lisp: source files
admesh (0.98.5-1 b2)
Tool for processing triangulated solid meshes. Binary
ann-tools (1.1.2 doc-9 b2 [arm64], 1.1.2 doc-9 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
Approximate Nearest Neighbor Searching library (tools)
apophenia-bin (1.0 ds-8.1 b1)
Apophenia Statistical C Library -- binary package
auto-07p (0.9.2 dfsg-3 b3 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, s390x], 0.9.2 dfsg-3 b1 [riscv64])
software for continuation and bifurcation problems in ODE
autoclass (3.3.6.dfsg.2-2)
automatic classification or clustering
axiom (20170501-13)
General purpose computer algebra system: main binary and modules
axiom-databases (20170501-13)
General purpose computer algebra system: generated text databases
axiom-graphics (20170501-13)
General purpose computer algebra system: graphics subsystem
axiom-graphics-data (20170501-13)
General purpose computer algebra system: graphics subsystem
axiom-hypertex (20170501-13)
General purpose computer algebra system: hypertex subsystem
axiom-hypertex-data (20170501-13)
General purpose computer algebra system: hypertex subsystem
axiom-source (20170501-13)
General purpose computer algebra system: source files
axiom-test (20170501-13)
General purpose computer algebra system: regression test inputs
axiom-tex (20170501-13)
General purpose computer algebra system: style file for TeX
bc (1.07.1-4 b1 [arm64], 1.07.1-4 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
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 b2 [arm64, riscv64], 0.0 20140524.git7dcd86-4 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])
simple ASCII,binary,decimal and hex converter
bliss (0.77-3 b3)
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 b2 [riscv64], 3.1-1 b1 [arm64], 3.1-1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])
Show byte statistics as an ASCII circle graph
cadical (1.7.4-1 b1)
Simplified Satisfiability Solver
calc (2.15.0.4-1 b2 [arm64], 2.15.0.4-1 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
Arbitrary precision calculator
calc-common (2.15.0.4-1)
Arbitrary precision calculator (common files)
calligrasheets (1:3.2.1 dfsg-9 b1)
spreadsheet for the Calligra Suite
calligrasheets-data (1:3.2.1 dfsg-9)
data files for Sheets spreadsheet
cantor (4:22.12.3-1.1 b4 [arm64, armhf], 4:22.12.3-1.1 b3 [amd64, i386, mips64el])
interface for mathematical applications
cantor-backend-kalgebra (4:22.12.3-1.1 b4 [arm64, armhf], 4:22.12.3-1.1 b3 [amd64, i386, mips64el])
KAlgebra backend for Cantor
cantor-backend-lua (4:22.12.3-1.1 b3)
Lua backend for Cantor
cantor-backend-maxima (4:22.12.3-1.1 b4 [arm64, armhf], 4:22.12.3-1.1 b3 [amd64, i386, mips64el])
Maxima backend for Cantor
cantor-backend-octave (4:22.12.3-1.1 b4 [arm64, armhf], 4:22.12.3-1.1 b3 [amd64, i386, mips64el])
Octave backend for Cantor
cantor-backend-python3 (4:22.12.3-1.1 b4 [arm64, armhf], 4:22.12.3-1.1 b3 [amd64, i386, mips64el])
Python3 backend for Cantor
cantor-backend-qalculate (4:22.12.3-1.1 b4 [arm64, armhf], 4:22.12.3-1.1 b3 [amd64, i386, mips64el])
Qalculate! backend for Cantor
cantor-backend-r (4:22.12.3-1.1 b4 [arm64, armhf], 4:22.12.3-1.1 b3 [amd64, i386, mips64el])
R backend for Cantor
cantor-backend-sage (4:22.12.3-1.1 b4 [arm64, armhf], 4:22.12.3-1.1 b3 [amd64, i386, mips64el])
Sage backend for Cantor
cantor-backend-scilab (4:22.12.3-1.1 b4 [arm64], 4:22.12.3-1.1 b3 [amd64])
Scilab backend for Cantor
carmetal (4.3-2)
dynamic geometry software with highly ergonomic UI
cashbox (0.3.2)
cashbox - memorise cost and calculate price of articles
chuffed-flatzinc (0.13.1-1 b1 [amd64, arm64], 0.13.1-1 [armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
lazy clause generation FlatZinc implememntation
cimg-dev (3.2.1 dfsg-2)
powerful image processing library
clblast-tests (1.6.3-1 b1)
Tests for CLBlast
clblast-utils (1.6.3-1 b1)
Utilities for CLBlast
cliquer (1.21-3 b2)
clique searching program
cohomcalg (0.32 ds-6 b2 [arm64, riscv64], 0.32 ds-6 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])
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.3-1)
console calculator
coq (8.20.0 dfsg-1)
proof assistant for higher-order logic (toplevel and compiler)
coqide (8.20.0 dfsg-1)
proof assistant for higher-order logic (gtk interface)
cryptominisat (5.11.21 dfsg1-1 b2)
SAT solver command line interface
cvc4 (1.8-3 b3)
automated theorem prover for SMT problems
cvc5 (1.1.2-2 b2)
automated theorem prover for SMT problems
dc (1.07.1-4 b1 [arm64], 1.07.1-4 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
GNU dc arbitrary precision reverse-polish calculator
deepin-calculator (5.7.21-2 b2 [arm64, riscv64], 5.7.21-2 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])
Calculator for DDE (Deepin Desktop Environment)
dicelab (0.7-7 b1 [arm64, riscv64], 0.7-7 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])
tool to compute the statistical distribution of dice rolls
dynare (6.2-1)
platform for handling a wide class of economic models
dynare-matlab (6.2-1) [contrib]
MATLAB support for Dynare
elan (3.1.1-3)
tool for managing installations of the Lean theorem prover
elpa-fricas (1.3.11-2)
General purpose computer algebra system: emacs support
eprover (3.2.5 ds-1)
Equational theorem prover
eukleides (1.5.4-5 b2 [arm64, riscv64], 1.5.4-5 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])
Euclidean geometry drawing language
euler (1.61.0-12 b2 [riscv64], 1.61.0-12 b1 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, s390x])
interactive mathematical programming environment
evolver (2.70 ds-8)
Surface Evolver
evolver
virtueel pakket geboden door evolver-ogl, evolver-nox
evolver-nox (2.70 ds-8 b3 [arm64], 2.70 ds-8 b2 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
Surface Evolver - with no X support
evolver-ogl (2.70 ds-8 b3 [arm64], 2.70 ds-8 b2 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
Surface Evolver - with OpenGL display
fflas-ffpack (2.5.0-3 b1 [riscv64], 2.5.0-3 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, s390x])
Finite field linear algebra subroutines/package
fflas-ffpack-common (2.5.0-3)
Finite field linear algebra subroutines/package - common files
flintqs (1:1.0-4 b1 [arm64, riscv64], 1:1.0-4 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])
Program using quadratic sieve to factor integers
fplll-tools (5.4.5-1.1 b1)
Tools to compute LLL-reduction of Euclidian lattices
freefem (3.5.8-7 b1 [arm64, riscv64], 3.5.8-7 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])
PDE oriented language using Finite Element Method
freefem (4.14 dfsg-1 b5)
Provides the binaries of the FreeFem FE suite
freefem-examples (3.5.8-7)
Example files for FreeFEM
fricas (1.3.11-2)
General purpose computer algebra system: main binary and modules
fricas-databases (1.3.11-2)
General purpose computer algebra system: generated text databases
fricas-graphics (1.3.11-2)
General purpose computer algebra system: graphics subsystem
fricas-graphics-data (1.3.11-2)
General purpose computer algebra system: graphics data
fricas-hypertex (1.3.11-2)
General purpose computer algebra system: hypertex subsystem
fricas-hypertex-data (1.3.11-2)
General purpose computer algebra system: hypertex data
fricas-source (1.3.11-2)
General purpose computer algebra system: source files
fricas-test (1.3.11-2)
General purpose computer algebra system: regression test inputs
frobby (0.9.5-4 b2)
Computations with monomial ideals
galculator (2.1.4-2)
scientific calculator
gap (4.14.0-2)
computer algebra system for Groups, Algorithms and Programming
gap-aclib (1.3.2-4)
GAP AClib - Almost Crystallographic Groups - A Library and Algorithms
gap-alnuth (3.2.1-2)
GAP Alnuth - Algebraic number theory and an interface to PARI/GP
gap-anupq (3.3.1-1)
GAP ANUPQ - ANU p-Quotient
gap-atlasrep (2.1.9-1)
GAP AtlasRep - A GAP Interface to the Atlas of Group Representations
gap-autodoc (2023.06.19-1)
GAP AutoDoc - Generate documentation from GAP source code
gap-autpgrp (1.11-1)
GAP AutPGrp - Computing the Automorphism Group of a p-Group
gap-browse (1.8.21 dfsg-1)
GAP Browse - browsing applications and ncurses interface
gap-character-tables (1.3.9-2)
GAP Library of character tables
gap-congruence (1.2.7-1)
GAP Congruence - Congruence subgroups of SL(2,Integers)
gap-core (4.14.0-2)
GAP computer algebra system, core components
gap-cryst (4.1.27-1)
GAP Cryst - Computing with crystallographic groups
gap-crystcat (1.1.10-2)
GAP CrystCat - The crystallographic groups catalog
gap-design (1.8.2 ds-1)
block designs for GAP
gap-factint (1.6.3 ds-3)
advanced methods for factoring integers for GAP
gap-fga (1.5.0-1)
GAP FGA - Free Group Algorithms
gap-float (1.0.5 ds-1)
multi-precision floating-point computation for GAP
gap-gapdoc (1.6.7-1)
GAPDoc - A Meta Package for GAP Documentation
gap-grape (4.9.2 ds-1)
GRaph Algorithms using PErmutation groups for GAP
gap-guava (3.19 ds-3)
coding theory library for GAP
gap-guava-bin (3.19 ds-3)
coding theory library for GAP (arch-dep files)
gap-hap (1.66 ds-1)
GAP HAP - Homological Algebra Programming
gap-hapcryst (0.1.15-4)
GAP HAPcryst - A HAP extension for crystallographic groups
gap-io (4.9.1 ds-1)
low level C library IO bindings for GAP
gap-laguna (3.9.7 ds-1)
LAGUNA GAP package
gap-libs (4.14.0-2)
GAP computer algebra system, essential GAP libraries
gap-nq (2.5.11-2)
GAP nq - Nilpotent Quotients of Finitely Presented Groups
gap-online-help (4.14.0-2)
GAP computer algebra system, online help
gap-openmath (11.5.3 ds-2)
OpenMath phrasebook for GAP
gap-polycyclic (2.16-3)
GAP Polycyclic - Computation with polycyclic groups
gap-polymaking (0.8.7-3)
GAP polymaking - Interfacing the geometry software polymake
gap-primgrp (3.4.4-1)
GAP PrimGrp - GAP Primitive Permutation Groups Library
gap-radiroot (2.9-1)
GAP RadiRoot - Roots of a Polynomial as Radicals
gap-scscp (2.4.3 ds-1)
SCSCP protocol in GAP
gap-smallgrp (1.5.4-2)
GAP SmallGrp - The GAP Small Groups Library
gap-smallgrp-extra (1.5.4-2)
GAP SmallGrp - The GAP Small Groups Library
gap-sonata (2.9.6 ds-2)
Systems Of Nearrings And Their Applications for GAP
gap-table-of-marks (1.2.11-1)
GAP TomLib - The GAP Library of Tables of Marks
gap-toric (1.9.6 ds-1)
toric variety for GAP
gap-transgrp (3.6.5-2)
GAP TransGrp - Transitive Groups Library
gap-utils (0.87-1)
GAP utils - Utility functions in GAP
gappa (1.4.1-2 b1 [arm64], 1.4.1-2 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
Automatic generation of proofs of arithmetic properties
geg (2.0.9-4 b2 [arm64, riscv64], 2.0.9-4 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])
GTK Equation Grapher
geneagrapher (2.0.0-1)
Create tree from Mathematics Genealogy Project (executable)
geomview (1.9.5-5)
interactive geometry viewing program
getdp (3.5.0 dfsg1-3 b1)
general environment for the treatment of discrete problems
getdp-sparskit (3.5.0 dfsg1-3 b1)
general environment for the treatment of discrete problems
gfan (0.7-2)
program for computing with Groebner fans
ggobi (2.1.12-1)
Data visualization system for high-dimensional data
ginac-tools (1.8.7-1 b2 [arm64, riscv64], 1.8.7-1 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])
GiNaC symbolic framework support tools
glpk-utils (5.0-1 b2)
linear programming kit - utility files
gmp-ecm (7.0.6 ds-1)
Factor integers using the Elliptic Curve Method
gmsh (4.13.1 ds1-4)
Three-dimensional finite element mesh generator
gnome-calculator (1:47.1-1)
GNOME desktop calculator
gnumeric (1.12.57-1 b2)
Rekenbladtoepassing voor GNOME - hoofdprogramma
gnumeric-common (1.12.57-1)
spreadsheet application for GNOME - common files
gnumeric-plugins-extra (1.12.57-1 b2)
spreadsheet application for GNOME - additional plugins
gnuplot (6.0.0 dfsg1-3)
Command-line driven interactive plotting program.
gnuplot
virtueel pakket geboden door gnuplot-nox, gnuplot-qt, gnuplot-x11
gnuplot-mode (1:0.8.1 git20230727.1.4c6b18f-2)
Transition Package, gnuplot-mode to elpa-gnuplot-mode
gnuplot-mode
virtueel pakket geboden door elpa-gnuplot-mode
gnuplot-nox (6.0.0 dfsg1-3 b1 [arm64, mips64el], 6.0.0 dfsg1-3 [amd64, armel, armhf, i386, ppc64el, riscv64, s390x])
Command-line driven interactive plotting program. No-X package
gnuplot-nox
virtueel pakket geboden door gnuplot-qt, gnuplot-x11
gnuplot-qt (6.0.0 dfsg1-3 b1 [arm64, mips64el], 6.0.0 dfsg1-3 [amd64, armel, armhf, i386, ppc64el, riscv64, s390x])
Command-line driven interactive plotting program. QT-package
gnuplot-x11 (6.0.0 dfsg1-3 b1 [arm64, mips64el], 6.0.0 dfsg1-3 [amd64, armel, armhf, i386, ppc64el, riscv64, s390x])
Command-line driven interactive plotting program. X-package
gnuplot-x11
virtueel pakket geboden door gnuplot-qt
grace (1:5.1.25-17)
XY graphing and plotting tool
gsl-bin (2.8 dfsg-5)
GNU Scientific Library (GSL) -- binary package
hera-utils (2.0.0 git20221115.8bfdd4b dfsg-1 b1 [arm64], 2.0.0 git20221115.8bfdd4b dfsg-1 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
Utilities built from the Hera library
hol-light (1:3.0.0-2)
HOL Light theorem prover
hol88 (2.02.19940316dfsg-5 b1)
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 b1)
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
jags (4.3.2-1 b1 [arm64, riscv64], 4.3.2-1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])
Just Another Gibbs Sampler for Bayesian MCMC - binary
jfractionlab (0.92-3)
Educative program to practice fractions
jgraph (83-25)
Jim Plank's program for producing PostScript graphs
kalgebra (4:22.12.3-2 b4)
algebraic graphing calculator
kalgebra-common (4:22.12.3-2 b4)
contains files common for kalgebra and kalgebramobile
kalgebramobile (4:22.12.3-2 b4 [amd64, arm64, armhf, i386, riscv64], 4:22.12.3-2 b3 [armel, mips64el, ppc64el, s390x])
algebraic graphing calculator for small touch based interfaces
kali (3.1 dfsg-3 b1 [arm64], 3.1 dfsg-3 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
Draw tilings, frieze patterns, and so on
kbruch (4:24.08.3-2)
fraction learning aid for KDE
kcalc (4:24.12.0-1)
simple and scientific calculator
kig (4:22.12.3-1 b6 [riscv64], 4:22.12.3-1 b5 [arm64, mips64el], 4:22.12.3-1 b4 [amd64, armel, armhf, i386, ppc64el, s390x])
interactive geometry tool
kissfft-tools (131.1.0-3 b3)
Mixed-radix Fast Fourier Transform library (CLI tools)
kmplot (4:22.12.3-1 b2 [arm64, riscv64], 4:22.12.3-1 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])
mathematical function plotter for KDE
labplot (2.11.1-1 b2)
interactive graphing and analysis of scientific data
labplot-data (2.11.1-1)
data files for labplot
latte-int (1.7.6 ds-3 b2 [arm64, riscv64], 1.7.6 ds-3 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])
Lattice point Enumeration
lcalc (2.0.5-1.1 b2)
program for calculating with L-functions
libcdd-tools (094m-1.1 b1)
Programs using libcdd
libcoq-aac-tactics (8.20.0-1)
Coq tactics for reasoning modulo AC (theories)
libcoq-gappa (1.5.5-2 b4 [amd64, ppc64el], 1.5.5-2 b3 [arm64, riscv64, s390x])
Coq tactic to use Gappa for floating-point goals
libcoq-mathcomp (2.3.0-1 b1 [amd64, arm64, ppc64el, s390x], 2.3.0-1 [riscv64])
Mathematical Components library for Coq (all)
libcoq-mathcomp-algebra (2.3.0-1 b1 [amd64, arm64, ppc64el, s390x], 2.3.0-1 [riscv64])
Mathematical Components library for Coq (algebra)
libcoq-mathcomp-character (2.3.0-1 b1 [amd64, arm64, ppc64el, s390x], 2.3.0-1 [riscv64])
Mathematical Components library for Coq (character)
libcoq-mathcomp-field (2.3.0-1 b1 [amd64, arm64, ppc64el, s390x], 2.3.0-1 [riscv64])
Mathematical Components library for Coq (field)
libcoq-mathcomp-fingroup (2.3.0-1 b1 [amd64, arm64, ppc64el, s390x], 2.3.0-1 [riscv64])
Mathematical Components library for Coq (finite groups)
libcoq-mathcomp-solvable (2.3.0-1 b1 [amd64, arm64, ppc64el, s390x], 2.3.0-1 [riscv64])
Mathematical Components library for Coq (finite groups II)
libcoq-mathcomp-ssreflect (2.3.0-1 b1 [amd64, arm64, ppc64el, s390x], 2.3.0-1 [riscv64])
Mathematical Components library for Coq (small scale reflection)
libcoq-stdlib (8.20.0 dfsg-1)
proof assistant for higher-order logic (theories)
libfp16-dev (0.0~git20200514.4dfe081-5)
Conversion to/from half-precision floating point formats
libfxdiv-dev (0.0~git20200417.b408327-4 b1 [riscv64], 0.0~git20200417.b408327-4 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, s390x])
division via fixed-point multiplication by inverse
libgts-bin (0.7.6 darcs121130-5.2 b1)
utility binaries for libgts
liblrs2 (0.73-2 b2 [arm64], 0.73-2 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
package to enumerate vertices and extreme rays (shared libraries)
libmagma-doc (2.7.2 ds-1) [contrib]
Matrix Algebra on GPU and Multicore Architectures (doc)
libmagma-test (2.7.2 ds-1) [contrib]
Matrix Algebra on GPU and Multicore Architectures (tests)
libmsolve-dev (0.7.3-1)
computer algebra algorithms for solving polynomial systems (development)
libojalgo-java (55.0.0 ds-1)
Java library to do mathematics, linear algebra and optimisation
libreoffice-nlpsolver (4:0.9 LibO24.8.4-1)
"Solver for Nonlinear Programming" extension for LibreOffice
libsbml5-octave (5.20.2 dfsg-8 b1)
System Biology Markup Language library - Octave bindings
libxnnpack-dev (0.0~git20240821.87ee0b4-2)
High-efficiency floating-point neural network inference operators (dev)
libxnnpack0 (0.0~git20240821.87ee0b4-2)
High-efficiency floating-point neural network inference operators (libs)
lie (2.2.2 dfsg-4)
Computer algebra package for Lie group computations
lp-solve (5.5.2.11-2)
Solve (mixed integer) linear programming problems
lrcalc (1.2-2.1 b1)
programs for calculating Littlewood-Richardson coefficients
lrslib (0.73-2 b2 [arm64], 0.73-2 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
package to enumerate vertices and extreme rays of a convex polyhedron
lybniz (3.0.4-7)
mathematical function graph plotter
macaulay2 (1.24.11 ds-3)
Software system for algebraic geometry research
macaulay2-common (1.24.11 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 b3)
3D fractal renderer and animator
mandelbulber2-data (2.20-2)
3D fractal renderer and animator - data files
maria (1.3.5-6)
reachability analyzer for Algebraic System Nets
mate-calc (1.26.0-1 b2 [arm64, riscv64], 1.26.0-1 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])
MATE desktop calculator
mate-calc-common (1.26.0-1)
MATE desktop calculator (common files)
mathicgb (1.0~git20240206-1.1 b1)
Compute Groebner bases (command line tool)
mathomatic (16.0.5-5 b1 [arm64, riscv64], 16.0.5-5 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])
portable Computer Algebra System (CAS)
mathomatic-primes (16.0.5-5 b1 [arm64, riscv64], 16.0.5-5 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])
prime number tools for mathomatic
mathpiper (0.81f svn4469 dfsg3-3.1)
Java Computer Algebra System
matio-tools (1.5.28-1 b1)
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.47.0-5)
Computer algebra system -- base system
maxima-emacs (5.47.0-5)
Computer algebra system -- emacs interface
maxima-sage (5.45.1-2 b2 [arm64, riscv64], 5.45.1-2 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])
Computer algebra system -- base system
maxima-sage-share (5.45.1-2)
Computer algebra system -- extra code
maxima-share (5.47.0-5)
Computer algebra system -- extra code
maxima-src (5.47.0-5)
Computer algebra system -- source code
maxima-test (5.47.0-5)
Computer algebra system -- test suite
mcl (1:22-282 ds-2 b1 [arm64, riscv64], 1:22-282 ds-2 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])
Markov Cluster algorithm
metamath (0.195-1 b1 [arm64, riscv64], 0.195-1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])
Language for mathematical proofs
metamath-databases (0.0.0~20210101.git55fe226-2)
Sample databases for Metamath
metis (5.1.0.dfsg-7 b2)
Serial Graph Partitioning and Fill-reducing Matrix Ordering. Binaries
ministat (20150715-1 b2 [arm64], 20150715-1 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
simple tool for statistical comparison of data sets
minlog (4.0.99.20100221-7)
Proof assistant based on first order natural deduction calculus
mlucas (20.1.1-1.3)
program to perform Lucas-Lehmer test on a Mersenne number
mongoose (1:7.8.3 dfsg-2)
transitional dummy package for suitesparse-mongoose
mplrs (0.73-2 b2 [arm64], 0.73-2 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
package to enumerate vertices and extreme rays of a convex polyhedron (parallel binary)
msolve (0.7.3-1)
computer algebra algorithms for solving polynomial systems
mumps-test (5.7.3-3 b1)
Example/test binaries using MUMPS
nauty (2.8.9 ds-1)
library for graph automorphisms -- interface and tools
netgen (6.2.2404 dfsg1-5 b1)
Automatic 3d tetrahedral mesh generator
normaliz (3.10.4 ds-1)
math computing tools for affine monoids, rational polytopes and cones
normaliz-bin (3.10.4 ds-1)
math computing tools for affine monoids, rational polytopes and cones - bin
num-utils (0.5-15)
programs for dealing with numbers from the command line
numbat (1.11.0-1 b2)
CLI for numbat, a programming language for scientific computations
octave (9.3.0-1)
GNU Octave language for numerical computations
octave-audio (2.0.9-1)
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 (9.3.0-1)
architecture-independent files for octave
octave-communications (1.2.6-3)
communications package for Octave
octave-communications-common (1.2.6-3)
communications package for Octave (arch-indep files)
octave-control (4.0.1-1 b2)
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.6.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 b3 [arm64], 1:1.1.2-4 b2 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
econometrics functions for Octave
octave-financial (0.5.3-5)
financial package for Octave
octave-fpl (1.3.5-7)
plot data on unstructured triangular and tetrahedral meshes in Octave
octave-fuzzy-logic-toolkit (0.6.1-1)
fuzzy logic toolkit for Octave
octave-ga (0.10.4-1)
genetic optimization code for Octave
octave-general (2.1.3-1 b4)
provide extra general functions for Octave
octave-geometry (4.1.0-1 b2 [arm64], 4.1.0-1 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
extension of MatGeom functionality in Octave
octave-gsl (2.1.1-7 b3)
GSL binding for Octave
octave-image (2.14.0-5 b3)
image manipulation for Octave
octave-image-acquisition (0.2.6-1)
image acquisition package for Octave
octave-instrument-control (0.9.3-1 b2 [arm64], 0.9.3-1 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
instrument control for Octave
octave-interval (3.2.1-6 b3)
real-valued interval arithmetic for Octave
octave-io (2.6.4-3 b3 [arm64], 2.6.4-3 b2 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
input/output data functions for Octave
octave-level-set (0.3.1~git.2019.04.13-7 b3)
level-set toolbox for Octave
octave-linear-algebra (2.2.3-4)
additional linear-algebra functions for Octave
octave-lssa (0.1.4-2 b3 [arm64], 0.1.4-2 b2 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
least squares spectral analysis for Octave
octave-ltfat (2.6.0 dfsg-6 b2 [arm64, riscv64], 2.6.0 dfsg-6 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])
Large Time/Frequency Analysis Toolbox
octave-ltfat-common (2.6.0 dfsg-6)
Large Time/Frequency Analysis Toolbox (arch-indep files)
octave-mapping (1.4.2-3 b8 [arm64, armel, armhf], 1.4.2-3 b7 [amd64, i386, mips64el, ppc64el, s390x], 1.4.2-3 b6 [riscv64])
geographical mapping functions for Octave
octave-matgeom (1.2.4-2)
computational geometry for Octave
octave-miscellaneous (1.3.1-1)
miscellaneous tools for Octave
octave-msh (1.0.12-1)
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-4 b2 [arm64, riscv64], 3.7.0-4 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])
handles data with and without missing values in Octave
octave-ncarray (1.0.6-1)
access NetCDF files as a multi-dimensional array in Octave
octave-netcdf (1.0.18-1)
Matlab compatible NetCDF interface for Octave
octave-nlopt (2.7.1-6 b1)
nonlinear optimization library -- GNU Octave package
octave-nurbs (1.4.3-3 b3 [arm64], 1.4.3-3 b2 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
non-uniform rational B-splines for Octave
octave-octclip (2.0.3-1 b3 [arm64], 2.0.3-1 b2 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
boolean operations with polygons in Octave
octave-octproj (3.0.2-1 b3 [arm64], 3.0.2-1 b2 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
GNU Octave bindings to PROJ.4
octave-optics (0.1.4-4)
optics functions for Octave
octave-optim (1.6.2-3 b3)
unconstrained non-linear optimization toolkit for Octave
octave-optiminterp (0.3.7-3 b3)
optimal interpolation package for Octave
octave-parallel (4.0.2-1 b2 [arm64, riscv64], 4.0.2-1 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])
parallel execution of Octave in clusters of computers
octave-pfstools (2.2.0-9)
octave bindings for pfstools
octave-phclab (2.4.90 dfsg-1)
general-purpose solver for polynomial systems (Octave)
octave-plplot (5.15.0 dfsg2-11 b3)
Octave support for PLplot, a plotting library
octave-quaternion (2.4.0-10 b3 [arm64], 2.4.0-10 b2 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
quaternion package for Octave
octave-queueing (1.2.8-1)
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 b3 [arm64], 0.0.8-16 b2 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
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.6-1)
signal processing functions for Octave
octave-sockets (1.4.1-4 b2 [arm64], 1.4.1-4 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
communication through Internet sockets in Octave
octave-sparsersb (1.0.9-7 b3 [arm64], 1.0.9-7 b2 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
RSB sparse matrix manipulation for Octave
octave-splines (1.3.5-2)
cubic spline functions for Octave
octave-statistics (1.7.0-2)
additional statistical functions for Octave
octave-statistics-common (1.7.0-2)
additional statistical functions for Octave (arch-indep files)
octave-stk (2.8.1-3 b1 [arm64], 2.8.1-3 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
(not so) Small Toolbox for Kriging
octave-strings (1.3.1-1 b3)
additional string manipulation functions for Octave
octave-struct (1.0.18-3 b3)
additional structure manipulation functions for Octave
octave-symbolic (3.2.1-3)
symbolic package for Octave
octave-tsa (4.6.3-3)
time series analysis in Octave
octave-vibes (0.2.0-9 b3 [amd64, arm64], 0.2.0-9 b2 [armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
VIBes API to easily display results in Octave
octave-video (2.1.1-3 b3)
video file reader/writer for Octave
octave-zeromq (1.5.6-4 b2 [arm64], 1.5.6-4 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
ZeroMQ binding for Octave
palp (2.21-1)
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.17.0-2)
PARI/GP Computer Algebra System binaries
pari-gp2c (0.0.14-1)
PARI/GP GP to C compiler
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)
pdl (1:2.095-1)
perl data language: Perl extensions for numerics
pgplot5 (5.2.2-19.7) [non-free]
large subroutine library for plotting scientific data
phat-utils (1.7-1 b3 [arm64], 1.7-1 b2 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
Utilities from the PHAT library
phcpack (2.4.90 dfsg-1 b4)
general-purpose solver for polynomial systems (command line)
pi (1.3.7-1 b1)
Compute Archimedes' constant Pi to arbitrary precision
planarity (3.0.2.0-2.1 b1)
Program for planarity-related graph algorithms
plfit (0.9.6 ds-2)
fitting power-law distributions to empirical data -- interfaces
plotutils (2.6-14 b3)
GNU plotutils command line tools based on libplot
plplot-tcl (5.15.0 dfsg2-11 b3)
Tcl/Tk support for PLplot, a plotting library
plplot-tcl-bin (5.15.0 dfsg2-11 b3)
Tcl/Tk tools for PLplot, a plotting library
plplot-tcl-dev (5.15.0 dfsg2-11 b3)
Tcl/Tk development support for PLplot, a plotting library
polylib-utils (5.22.5-4.2 dfsg b1 [arm64], 5.22.5-4.2 dfsg [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
Various tools using libpolylib
polymake (4.12-3 b1)
Tool for algorithmic discrete geometry
polymake-common (4.12-3)
Tool for algorithmic discrete geometry -- shared files
primecount (7.14 ds-1)
fast prime number counter C/C library
primecount-bin (7.14 ds-1)
fast prime number counter C/C library -- bin
primesieve (12.6 ds-1)
fast prime number generator C/C library
primesieve-bin (12.6 ds-1)
fast prime number generator C/C library -- bin
psignifit (2.5.6-8 b2 [arm64], 2.5.6-8 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
Fitting and testing hypotheses about psychometric functions
pspp (2.0.1-1 b1)
Statistical analysis tool
ptscotch (7.0.6-1)
MPI programs and libraries for graph, mesh and hypergraph partitioning
pyecm (2.0.5-2)
integer factorization with the Elliptic Curve Method (ECM)
python3-cvc5 (1.1.2-2 b2)
automated theorem prover for SMT problems (Python bindings)
pyxplot (0.9.2-14 b2)
data plotting program producing publication-quality output
qalc (5.4.0.1-1)
Powerful and easy to use command line calculator
qalculate-gtk (5.3.0-1)
Powerful and easy to use desktop calculator - GTK version
qepcad (1.74 ds-5)
quantifier elimination tool
qhull-bin (2020.2-6 b2)
calculate convex hulls and related structures (utilities)
qsopt-ex (2.5.10.3-3)
Exact linear programming solver
quickplot (1.0.1~rc-3)
fast interactive 2D plotter and data viewer
r-bioc-hilbertvis (1.62.0-1)
GNU R package to visualise long vector data
relational (3.3-1)
Educational tool for relational algebra (graphical user interface)
relational-cli (3.3-1)
Educational tool for relational algebra (command line interface)
ries (2018.08.05-1 b1 [arm64, riscv64], 2018.08.05-1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])
find algebraic equations, given their solution
ripser (1.2.1-3 b1 [arm64, riscv64], 1.2.1-3 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])
Fast computation of persistent homology of flag complexes
rkward (0.7.5-3 b1 [arm64], 0.7.5-3 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])
KDE frontend to the R statistics language
rkward-data (0.7.5-3)
KDE frontend to the R statistics language - data files
rocs (4:22.12.3-1 b2 [arm64, riscv64], 4:22.12.3-1 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])
graph theory IDE
rubiks (20070912-7 b1 [arm64], 20070912-7 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
Small collection of Rubik's cube solvers
sagemath-database-conway-polynomials (0.10-2)
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-6)
Databases for elliptic curves
sagemath-database-graphs (20210214 dfsg-2)
Databases of graphs
sagemath-database-mutually-combinatorial-designs (20140630-7)
Databases of combinatorial designs
sagemath-database-polytopes (20170220-6)
Databases of polytopes
sc (7.16-1.1.2-1)
Text-based spreadsheet with VI-like keybindings
sc-im (0.8.4 ds-1 b1)
Text-based spreadsheet calculator with VI-like keybindings
scalapack-mpi-test (2.2.1-7 b1)
Scalable Linear Algebra Package - Test files for MPI
scilab (2024.1.0 dfsg-6)
Scientific software package for numerical computations
scilab-cli (2024.1.0 dfsg-6)
Scientific software package - Command Line Interpreter
scilab-data (2024.1.0 dfsg-6)
Scientific software package for numerical computations (data files)
scilab-full-bin (2024.1.0 dfsg-6 b1)
Scientific software package for numerical computations (all binary files)
scilab-include (2024.1.0 dfsg-6 b1)
Scientific software package for numerical computations (include files)
scilab-minimal-bin (2024.1.0 dfsg-6 b1)
Scientific software package for numerical computations (minimal binary files)
scilab-test (2024.1.0 dfsg-6)
Scientific software package for numerical computations (test files)
scotch (7.0.6-1)
programs and libraries for graph, mesh and hypergraph partitioning
sdpb (1.0-4 b4 [arm64], 1.0-4 b3 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x], 1.0-4 b2 [riscv64])
Semidefinite program solver
sgb (1:20210202-2 b1 [riscv64], 1:20210202-2 [amd64, arm64, armel, armhf, i386, mips64el, ppc64el, s390x]) [non-free]
The Stanford GraphBase: combinatorial data and algorithms
singular (1:4.4.0-p8 ds-1)
Computer Algebra System for Polynomial Computations
singular-data (1:4.4.0-p8 ds-1)
Computer Algebra System for Polynomial Computations -- shared data
singular-ui (1:4.4.0-p8 ds-1)
Computer Algebra System for Polynomial Computations -- console user interface
singular-ui-emacs (1:4.4.0-p8 ds-1)
Computer Algebra System for Polynomial Computations -- emacs user interface
singular-ui-xterm (1:4.4.0-p8 ds-1)
Computer Algebra System for Polynomial Computations -- xterm user interface
socnetv (2.8-1 b2 [arm64, i386, riscv64], 2.8-1 b1 [amd64, armel, armhf, mips64el, ppc64el, s390x])
Social Networks Analysis and Visualization software
sollya (8.0 ds-2 b3)
library for safe floating-point code development -- tool
soplex (7.1.2 dfsg-1)
sequential object-oriented simplex solver
spigot (0.2017-01-15.gdad1bbc6-1 b2 [arm64], 0.2017-01-15.gdad1bbc6-1 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
Exact real calculator
spline (1.2-5 b2 [arm64], 1.2-5 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
Akima spline interpolation
sptag (0.0~git20230612.2ffaec6 ds-4 b2)
distributed approximate nearest neighborhood search (ANN)
st-console (1.1.4-7.1)
simple mathematics statistics from the command line interface
stda (1.3.1-2.1)
simple tools for data analysis (stda)
stopt-examples (5.12 dfsg-3)
library for stochastic optimization problems (programs examples)
suitesparse-mongoose (1:7.8.3 dfsg-2)
graph partitioning tool that can quickly compute edge cuts (executable)
surf-alggeo (1.0.6 ds-7 b1 [arm64], 1.0.6 ds-7 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
visualization of real algebraic geometry
surf-alggeo-nox (1.0.6 ds-7 b1 [arm64], 1.0.6 ds-7 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
visualization of real algebraic geometry -- no X support
sympow (2.023.7-1 b1 [arm64], 2.023.7-1 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
mathematical program for SYMmetric POWer elliptic curve L-functions -- program
sympow-data (2.023.7-1)
mathematical program for SYMmetric POWer elliptic curve L-functions -- shared
tachyon (0.99~b6 dsx-14)
Parallel/Multiprocessor Standalone Ray Tracer - metapackage
tachyon-bin-nox (0.99~b6 dsx-14)
Parallel/Multiprocessor Standalone Ray Tracer - with no X support
tachyon-bin-ogl (0.99~b6 dsx-14)
Parallel/Multiprocessor Standalone Ray Tracer - with OpenGL display
tapecalc (20240110-1 b1 [arm64], 20240110-1 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
full-screen tape editor that lets the user edit a calculation
testu01-bin (1.2.3 ds1-2.1) [non-free]
testing suite for uniform random number generators -- utils
testu01-data (1.2.3 ds1-2.1) [non-free]
testing suite for uniform random number generators -- data
tetgen (1.5.0-5 b2)
Quality Tetrahedral Mesh Generator
tiemu-skinedit (1.28~git20220826.cda2db4-1 b2 [arm64, riscv64], 1.28~git20220826.cda2db4-1 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])
skin editor for TiEmu
tilp2 (1.19~git20231112.5a2ea63-1 b2 [arm64], 1.19~git20231112.5a2ea63-1 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
Texas Instruments hand-helds <-> PC communication program for X
topcom (1.1.2 ds-1.1 b2)
Triangulations Of Point Configurations and Oriented Matroids
topcom-examples (1.1.2 ds-1.1)
Triangulations Of Point Configs and Oriented Matroids (examples)
ttyplot (1.7.0-1 b1 [arm64], 1.7.0-1 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
realtime plotting utility for text mode consoles and terminals
twinvoicerecalc (0.0.20170711-1.1)
Taiwan invoice reverse calculator
vibes (0.3.1 dfsg-1)
visualizer for intervals and boxes
vspline-dev (1.1.7-1)
header-only C template library for b-spline processing
wcalc (2.5-3 b3 [arm64], 2.5-3 b2 [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x])
Flexible command-line scientific calculator
why3 (1.7.2-2 b1)
Software verification platform
why3-doc-html (1.7.2-2)
HTML Documentation of the why3 verification platform
why3-doc-pdf (1.7.2-2)
PDF Documentation of the why3 verification platform
why3-examples (1.7.2-2)
Examples for the why3 verification platform
wxmaxima (24.02.1-1 b3 [arm64, mips64el], 24.02.1-1 b2 [amd64, armel, armhf, i386, ppc64el, riscv64, s390x])
GUI for the computer algebra system Maxima
wzip (1.1.6 b1 [arm64, riscv64], 1.1.6 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])
Lossy compression and denoising
xeus-gp (0.0.0-1 b1)
Native jupyter kernel for GP
xmaxima (5.47.0-5)
Computer algebra system -- x interface
xrprof (0.3.1-3 b2 [arm64, riscv64], 0.3.1-3 b1 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])
External Sampling Profiler for R
yacas (1.3.6-2.3 b1 [arm64, riscv64], 1.3.6-2.3 [amd64, armel, armhf, i386, mips64el, ppc64el, s390x])
Computer Algebra System