Software Packages in "ecne-updates", Subsection math

4ti2 (1.6.10+ds-1)

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

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-3build1)

GNU bc arbitrary precision calculator language

calc (2.15.0.4-1)

Arbitrary precision calculator

calc-common (2.15.0.4-1)

Arbitrary precision calculator (common files)

calligrasheets (1:3.2.1+dfsg-8build2)

spreadsheet for the Calligra Suite

calligrasheets-data (1:3.2.1+dfsg-8build2)

data files for Sheets spreadsheet

cantor (4:23.08.5-0ubuntu4.2)

interface for mathematical applications

cantor-backend-kalgebra (4:23.08.5-0ubuntu4.2)

KAlgebra backend for Cantor

cantor-backend-lua (4:23.08.5-0ubuntu4.2)

Lua backend for Cantor

cantor-backend-maxima (4:23.08.5-0ubuntu4.2)

Maxima backend for Cantor

cantor-backend-octave (4:23.08.5-0ubuntu4.2)

Octave backend for Cantor

cantor-backend-python3 (4:23.08.5-0ubuntu4.2)

Python3 backend for Cantor

cantor-backend-qalculate (4:23.08.5-0ubuntu4.2)

Qalculate! backend for Cantor

cantor-backend-r (4:23.08.5-0ubuntu4.2)

R backend for Cantor

cantor-backend-sage (4:23.08.5-0ubuntu4.2)

Sage backend for Cantor

cantor-backend-scilab (4:23.08.5-0ubuntu4.2)

Scilab backend for Cantor

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)

coq (8.18.0+dfsg-1)

proof assistant for higher-order logic (toplevel and compiler)

coqide (8.18.0+dfsg-1)

proof assistant for higher-order logic (gtk interface)

cryptominisat (5.11.15+dfsg1-1build2)

SAT solver command line interface

cvc4 (1.8-3)

automated theorem prover for SMT problems

cvc5 (1.1.1-1)

automated theorem prover for SMT problems

dc (1.07.1-3build1)

GNU dc arbitrary precision reverse-polish calculator

deepin-calculator (5.7.21-2)

Calculator for DDE (Deepin Desktop Environment)

dolfin-bin (2019.2.0~legacy20240219.1c52e83-1ubuntu1)

Executable scripts for DOLFIN

eclib-tools (20231212-1)

Programs for modular symbols and elliptic curves over Q

elan (3.1.0-1ubuntu0.1)

tool for managing installations of the Lean theorem prover

elpa-fricas (1.3.10-1)

General purpose computer algebra system: emacs support

eukleides (1.5.4-5)

Euclidean geometry drawing language

euler (1.61.0-12)

interactive mathematical programming environment

euler-doc (1.61.0-12)

documentation for the mathematical programming environment Euler

fplll-tools (5.4.5-1)

Tools to compute LLL-reduction of Euclidian lattices

freefem++ (4.13+dfsg-1build3)

Provides the binaries of the FreeFem++ FE suite

fricas (1.3.10-1)

General purpose computer algebra system: main binary and modules

fricas-databases (1.3.10-1)

General purpose computer algebra system: generated text databases

fricas-graphics (1.3.10-1)

General purpose computer algebra system: graphics subsystem

fricas-graphics-data (1.3.10-1)

General purpose computer algebra system: graphics data

fricas-hypertex (1.3.10-1)

General purpose computer algebra system: hypertex subsystem

fricas-hypertex-data (1.3.10-1)

General purpose computer algebra system: hypertex data

fricas-source (1.3.10-1)

General purpose computer algebra system: source files

fricas-test (1.3.10-1)

General purpose computer algebra system: regression test inputs

galculator (2.1.4-1.2)

scientific calculator

gap (4.12.1-2)

computer algebra system for Groups, Algorithms and Programming

gap-core (4.12.1-2)

GAP computer algebra system, core components

gap-float (1.0.4+ds-1)

multi-precision floating-point computation for GAP

gap-libs (4.12.1-2)

GAP computer algebra system, essential GAP libraries

gap-online-help (4.12.1-2)

GAP computer algebra system, online help

geg (2.0.9-4)

GTK+ Equation Grapher

geomview (1.9.5-4)

interactive geometry viewing program

gerris (20131206+dfsg-19)

Fluid Flow Solver

getdp (3.2.0+dfsg1-1.1build10)

general environment for the treatment of discrete problems

getdp-sparskit (3.2.0+dfsg1-1.1build10)

general environment for the treatment of discrete problems

gfan (0.6.2-6)

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-2build1)

Data visualization system for high-dimensional data

ginac-tools (1.8.7-1)

GiNaC symbolic framework support tools

gmsh (4.12.1+ds1-1)

Three-dimensional finite element mesh generator

gnome-calculator (1:46.3-0ubuntu0.1)

GNOME desktop calculator

