Software Packages in "bookworm", Subsection 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)
- transitional package
- apcalc-common (2.12.7.2-4)
- transitional package
- 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, armel, armhf, i386, mips64el, mipsel, ppc64el, 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+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)
- concalc (0.9.2-2.1)
- console calculator
- coq (8.16.1+dfsg-1+b2)
- proof assistant for higher-order logic (toplevel and compiler)
- coqide (8.16.1+dfsg-1+b2)
- proof assistant for higher-order logic (gtk interface)
- 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 arbitrary precision reverse-polish calculator
- 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)
- Euclidean geometry drawing language
- euler (1.61.0-12)
- interactive mathematical programming environment
- evolver (2.70+ds-8)
- Surface Evolver
- evolver
- virtual package provided by evolver-nox, evolver-ogl
- 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)
- PDE oriented language using Finite Element Method
- freefem++ (4.11+dfsg1-3)
- Provides the binaries of the FreeFem++ FE suite
- freefem-examples (3.5.8-7)
- Example files for 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)
- scientific calculator
- gap (4.12.1-2)
- computer algebra system for Groups, Algorithms and Programming
- gap-aclib (1.3.2-2)
- GAP AClib - Almost Crystallographic Groups - A Library and Algorithms
- gap-alnuth (3.2.1-1)
- GAP Alnuth - Algebraic number theory and an interface to PARI/GP
- gap-atlasrep (2.1.6-1)
- GAP AtlasRep - A GAP Interface to the Atlas of Group Representations
- gap-autodoc (2022.10.20-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-character-tables (1.3.4-1)
- GAP Library of character tables
- gap-congruence (1.2.4-1)
- GAP Congruence - Congruence subgroups of SL(2,Integers)
- gap-core (4.12.1-2)
- GAP computer algebra system, core components
- 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 - A Meta Package for GAP Documentation
- 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 computer algebra system, essential GAP libraries
- gap-nq (2.5.9-1)
- GAP nq - Nilpotent Quotients of Finitely Presented Groups
- gap-online-help (4.12.1-2)
- GAP computer algebra system, online help
- gap-openmath (11.5.2+ds-1)
- OpenMath phrasebook for GAP
- gap-polycyclic (2.16-2)
- GAP Polycyclic - Computation with polycyclic groups
- 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 - Roots of a Polynomial as Radicals
- gap-scscp (2.4.0+ds-1)
- SCSCP protocol in GAP
- gap-smallgrp (1.5.1-1)
- GAP SmallGrp - The GAP Small Groups Library
- (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 - The GAP Library of Tables of Marks
- 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+ Equation Grapher
- geneagrapher (1.0c2+git20220519-1)
- Create tree from Mathematics Genealogy Project (executable)
- geomview (1.9.5-4+b1)
- interactive geometry viewing program
- 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)
- Data visualization system for high-dimensional data
- ginac-tools (1.8.6-1)
- GiNaC symbolic framework support tools
- glpk-utils (5.0-1)
- linear programming kit - utility files
- gmp-ecm (7.0.5+ds-1)
- Factor integers using the Elliptic Curve Method
- gmsh (4.8.4+ds2-3)
- Three-dimensional finite element mesh generator
- gnome-calculator (1:43.0.1-2)
- GNOME desktop calculator
- gnumeric (1.12.55-1)
- spreadsheet application for GNOME - main program
- gnumeric-common (1.12.55-1)
- spreadsheet application for GNOME - common files
- (1.12.55-1)
- spreadsheet application for GNOME - additional plugins
- gnuplot (5.4.4+dfsg1-2)
- Command-line driven interactive plotting program.
- gnuplot
- virtual package provided by gnuplot-nox, gnuplot-qt, gnuplot-x11
- gnuplot-mode (1:0.8.0+git20230101.1.b57caf8-1)
- Transition Package, gnuplot-mode to elpa-gnuplot-mode
- gnuplot-mode
- virtual package provided by elpa-gnuplot-mode
- gnuplot-nox (5.4.4+dfsg1-2+b2)
- Command-line driven interactive plotting program. No-X package
- gnuplot-nox
- virtual package provided by 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
- virtual package provided by gnuplot-qt
- grace (1:5.1.25-13)
- XY graphing and plotting tool
- graphmonkey (1.7-4.2)
- a GTK#-based graphing calculator
- 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)
- GNU Scientific Library (GSL) -- binary package
- 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)
- Just Another Gibbs Sampler for Bayesian MCMC - binary
- jfractionlab (0.92-2)
- Educative program to practice fractions
- jgraph (83-23+b1)
- Jim Plank's program for producing PostScript graphs
- jsurf-alggeo (0.4.1+ds-4)
- Java based visualization library for real algebraic geometry
- 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
- kali (3.1+dfsg-1)
- Draw tilings, frieze patterns, and so on
- 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
- kissfft-tools (131.1.0-3)
- Mixed-radix Fast Fourier Transform library (CLI tools)
- kmplot (4:22.12.3-1)
- mathematical function plotter for 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)
- program for calculating with L-functions
- 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)
- proof assistant for higher-order logic (theories)
- 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)
- utility binaries for libgts
- liblrs1 (0.71b-2)
- package to enumerate vertices and extreme rays (shared libraries)
- 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+deb12u4)
- "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)
- Solve (mixed integer) linear programming problems
- lrcalc (1.2-2+b1)
- programs for calculating Littlewood-Richardson coefficients
- lrslib (0.71b-2)
- package to enumerate vertices and extreme rays of a convex polyhedron
- 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)
- Computer algebra system -- base system
- maxima-emacs (5.46.0-11)
- Computer algebra system -- emacs interface
- 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)
- 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
- 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)
- Example/test binaries using MUMPS
- nauty (2.8.6+ds-2)
- library for graph automorphisms -- interface and tools
- netgen (6.2.2006+really6.2.1905+dfsg-5.1+b1)
- Automatic 3d tetrahedral mesh generator
- 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)
- programs for dealing with numbers from the command line
- 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)
- octave bindings for pfstools
- 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 calculator for the terminal
- 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 Computer Algebra System binaries
- pari-gp2c (0.0.13-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)
- 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)
- Compute Archimedes' constant Pi to arbitrary precision
- 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)
- GNU plotutils command line tools based on libplot
- 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)
- Various tools using 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)
- Powerful and easy to use command line calculator
- 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)
- calculate convex hulls and related structures (utilities)
- qsopt-ex (2.5.10.3-2)
- Exact linear programming solver
- quickplot (1.0.1~rc-1+b4)
- fast interactive 2D plotter and data viewer
- 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)
- Educational tool for relational algebra (graphical user interface)
- relational-cli (3.0-1)
- Educational tool for relational algebra (command line interface)
- 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)
- KDE frontend to the R statistics language
- 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)
- Text-based spreadsheet with VI-like keybindings
- 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
- 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)
- Semidefinite program solver
- 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 spline interpolation
- 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)
- Parallel/Multiprocessor Standalone Ray Tracer - metapackage
- tachyon-bin-nox (0.99~b6+dsx-10+b1)
- Parallel/Multiprocessor Standalone Ray Tracer - with no X support
- tachyon-bin-ogl (0.99~b6+dsx-10+b1)
- Parallel/Multiprocessor Standalone Ray Tracer - with OpenGL display
- 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 calculators emulator (without 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)
- 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)
- 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)
- Flexible command-line scientific calculator
- 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)
- GUI for the computer algebra system Maxima
- wzip (1.1.6)
- Lossy compression and denoising
- xmaxima (5.46.0-11)
- Computer algebra system -- x interface
- xrprof (0.3.1-3)
- External Sampling Profiler for R
- yacas (1.3.6-2.1)
- Computer Algebra System