gnumeric (1.12.56-2build2)

spreadsheet application for GNOME - main program

gnumeric-common (1.12.56-2build2)

spreadsheet application for GNOME - common files

gnumeric-plugins-extra (1.12.56-2build2)

spreadsheet application for GNOME - additional plugins

gnuplot (5.4.4+dfsg1-2build1)

Command-line driven interactive plotting program.

gnuplot

virtual package provided by gnuplot-x11, gnuplot-nox, gnuplot-qt

gnuplot-nox (5.4.4+dfsg1-2build1)

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

gnuplot-nox

virtual package provided by gnuplot-qt, gnuplot-x11

gnuplot-qt (5.4.4+dfsg1-2build1)

Command-line driven interactive plotting program. QT-package

gnuplot-x11 (5.4.4+dfsg1-2build1)

Command-line driven interactive plotting program. X-package

gnuplot-x11

virtual package provided by gnuplot-qt

grace (1:5.1.25-13)

XY graphing and plotting tool

gretl (2023c-2)

GNU Regression, Econometric & Time-Series Library

gretl-common (2023c-2)

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

gretl-data (2023c-2)

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

gretl-doc (2023c-2)

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

grpn (1.4.1-1.1)

GTK+ reverse polish notation calculator

gudhi-utils (3.9.0+dfsg-1)

Utilities from the GUDHI library

gudhui (3.9.0+dfsg-1)

GUI for some of the functionality of the GUDHI library

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-doc (2.02.19940316dfsg-5)

Documentation for hol88

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

kalgebra-common (4:23.08.5-0ubuntu4.2)

contains files common for kalgebra and kalgebramobile

kalgebramobile (4:23.08.5-0ubuntu4.2)

algebraic graphing calculator for small touch based interfaces

kali (3.1+dfsg-1)

Draw tilings, frieze patterns, and so on

kbruch (4:23.08.5-0ubuntu1)

fraction learning aid for KDE

kig (4:23.08.5-0ubuntu1)

interactive geometry tool

kissfft-tools (131.1.0-3)

Mixed-radix Fast Fourier Transform library (CLI tools)

kmplot (4:23.08.5-0ubuntu1)

mathematical function plotter for KDE

labplot (2.10.1-2)

interactive graphing and analysis of scientific data

labplot-data (2.10.1-2)

data files for labplot

latte-int (1.7.6+ds-3)

Lattice point Enumeration

lcalc (2.0.5-1build1)

program for calculating with L-functions

libcantorlibs28 (4:23.08.5-0ubuntu4.2)

interface for mathematical applications - shared library

libcdd-tools (094m-1)

Programs using libcdd

libcoq-aac-tactics (8.18.0-1)

Coq tactics for reasoning modulo AC (theories)

libcoq-gappa (1.5.4-1)

Coq tactic to use Gappa for floating-point goals

libcoq-mathcomp (2.1.0-1build2)

Mathematical Components library for Coq (all)

libcoq-mathcomp-algebra (2.1.0-1build2)

Mathematical Components library for Coq (algebra)

libcoq-mathcomp-character (2.1.0-1build2)

Mathematical Components library for Coq (character)

libcoq-mathcomp-field (2.1.0-1build2)

Mathematical Components library for Coq (field)

libcoq-mathcomp-fingroup (2.1.0-1build2)

Mathematical Components library for Coq (finite groups)

libcoq-mathcomp-solvable (2.1.0-1build2)

Mathematical Components library for Coq (finite groups II)

libcoq-mathcomp-ssreflect (2.1.0-1build2)

Mathematical Components library for Coq (small scale reflection)

libcoq-stdlib (8.18.0+dfsg-1)

proof assistant for higher-order logic (theories)

libgeomview-dev (1.9.5-4)

geomview library development package

libgts-bin (0.7.6+darcs121130-5)

utility binaries for libgts

liblpsolve55-dev (5.5.2.5-2ubuntu0.1)

Solve (mixed integer) linear programming problems - library

liblrcalc1 (1.2-2build1)

library for calculating Littlewood-Richardson coefficients

liblrs1 (0.71b-2)

package to enumerate vertices and extreme rays (shared libraries)

libmsolve-0.6.4 (0.6.4-1)

computer algebra algorithms for solving polynomial systems (shared library)

libmsolve-dev (0.6.4-1)

computer algebra algorithms for solving polynomial systems (development)

libreoffice-nlpsolver (4:0.9+LibO24.2.7-0ubuntu0.24.04.7)

"Solver for Nonlinear Programming" extension for LibreOffice

libsbml5-octave (5.20.2+dfsg-2build2)

System Biology Markup Language library - Octave bindings

lie (2.2.2+dfsg-3build1)

Computer algebra package for Lie group computations

lp-solve (5.5.2.5-2ubuntu0.1)

Solve (mixed integer) linear programming problems

lrcalc (1.2-2build1)

programs for calculating Littlewood-Richardson coefficients

lrslib (0.71b-2)

package to enumerate vertices and extreme rays of a convex polyhedron

macaulay2 (1.22+ds-6)

Software system for algebraic geometry research

macaulay2-common (1.22+ds-6)

Software system for algebraic geometry research (common files)

mandelbulber2 (2.20-2build1)

3D fractal renderer and animator

mandelbulber2-data (2.20-2build1)

3D fractal renderer and animator - data files

maria (1.3.5-4.2)

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~git20240206-1)

Compute Groebner bases (command line tool)

matio-tools (1.5.26-1)

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

maxima (5.46.0-11)

Computer algebra system -- base system

maxima-doc (5.46.0-11)

Computer algebra system -- documentation

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

mongoose (1:7.6.0+dfsg-1)

transitional dummy package for suitesparse-mongoose

mplrs (0.71b-2)

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

mrbayes (3.2.7a-7)

Bayesian Inference of Phylogeny

msolve (0.6.4-1)

computer algebra algorithms for solving polynomial systems

mumps-test (5.6.2-2)

Example/test binaries using MUMPS

nco (5.2.1-1)

Command-line operators to analyze netCDF files

netgen (6.2.2401+dfsg1-1)

Automatic 3d tetrahedral mesh generator

normaliz (3.10.1+ds-5build1)

math computing tools for affine monoids, rational polytopes and cones

normaliz-bin (3.10.1+ds-5build1)

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

octave (8.4.0-1build1)

GNU Octave language for numerical computations

octave-common (8.4.0-1build1)

architecture-independent files for octave

octave-fits (1.0.7-7build2)

manipulation of FITS files in Octave

octave-general (2.1.3-1)

provide extra general functions for Octave

octave-image-acquisition (0.2.2-7build1)

image acquisition package for Octave

octave-mapping (1.4.2-3ubuntu4)

geographical mapping functions for Octave

octave-netcdf (1.0.17-2)

Matlab compatible NetCDF interface for Octave

octave-pfstools (2.2.0-7build1)

octave bindings for pfstools

octave-phclab (2.4.90+dfsg-1build1.1)

general-purpose solver for polynomial systems (Octave)

octave-plplot (5.15.0+dfsg2-9build1.1)

Octave support for PLplot, a plotting library

octave-sparsersb (1.0.9-7)

RSB sparse matrix manipulation for Octave

octave-statistics (1.6.0-2ubuntu1)

additional statistical functions for Octave

pari-gp (2.15.4-2)

PARI/GP Computer Algebra System binaries

pdl (1:2.085-1)

perl data language: Perl extensions for numerics

phcpack (2.4.90+dfsg-1build1.1)

general-purpose solver for polynomial systems (command line)

plfit (0.9.4+ds-1ubuntu2)

fitting power-law distributions to empirical data -- interfaces

plotutils (2.6-14)

GNU plotutils command line tools based on libplot

plplot-tcl (5.15.0+dfsg2-9build1.1)

Tcl/Tk support for PLplot, a plotting library

plplot-tcl-bin (5.15.0+dfsg2-9build1.1)

Tcl/Tk tools for PLplot, a plotting library

plplot-tcl-dev (5.15.0+dfsg2-9build1.1)

Tcl/Tk development support for PLplot, a plotting library

polylib-utils (5.22.5-4+dfsg)

Various tools using libpolylib

polymake (4.11-2build2)

Tool for algorithmic discrete geometry

polymake-common (4.11-2build2)

Tool for algorithmic discrete geometry -- shared files

primecount (7.10+ds-1)

fast prime number counter C/C++ library

primecount-bin (7.10+ds-1)

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

primesieve (12.0+ds-1)

fast prime number generator C/C++ library

primesieve-bin (12.0+ds-1)

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

pspp (2.0.0-3)

Statistical analysis tool

ptscotch (7.0.4-1)

MPI programs and libraries for graph, mesh and hypergraph partitioning

python3-cvc5 (1.1.1-1)

automated theorem prover for SMT problems (Python bindings)

qalc (4.9.0-1build1)

Powerful and easy to use command line calculator

qalculate-gtk (4.9.0-1)

Powerful and easy to use desktop calculator - GTK+ version

qepcad (1.74+ds-4)

quantifier elimination tool

qsopt-ex (2.5.10.3-2)

Exact linear programming solver

quickplot (1.0.1~rc-1build3)

fast interactive 2D plotter and data viewer

r-base (4.3.2-1build1)

GNU R statistical computation and graphics system

r-base-core (4.3.2-1build1)

GNU R core of statistical computation and graphics system

r-base-html (4.3.2-1build1)

GNU R html docs for statistical computing system functions

r-cran-rgl (1.2.8-1)

GNU R package for three-dimensional visualisation using OpenGL

r-cran-rmpi (0.7-2-1)

GNU R package interfacing MPI libraries for distributed computing

r-cran-rserve (1.8-13-2)

GNU R Rserve tcp/ip server and sample clients

r-mathlib (4.3.2-1build1)

GNU R standalone mathematics library

r-recommended (4.3.2-1build1)

GNU R collection of recommended packages [metapackage]

rheolef (7.2-3build3)

efficient Finite Element environment

rkward (0.7.5-2)

KDE frontend to the R statistics language

rkward-data (0.7.5-2)

KDE frontend to the R statistics language - data files

scalapack-mpi-test (2.2.1-3)

Scalable Linear Algebra Package - Test files for MPI

scilab (2024.0.0+dfsg-5)

Scientific software package for numerical computations

scilab-cli (2024.0.0+dfsg-5)

Scientific software package - Command Line Interpreter

scilab-data (2024.0.0+dfsg-5)

Scientific software package for numerical computations (data files)

scilab-doc (2024.0.0+dfsg-5)

Scientific software package (English documentations)

scilab-full-bin (2024.0.0+dfsg-5)

Scientific software package for numerical computations (all binary files)

scilab-include (2024.0.0+dfsg-5)

Scientific software package for numerical computations (include files)

scilab-minimal-bin (2024.0.0+dfsg-5)

Scientific software package for numerical computations (minimal binary files)

scilab-test (2024.0.0+dfsg-5)

Scientific software package for numerical computations (test files)

scotch (7.0.4-1)

programs and libraries for graph, mesh and hypergraph partitioning

sdpa (7.3.16+dfsg-1build2)

High-performance package for SemiDefinite Programs

sdpam (7.3.16+dfsg-1build2)

Matlab/Octave interface of SDPA

singular (1:4.3.2-p10+ds-1build1)

Computer Algebra System for Polynomial Computations

singular-data (1:4.3.2-p10+ds-1build1)

Computer Algebra System for Polynomial Computations -- shared data

singular-ui (1:4.3.2-p10+ds-1build1)

Computer Algebra System for Polynomial Computations -- console user interface

singular-ui-emacs (1:4.3.2-p10+ds-1build1)

Computer Algebra System for Polynomial Computations -- emacs user interface

singular-ui-xterm (1:4.3.2-p10+ds-1build1)

Computer Algebra System for Polynomial Computations -- xterm user interface

socnetv (2.8-1)

Social Networks Analysis and Visualization software

sollya (8.0+ds-2build1)

library for safe floating-point code development -- tool

soplex (6.0.4+dfsg-1)

sequential object-oriented simplex solver

sptag (0.0~git20230612.2ffaec6+ds-4build1)

distributed approximate nearest neighborhood search (ANN)

stopt-examples (5.8+dfsg-1build2)

library for stochastic optimization problems (programs examples)

suitesparse-mongoose (1:7.6.0+dfsg-1)

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

tachyon (0.99~b6+dsx-12)

Parallel/Multiprocessor Standalone Ray Tracer - metapackage

tachyon-bin-nox (0.99~b6+dsx-12)

Parallel/Multiprocessor Standalone Ray Tracer - with no X support

tachyon-bin-ogl (0.99~b6+dsx-12)

Parallel/Multiprocessor Standalone Ray Tracer - with OpenGL display

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

skin editor for TiEmu

tilem (2.0-5build1)

GTK+ TI Z80 calculator emulator

tilem-data (2.0-5build1)

GTK+ TI Z80 calculator emulator (data files)

tilp2 (1.19~git20231112.5a2ea63-1)

Texas Instruments hand-helds <-> PC communication program for 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)

vibes (0.2.3+dfsg-1)

visualizer for intervals and boxes

wcalc (2.5-3build1)

Flexible command-line scientific calculator

why3 (1.6.0-1build4)

Software verification platform

why3-doc-html (1.6.0-1build4)

HTML Documentation of the why3 verification platform

why3-doc-pdf (1.6.0-1build4)

PDF Documentation of the why3 verification platform

why3-examples (1.6.0-1build4)

Examples for the why3 verification platform

wxmaxima (24.02.1-1)

GUI for the computer algebra system Maxima

xmaxima (5.46.0-11)

Computer algebra system -- x interface

xrprof (0.3.1-3)

External Sampling Profiler for R

yorick (2.2.04+dfsg1-12)

interpreted language and scientific graphics

yorick-data (2.2.04+dfsg1-12)

interpreted library for the Yorick language

yorick-dev (2.2.04+dfsg1-12)

development files for the Yorick interpreted language

yorick-hdf5 (0.8.0-8build2)

Hierarchical Data Format 5 interface for the Yorick language

yorick-z (1.2.0+cvs20080115-5.1)

zlib, jpeg and png support for the Yorick language