Maths
Maths and related software
To install Raspberry Pi OS software on a Raspberry Pi
Packages are installed using Terminal. First get an updated package list by entering the following command in to terminal if this has not been done today sudo apt update
Then install your chosen package with the command sudo apt install package name
Find out more with the Guide to installing software with the apt command
Distro Version:
The latest Distro for Raspberry Pi OS 12 called Bookworm, the previouse version was 11 called Bullseye. Next to each package is the version available for each distro.
Bookworm(#) = Raspberry Pi OS Bookworm
Bullseye(#) = Raspberry Pi OS Bullseye
Bookworm & Bullseye(#) = same version for both.
If only one Distro is listed then the package is only available on that distribution.
MATH
Last Updated: 24 May, 2024
4ti2
Bookworm:(1.6.9+ds-8) Bullseye:(1.6.9+ds-2) mathematical tool suite for problems on linear spaces -- tools www- Back to top
A
acl2
Bookworm:(8.5dfsg-5) Bullseye:(8.3dfsg-1) Computational Logic for Applicative Common Lisp: main binary wwwacl2-books
Bookworm:(8.5dfsg-5) Bullseye:(8.3dfsg-1) Computational Logic for Applicative Common Lisp: compiled libraries wwwacl2-books-certs
Bookworm:(8.5dfsg-5) Bullseye:(8.3dfsg-1) Computational Logic for Applicative Common Lisp: library certificates wwwacl2-books-source
Bookworm:(8.5dfsg-5) Bullseye:(8.3dfsg-1) Computational Logic for Applicative Common Lisp: library sources wwwacl2-infix
Bookworm:(8.5dfsg-5) Bullseye:(8.3dfsg-1) Computational Logic for Applicative Common Lisp: infix interface wwwacl2-infix-source
Bookworm:(8.5dfsg-5) Bullseye:(8.3dfsg-1) Computational Logic for Applicative Common Lisp: infix source wwwacl2-source
Bookworm:(8.5dfsg-5) Bullseye:(8.3dfsg-1) Computational Logic for Applicative Common Lisp: source files wwwadmesh
Bookworm:(0.98.4-2) Bullseye:(0.98.4-1+b4) Tool for processing triangulated solid meshes. Binary wwwalt-ergo
Bookworm:(2.4.2-2) Bullseye:(2.0.0-7+b2) Automatic theorem prover dedicated to program verification wwwann-tools
Bookworm:(1.1.2+doc-9) Bullseye:(1.1.2+doc-7) Approximate Nearest Neighbor Searching library (tools) wwwapcalc
Bookworm & Bullseye:(2.12.7.2-4) transitional package wwwapcalc-common
Bookworm & Bullseye:(2.12.7.2-4) transitional package wwwapophenia-bin
Bookworm:(1.0+ds-8+b2) Bullseye:(1.0+ds-8+b1) Apophenia Statistical C Library -- binary package wwwaribas
Bookworm:(1.65-1) Bullseye:(1.64-6) interpreter for arithmetic wwwauto-07p
Bookworm & Bullseye:(0.9.2+dfsg-3) software for continuation and bifurcation problems in ODE wwwautoclass
Bookworm:(3.3.6.dfsg.2-1) Bullseye:(3.3.6.dfsg.1-2) automatic classification or clustering wwwaxiom
Bookworm:(20170501-12) Bullseye:(20170501-6) General purpose computer algebra system: main binary and modulesaxiom-databases
Bookworm:(20170501-12) Bullseye:(20170501-6) General purpose computer algebra system: generated text databasesaxiom-graphics
Bookworm:(20170501-12) Bullseye:(20170501-6) General purpose computer algebra system: graphics subsystemaxiom-graphics-data
Bookworm:(20170501-12) Bullseye:(20170501-6) General purpose computer algebra system: graphics subsystemaxiom-hypertex
Bookworm:(20170501-12) Bullseye:(20170501-6) General purpose computer algebra system: hypertex subsystemaxiom-hypertex-data
Bookworm:(20170501-12) Bullseye:(20170501-6) General purpose computer algebra system: hypertex subsystemaxiom-source
Bookworm:(20170501-12) Bullseye:(20170501-6) General purpose computer algebra system: source filesaxiom-test
Bookworm:(20170501-12) Bullseye:(20170501-6) General purpose computer algebra system: regression test inputsaxiom-tex
Bookworm:(20170501-12) Bullseye:(20170501-6) General purpose computer algebra system: style file for TeX- Back to top
B
bc
Bookworm:(1.07.1-3) Bullseye:(1.07.1-2+b1) GNU bc arbitrary precision calculator language wwwbergman
Bookworm:(1.001+dfsg-2) Gröbner bases in commutative and non-commutative algebras wwwbindechexascii
Bookworm & Bullseye:(0.0+20140524.git7dcd86-4) simple ASCII,binary,decimal and hex converter wwwblacs-mpi-test
Bookworm & Bullseye:(1.1-40+rpi1) Basic Linear Algebra Comm. Subprograms - Test files for MPI wwwblacs-test-common
Bookworm & Bullseye:(1.1-40+rpi1) Test data for BLACS testers wwwbliss
Bookworm & Bullseye:(0.73-5) tool to compute graph automorphisms and labelings -- bin wwwbraillegraph
Bookworm:(0.3-2) Bullseye:(0.3-1) simple histogram tool producing text dot-matrix graphs wwwbytes-circle
Bookworm:(3.1-1) Bullseye:(2.6-1) Show byte statistics as an ASCII circle graph www- Back to top
C
cadabra
Bookworm:(1.46-6) Bullseye:(1.46-5+b12) field-theory motivated computer algebra system wwwcadabra2
Bookworm:(2.4.3.2-1.1) Bullseye:(2.3.6.8-1) field-theory motivated computer algebra system wwwcadical
Bookworm:(1.5.3-2) Simplified Satisfiability Solver wwwcalc
Bookworm & Bullseye:(2.12.7.2-4) Arbitrary precision calculator wwwcalc-common
Bookworm & Bullseye:(2.12.7.2-4) Arbitrary precision calculator (common files) wwwcalligrasheets
Bookworm:(1:3.2.1+dfsg-6+b3) Bullseye:(1:3.2.1+dfsg-2+b5) spreadsheet for the Calligra Suite wwwcalligrasheets-data
Bookworm:(1:3.2.1+dfsg-6) Bullseye:(1:3.2.1+dfsg-2) data files for Sheets spreadsheet wwwcarmetal
Bookworm:(3.5.2+dfsg-2) Bullseye:(3.5.2+dfsg-1.2) dynamic geometry software with highly ergonomic UIcimg-dev
Bookworm:(3.2.1+dfsg-1) Bullseye:(2.9.4+dfsg-2) powerful image processing library wwwclblast-tests
Bookworm:(1.5.3-3) Bullseye:(1.5.2-2) Tests for CLBlast wwwclblast-utils
Bookworm:(1.5.3-3) Bullseye:(1.5.2-2) Utilities for CLBlast wwwcliquer
Bookworm:(1.21-3) Bullseye:(1.21-2) clique searching program wwwcohomcalg
Bookworm:(0.32+ds-6) Bullseye:(0.32+ds-3) sheaf cohomology of line bundles on toric varieties wwwcohomcalg-common
Bookworm:(0.32+ds-6) Bullseye:(0.32+ds-3) sheaf cohomology of line bundles on toric varieties (common files) wwwconcalc
Bookworm:(0.9.2-2.1) Bullseye:(0.9.2-2) console calculator wwwcoq
Bookworm:(8.16.1+dfsg-1+b2) Bullseye:(8.12.0-3+b2) proof assistant for higher-order logic (toplevel and compiler) wwwcoq-highschoolgeometry
Bookworm & Bullseye:(8.4+20150620-1) coq library for high school geometry proofs/formalisation wwwcoqide
Bookworm:(8.16.1+dfsg-1+b2) Bullseye:(8.12.0-3+b2) proof assistant for higher-order logic (gtk interface) wwwcryptominisat
Bookworm:(5.11.4+dfsg1-2+b1) Bullseye:(5.8.0+dfsg1-1+b1) SAT solver command line interface wwwcvc4
Bookworm:(1.8-3) Bullseye:(1.8-2) automated theorem prover for SMT problems www- Back to top
D
dc
Bookworm:(1.07.1-3) Bullseye:(1.07.1-2+b1) GNU dc arbitrary precision reverse-polish calculator wwwdeepin-calculator
Bookworm:(5.7.21-1) Bullseye:(5.6.0.10-2) Calculator for DDE (Deepin Desktop Environment) wwwdicelab
Bookworm:(0.7-6) Bullseye:(0.7-5) tool to compute the statistical distribution of dice rolls wwwdolfin-bin
Bookworm:(2019.2.0~git20230116.bd54183-2) Bullseye:(2019.2.0~git20201207.b495043-5) Executable scripts for DOLFIN wwwdrawmap
Bookworm & Bullseye:(2.5-3) draws customized maps, using raw USGS data filesdynare
Bookworm:(5.3-1) Bullseye:(4.6.3-4) platform for handling a wide class of economic models wwwdynare-matlab
Bookworm:(5.3-1) Bullseye:(4.6.3-4) MATLAB support for Dynare www- Back to top
E
eclib-tools
Bookworm:(20221012-1+b1) Bullseye:(20190909-3+b1) Programs for modular symbols and elliptic curves over Q wwwedenmath.app
Bookworm:(1.1.1a-8+b4) Bullseye:(1.1.1a-8+b3) Scientific calculator for GNUstep wwwelan
Bookworm:(1.4.2-5) tool for managing installations of the Lean theorem prover wwwelpa-fricas
Bookworm:(1.3.8-6) Bullseye:(1.3.6-6) General purpose computer algebra system: emacs support wwweprover
Bookworm:(2.6+ds-3) Equational theorem prover wwweukleides
Bookworm:(1.5.4-5) Bullseye:(1.5.4-4.3) Euclidean geometry drawing language wwweuler
Bookworm & Bullseye:(1.61.0-12) interactive mathematical programming environment wwwevolver
Bookworm & Bullseye:(2.70+ds-8) Surface Evolver wwwevolver-nox
Bookworm:(2.70+ds-8+b1) Bullseye:(2.70+ds-8) Surface Evolver - with no X support wwwevolver-ogl
Bookworm:(2.70+ds-8+b1) Bullseye:(2.70+ds-8) Surface Evolver - with OpenGL display www- Back to top
F
fenics
Bookworm:(2:0.5.0.1) Bullseye:(1:2019.2.0.5+b2) Automated Solution of Differential Equations wwwfenicsx
Bookworm:(2:0.5.0.1) Bullseye:(1:2019.2.0.5) Automated Solution of Differential Equations wwwfflas-ffpack
Bookworm:(2.5.0-2) Bullseye:(2.4.3-2) Finite field linear algebra subroutines/package wwwfflas-ffpack-common
Bookworm:(2.5.0-2) Bullseye:(2.4.3-2) Finite field linear algebra subroutines/package - common files wwwflintqs
Bookworm:(1:1.0-4) Bullseye:(1:1.0-3) Program using quadratic sieve to factor integers wwwformed
Bookworm & Bullseye:(3.3f-1.1) formula editor for first-order logic formulaefplll-tools
Bookworm:(5.4.4-3+rpi1) Bullseye:(5.4.0-2+rpi1) Tools to compute LLL-reduction of Euclidian lattices wwwfreefem
Bookworm & Bullseye:(3.5.8-7) PDE oriented language using Finite Element Method wwwfreefem++
Bookworm:(4.11+dfsg1-3) Provides the binaries of the FreeFem++ FE suite wwwfreefem-examples
Bookworm & Bullseye:(3.5.8-7) Example files for FreeFEM wwwfreefem3d
Bookworm & Bullseye:(1.0pre10-4) Language and solver for partial differential equations in 3Dfricas
Bookworm:(1.3.8-6) Bullseye:(1.3.6-6) General purpose computer algebra system: main binary and modules wwwfricas-databases
Bookworm:(1.3.8-6) Bullseye:(1.3.6-6) General purpose computer algebra system: generated text databases wwwfricas-graphics
Bookworm:(1.3.8-6) Bullseye:(1.3.6-6) General purpose computer algebra system: graphics subsystem wwwfricas-graphics-data
Bookworm:(1.3.8-6) Bullseye:(1.3.6-6) General purpose computer algebra system: graphics data wwwfricas-hypertex
Bookworm:(1.3.8-6) Bullseye:(1.3.6-6) General purpose computer algebra system: hypertex subsystem wwwfricas-hypertex-data
Bookworm:(1.3.8-6) Bullseye:(1.3.6-6) General purpose computer algebra system: hypertex data wwwfricas-source
Bookworm:(1.3.8-6) Bullseye:(1.3.6-6) General purpose computer algebra system: source files wwwfricas-test
Bookworm:(1.3.8-6) Bullseye:(1.3.6-6) General purpose computer algebra system: regression test inputs wwwfrobby
Bookworm:(0.9.5-4) Bullseye:(0.9.1-1) Computations with monomial ideals www- Back to top
G
galculator
Bookworm:(2.1.4-1.2) Bullseye:(2.1.4-1.1) scientific calculator wwwgap
Bookworm:(4.12.1-2) Bullseye:(4.11.0-4) computer algebra system for Groups, Algorithms and Programming wwwgap-aclib
Bookworm & Bullseye:(1.3.2-2) GAP AClib - Almost Crystallographic Groups - A Library and Algorithms wwwgap-alnuth
Bookworm:(3.2.1-1) Bullseye:(3.1.2-2) GAP Alnuth - Algebraic number theory and an interface to PARI/GP wwwgap-atlasrep
Bookworm:(2.1.6-1) Bullseye:(2.1.0-3) GAP AtlasRep - A GAP Interface to the Atlas of Group Representations wwwgap-autodoc
Bookworm:(2022.10.20-1) Bullseye:(2019.09.04-1) GAP AutoDoc - Generate documentation from GAP source code wwwgap-autpgrp
Bookworm:(1.11-1) Bullseye:(1.10.2-2) GAP AutPGrp - Computing the Automorphism Group of a p-Group wwwgap-character-tables
Bookworm:(1.3.4-1) Bullseye:(1.3.1-1) GAP Library of character tables wwwgap-congruence
Bookworm:(1.2.4-1) GAP Congruence - Congruence subgroups of SL(2,Integers) wwwgap-core
Bookworm:(4.12.1-2) Bullseye:(4.11.0-4+b2) GAP computer algebra system, core components wwwgap-cryst
Bookworm:(4.1.25-1) Bullseye:(4.1.23-2) GAP Cryst - Computing with crystallographic groups wwwgap-crystcat
Bookworm:(1.1.10-1) Bullseye:(1.1.9-2) GAP CrystCat - The crystallographic groups catalog wwwgap-design
Bookworm:(1.7+ds-3) Bullseye:(1.7+ds-2) block designs for GAP wwwgap-factint
Bookworm:(1.6.3+ds-2) Bullseye:(1.6.3+ds-1) advanced methods for factoring integers for GAP wwwgap-fga
Bookworm & Bullseye:(1.4.0-2) GAP FGA - Free Group Algorithms wwwgap-float
Bookworm:(1.0.3+ds-3+b1) Bullseye:(0.9.1+ds-6+b1) multi-precision floating-point computation for GAP wwwgap-gapdoc
Bookworm:(1.6.6-1) Bullseye:(1.6.3-1) GAPDoc - A Meta Package for GAP Documentation wwwgap-grape
Bookworm:(4.9.0+ds-1) Bullseye:(4.8.3+ds-1) GRaph Algorithms using PErmutation groups for GAP wwwgap-guava
Bookworm:(3.17+ds-3) Bullseye:(3.15+ds-3) coding theory library for GAP wwwgap-guava-bin
Bookworm:(3.17+ds-3) Bullseye:(3.15+ds-3) coding theory library for GAP (arch-dep files) wwwgap-hap
Bookworm:(1.47-1) GAP HAP - Homological Algebra Programming wwwgap-hapcryst
Bookworm:(0.1.15-1) GAP HAPcryst - A HAP extension for crystallographic groups wwwgap-io
Bookworm:(4.8.0+ds-1) Bullseye:(4.7.0+ds-2) low level C library IO bindings for GAP wwwgap-laguna
Bookworm:(3.9.5+ds-2) Bullseye:(3.9.3+ds-2) LAGUNA GAP package wwwgap-libs
Bookworm:(4.12.1-2) Bullseye:(4.11.0-4) GAP computer algebra system, essential GAP libraries wwwgap-nq
Bookworm:(2.5.9-1) Bullseye:(2.5.4-2) GAP nq - Nilpotent Quotients of Finitely Presented Groups wwwgap-online-help
Bookworm:(4.12.1-2) Bullseye:(4.11.0-4) GAP computer algebra system, online help wwwgap-openmath
Bookworm:(11.5.2+ds-1) Bullseye:(11.5.0+ds-2) OpenMath phrasebook for GAP wwwgap-polycyclic
Bookworm:(2.16-2) Bullseye:(2.15.1-1) GAP Polycyclic - Computation with polycyclic groups wwwgap-polymaking
Bookworm:(0.8.6-2) GAP polymaking - Interfacing the geometry software polymake wwwgap-prim-groups
Bookworm & Bullseye:(4r8p5-2) Database of primitive groups for GAP wwwgap-primgrp
Bookworm:(3.4.3-1) Bullseye:(3.4.0-1) GAP PrimGrp - GAP Primitive Permutation Groups Library wwwgap-radiroot
Bookworm:(2.9-1) Bullseye:(2.8-1.1) GAP RadiRoot - Roots of a Polynomial as Radicals wwwgap-scscp
Bookworm:(2.4.0+ds-1) Bullseye:(2.3.1+ds-2) SCSCP protocol in GAP wwwgap-small-groups
Bookworm & Bullseye:(4r8p5-2) Database of small groups for GAP wwwgap-small-groups-extra
Bookworm & Bullseye:(4r8p5-2) Large database of small groups for GAP wwwgap-smallgrp
Bookworm:(1.5.1-1) Bullseye:(1.4.1-2) GAP SmallGrp - The GAP Small Groups Library wwwgap-smallgrp-extra
Bookworm:(1.5.1-1) Bullseye:(1.4.1-2) GAP SmallGrp - The GAP Small Groups Library wwwgap-sonata
Bookworm:(2.9.6+ds-1) Bullseye:(2.9.1+ds-3) Systems Of Nearrings And Their Applications for GAP wwwgap-table-of-marks
Bookworm:(1.2.9-2) Bullseye:(1.2.9-1) GAP TomLib - The GAP Library of Tables of Marks wwwgap-toric
Bookworm:(1.9.5+ds-2) Bullseye:(1.9.5+ds-1) toric variety for GAP wwwgap-trans-groups
Bookworm & Bullseye:(4r8p5-2) Database of transitive groups for GAP wwwgap-transgrp
Bookworm:(3.6.3-1) Bullseye:(2.0.6-2) GAP TransGrp - Transitive Groups Library wwwgap-utils
Bookworm:(0.81-1) GAP utils - Utility functions in GAP wwwgappa
Bookworm:(1.4.1-1) Automatic generation of proofs of arithmetic properties wwwgbase
Bookworm & Bullseye:(0.5-2.2+b2) small numeric base converter wwwgeg
Bookworm:(2.0.9-4) Bullseye:(2.0.9-3+b1) GTK+ Equation Grapher wwwgeneagrapher
Bookworm:(1.0c2+git20220519-1) Bullseye:(1.0c2+git20180919-2) Create tree from Mathematics Genealogy Project (executable) wwwgeomview
Bookworm:(1.9.5-4) Bullseye:(1.9.5-3) interactive geometry viewing program wwwgeophar
Bookworm:(18.09+dfsg1-1) Bullseye:(18.08.7+dfsg1-1) Swiss army knife for the math teacher wwwgetdp
Bookworm:(3.2.0+dfsg1-1.1+b8) Bullseye:(3.2.0+dfsg1-1.1+b1) general environment for the treatment of discrete problems wwwgetdp-sparskit
Bookworm:(3.2.0+dfsg1-1.1+b8) Bullseye:(3.2.0+dfsg1-1.1+b1) general environment for the treatment of discrete problems wwwgf-complete-tools
Bookworm:(1.0.2+2017.04.10.git.ea75cdf-9) Bullseye:(1.0.2+2017.04.10.git.ea75cdf-3) Galois Field Arithmetic - tools wwwgfan
Bookworm:(0.6.2-6) Bullseye:(0.6.2-4) program for computing with Groebner fans wwwgfm
Bookworm:(1.09~git20220826.71eaa92-1) Bullseye:(1.08-1) Texas Instruments hand-helds file manipulation program for X wwwggobi
Bookworm & Bullseye:(2.1.11-2+b1) Data visualization system for high-dimensional dataginac-tools
Bookworm:(1.8.6-1) Bullseye:(1.8.0-2) GiNaC symbolic framework support tools wwwglpk-utils
Bookworm & Bullseye:(5.0-1) linear programming kit - utility files wwwgmp-ecm
Bookworm:(7.0.5+ds-1) Bullseye:(7.0.4+ds-5) Factor integers using the Elliptic Curve Method wwwgmsh
Bookworm:(4.8.4+ds2-3) Bullseye:(4.7.1+ds1-5) Three-dimensional finite element mesh generator wwwgnome-calculator
Bookworm:(1:43.0.1-2) Bullseye:(3.38.2-1) GNOME desktop calculator wwwgnumeric
Bookworm:(1.12.55-1) Bullseye:(1.12.48-1+b1) spreadsheet application for GNOME - main program wwwgnumeric-common
Bookworm:(1.12.55-1) Bullseye:(1.12.48-1) spreadsheet application for GNOME - common files wwwgnumeric-plugins-extra
Bookworm:(1.12.55-1) Bullseye:(1.12.48-1+b1) spreadsheet application for GNOME - additional plugins wwwgnuplot
Bookworm:(5.4.4+dfsg1-2) Bullseye:(5.4.1+dfsg1-1+deb11u1) Command-line driven interactive plotting program. wwwgnuplot-mode
Bookworm:(1:0.8.0+git20230101.1.b57caf8-1) Bullseye:(1:0.7.0-2014-12-31-2) Transition Package, gnuplot-mode to elpa-gnuplot-mode wwwgnuplot-nox
Bookworm:(5.4.4+dfsg1-2+b1) Bullseye:(5.4.1+dfsg1-1+deb11u1) Command-line driven interactive plotting program. No-X package wwwgnuplot-qt
Bookworm:(5.4.4+dfsg1-2+b1) Bullseye:(5.4.1+dfsg1-1+deb11u1) Command-line driven interactive plotting program. QT-package wwwgnuplot-x11
Bookworm:(5.4.4+dfsg1-2+b1) Bullseye:(5.4.1+dfsg1-1+deb11u1) Command-line driven interactive plotting program. X-package wwwgrace
Bookworm:(1:5.1.25-13) Bullseye:(1:5.1.25-9) XY graphing and plotting tool wwwgraphmonkey
Bookworm:(1.7-4.2) Bullseye:(1.7-4.1) a GTK#-based graphing calculator wwwgretl
Bookworm:(2022c-1) Bullseye:(2021a-1) GNU Regression, Econometric & Time-Series Library wwwgretl-common
Bookworm:(2022c-1) Bullseye:(2021a-1) GNU Regression, Econometric & Time-Series Library -- scripts package wwwgretl-data
Bookworm:(2022c-1) Bullseye:(2021a-1) GNU Regression, Econometric & Time-Series Library -- data package wwwgrpn
Bookworm:(1.4.1-1.1) Bullseye:(1.4.1-1+b1) GTK+ reverse polish notation calculatorgsl-bin
Bookworm:(2.7.1+dfsg-5) Bullseye:(2.6+dfsg-2) GNU Scientific Library (GSL) -- binary package www- Back to top
H
hera-utils
Bookworm:(1.0.0+dfsg-1) Bullseye:(0~git20200602+dfsg-3) Utilities built from the Hera library wwwhol-light
Bookworm:(20230128-1) Bullseye:(20190729-4+b3) HOL Light theorem prover wwwhol88
Bookworm:(2.02.19940316dfsg-5) Bullseye:(2.02.19940316-35.1) Higher Order Logic, system imagehol88-contrib-help
Bookworm:(2.02.19940316dfsg-5) Bullseye:(2.02.19940316-35.1) Higher Order Logic, user contributed online help fileshol88-contrib-source
Bookworm:(2.02.19940316dfsg-5) Bullseye:(2.02.19940316-35.1) Higher Order Logic, user contributed sourcehol88-help
Bookworm:(2.02.19940316dfsg-5) Bullseye:(2.02.19940316-35.1) Higher Order Logic, online help fileshol88-library
Bookworm:(2.02.19940316dfsg-5) Bullseye:(2.02.19940316-35.1) Higher Order Logic, binary library moduleshol88-library-help
Bookworm:(2.02.19940316dfsg-5) Bullseye:(2.02.19940316-35.1) Higher Order Logic, library online help fileshol88-library-source
Bookworm:(2.02.19940316dfsg-5) Bullseye:(2.02.19940316-35.1) Higher Order Logic, library source fileshol88-source
Bookworm:(2.02.19940316dfsg-5) Bullseye:(2.02.19940316-35.1) Higher Order Logic, source files- Back to top
J
jacal
Bookworm:(1c8-1) Bullseye:(1c7-2) Interactive symbolic math system wwwjags
Bookworm:(4.3.1-1) Bullseye:(4.3.0-3) Just Another Gibbs Sampler for Bayesian MCMC - binary wwwjfractionlab
Bookworm & Bullseye:(0.92-2) Educative program to practice fractions wwwjgraph
Bookworm & Bullseye:(83-23) Jim Plank's program for producing PostScript graphsjsurf-alggeo
Bookworm:(0.4.1+ds-4) Bullseye:(0.4.1+ds-3) Java based visualization library for real algebraic geometry www- Back to top
K
kalgebramobile
Bookworm:(4:22.12.3-1+rpi1) Bullseye:(4:20.12.1-1+rpi1) algebraic graphing calculator for small touch based interfaces wwwkali
Bookworm:(3.1+dfsg-1) Bullseye:(3.1-18) Draw tilings, frieze patterns, and so on wwwkbruch
Bookworm:(4:22.12.3-1) Bullseye:(4:20.12.0-1) fraction learning aid for KDE wwwkcalc
Bookworm:(4:22.12.3-1) Bullseye:(4:20.12.0-1) simple and scientific calculator wwwkig
Bookworm:(4:22.12.3-1) Bullseye:(4:20.12.2-1) interactive geometry tool wwwkissfft-tools
Bookworm:(131.1.0-3) Bullseye:(131.1.0-1) Mixed-radix Fast Fourier Transform library (CLI tools) wwwkmplot
Bookworm:(4:22.12.3-1) Bullseye:(4:20.12.0-1) mathematical function plotter for KDE www- Back to top
L
labplot
Bookworm:(2.9.0-1+rpi1+b1) Bullseye:(2.8.1-2) interactive graphing and analysis of scientific data wwwlabplot-data
Bookworm:(2.9.0-1+rpi1) Bullseye:(2.8.1-2) data files for labplot wwwlcalc
Bookworm:(2.0.5-1+b1) Bullseye:(1.23+dfsg-11+b1) program for calculating with L-functions wwwlibcdd-tools
Bookworm:(094m-1) Bullseye:(094l-2) Programs using libcdd wwwlibcoq-aac-tactics
Bookworm:(8.17.0-1+b2) Coq tactics for reasoning modulo AC (theories) wwwlibcoq-gappa
Bookworm:(1.5.2-5+b3) Coq tactic to use Gappa for floating-point goals wwwlibcoq-mathcomp
Bookworm:(1.15.0-1+b4) Mathematical Components library for Coq (all) wwwlibcoq-mathcomp-algebra
Bookworm:(1.15.0-1+b4) Mathematical Components library for Coq (algebra) wwwlibcoq-mathcomp-character
Bookworm:(1.15.0-1+b4) Mathematical Components library for Coq (character) wwwlibcoq-mathcomp-field
Bookworm:(1.15.0-1+b4) Mathematical Components library for Coq (field) wwwlibcoq-mathcomp-fingroup
Bookworm:(1.15.0-1+b4) Mathematical Components library for Coq (finite groups) wwwlibcoq-mathcomp-solvable
Bookworm:(1.15.0-1+b4) Mathematical Components library for Coq (finite groups II) wwwlibcoq-mathcomp-ssreflect
Bookworm:(1.15.0-1+b4) Mathematical Components library for Coq (small scale reflection) wwwlibcoq-stdlib
Bookworm:(8.16.1+dfsg-1+b2) proof assistant for higher-order logic (theories) wwwlibfloat-coq
Bookworm & Bullseye:(1:8.10.0-1) Coq library on floating-point arithmetic wwwlibfp16-dev
Bookworm:(0.0~git20200514.4dfe081-3) Bullseye:(0.0~git20200514.4dfe081-2) Conversion to/from half-precision floating point formats wwwlibgts-bin
Bookworm:(0.7.6+darcs121130-5) Bullseye:(0.7.6+darcs121130-4) utility binaries for libgts wwwliblrs1
Bookworm:(0.71b-2) Bullseye:(0.71a-1) package to enumerate vertices and extreme rays (shared libraries) wwwlibmagma-doc
Bookworm:(2.6.2-1) Bullseye:(2.5.4+ds-3) Matrix Algebra on GPU and Multicore Architectures (doc) wwwlibmeschach1.2
Bookworm:(1.2b-17+b1) Bullseye:(1.2b-17) library for performing operations on matrices and vectors wwwlibojalgo-java
Bookworm:(52.0.1+ds-1) Java library to do mathematics, linear algebra and optimisation wwwlibpgapack-mpi1
Bookworm & Bullseye:(1.1.1-3) General-purpose genetic algorithm package (mpi library)libpgapack-serial1
Bookworm & Bullseye:(1.1.1-3) General-purpose genetic algorithm package (serial library)libquadrule1
Bookworm & Bullseye:(0~20121001-2+b1) Quadrature rules and numerical integration routines wwwlibreoffice-nlpsolver
Bookworm:(4:0.9+LibO7.4.7-1+rpi1) Bullseye:(0.9+LibO7.0.4-4+rpi1+deb11u6) "Solver for Nonlinear Programming" extension for LibreOffice wwwlibsbml5-octave
Bookworm:(5.19.7+dfsg-2) Bullseye:(5.19.0+dfsg-1) System Biology Markup Language library - Octave bindings wwwlie
Bookworm & Bullseye:(2.2.2+dfsg-3+b1) Computer algebra package for Lie group computations wwwlp-solve
Bookworm & Bullseye:(5.5.2.5-2) Solve (mixed integer) linear programming problems wwwlrcalc
Bookworm & Bullseye:(1.2-2) programs for calculating Littlewood-Richardson coefficients wwwlrslib
Bookworm:(0.71b-2) Bullseye:(0.71a-1) package to enumerate vertices and extreme rays of a convex polyhedron wwwlybniz
Bookworm & Bullseye:(3.0.4-5) mathematical function graph plotter www- Back to top
M
macaulay2
Bookworm:(1.21+ds-3+rpi1) Bullseye:(1.17.1+ds-2) Software system for algebraic geometry research wwwmacaulay2-common
Bookworm:(1.21+ds-3+rpi1) Bullseye:(1.17.1+ds-2) Software system for algebraic geometry research (common files) wwwmacaulay2-jupyter-kernel
Bookworm:(0.6.7~beta-3) Jupyter kernel for Macaulay2 wwwmace2
Bookworm & Bullseye:(3.3f-1.1) program that searches for finite models of first-order statementsmandelbulber
Bookworm & Bullseye:(1:1.21.1-1.1+b2) 3D fractal renderer and animator wwwmandelbulber2
Bookworm:(2.20-2+b1) Bullseye:(2.20-2) 3D fractal renderer and animator wwwmandelbulber2-data
Bookworm & Bullseye:(2.20-2) 3D fractal renderer and animator - data files wwwmaria
Bookworm & Bullseye:(1.3.5-4.1+b1) reachability analyzer for Algebraic System Nets wwwmate-calc
Bookworm:(1.26.0-1) Bullseye:(1.24.1-1) MATE desktop calculator wwwmate-calc-common
Bookworm:(1.26.0-1) Bullseye:(1.24.1-1) MATE desktop calculator (common files) wwwmathicgb
Bookworm:(1.0~git20220621-2+b1) Bullseye:(1.0~git20200526-1) Compute Groebner bases (command line tool) wwwmathlibtools
Bookworm:(1.1.0-1) supporting tool for Lean mathlib wwwmathomatic
Bookworm:(16.0.5-5) Bullseye:(16.0.5-4) portable Computer Algebra System (CAS) wwwmathomatic-primes
Bookworm:(16.0.5-5) Bullseye:(16.0.5-4) prime number tools for mathomatic wwwmathpiper
Bookworm & Bullseye:(0.81f+svn4469+dfsg3-3.1) Java Computer Algebra System wwwmatio-tools
Bookworm:(1.5.23-2) Bullseye:(1.5.19-2) MATLAB MAT File I/O Library - command-line tools wwwmatlab2tikz
Bookworm:(1.1.0-8) Bullseye:(1.1.0-7) converter of Octave plots to TikZ figures (for integration into LaTeX) wwwmaxima
Bookworm:(5.46.0-11) Bullseye:(5.44.0-3) Computer algebra system -- base systemmaxima-emacs
Bookworm:(5.46.0-11) Bullseye:(5.44.0-3) Computer algebra system -- emacs interfacemaxima-sage
Bookworm:(5.45.1-2) Bullseye:(5.44.0-1) Computer algebra system -- base system wwwmaxima-sage-share
Bookworm:(5.45.1-2) Bullseye:(5.44.0-1) Computer algebra system -- extra code wwwmaxima-share
Bookworm:(5.46.0-11) Bullseye:(5.44.0-3) Computer algebra system -- extra codemaxima-src
Bookworm:(5.46.0-11) Bullseye:(5.44.0-3) Computer algebra system -- source codemaxima-test
Bookworm:(5.46.0-11) Bullseye:(5.44.0-3) Computer algebra system -- test suitemcl
Bookworm:(1:22-282+ds-2) Bullseye:(1:14-137+ds-9+b1) Markov Cluster algorithm wwwmetamath
Bookworm & Bullseye:(0.195-1) Language for mathematical proofs wwwmetamath-databases
Bookworm & Bullseye:(0.0.0~20210101.git55fe226-2) Sample databases for Metamath wwwmetis
Bookworm & Bullseye:(5.1.0.dfsg-7) Serial Graph Partitioning and Fill-reducing Matrix Ordering. Binaries wwwministat
Bookworm & Bullseye:(20150715-1) simple tool for statistical comparison of data setsminlog
Bookworm & Bullseye:(4.0.99.20100221-7) Proof assistant based on first order natural deduction calculus wwwmongoose
Bookworm:(1:5.12.0+dfsg-2) Bullseye:(1:5.8.1+dfsg-2) graph partitioning tool that can quickly compute edge cuts (executable) wwwmplrs
Bookworm:(0.71b-2) Bullseye:(0.71a-1) package to enumerate vertices and extreme rays of a convex polyhedron (parallel binary) wwwmumps-test
Bookworm:(5.5.1-1) Bullseye:(5.3.5-2) Example/test binaries using MUMPS www- Back to top
N
nauty
Bookworm:(2.8.6+ds-2) Bullseye:(2.7r1+ds-2) library for graph automorphisms -- interface and tools wwwnetgen
Bookworm:(6.2.2006+really6.2.1905+dfsg-5.1+b2) Bullseye:(6.2.2006+really6.2.1905+dfsg-2.1) Automatic 3d tetrahedral mesh generator wwwnormaliz
Bookworm:(3.9.4+ds-2) Bullseye:(3.8.9+ds-0.1) math computing tools for affine monoids, rational polytopes and cones wwwnormaliz-bin
Bookworm:(3.9.4+ds-2) Bullseye:(3.8.9+ds-0.1) math computing tools for affine monoids, rational polytopes and cones - bin wwwnum-utils
Bookworm & Bullseye:(0.5-15) programs for dealing with numbers from the command line www- Back to top
O
octave
Bookworm:(7.3.0-2) Bullseye:(6.2.0-1) GNU Octave language for numerical computations wwwoctave-arduino
Bookworm:(0.10.0-2) Bullseye:(0.6.0-1) Octave Arduino Toolkit wwwoctave-audio
Bookworm:(2.0.5-2) Bullseye:(2.0.2-1+b2) MIDI functions for Octave wwwoctave-benchmark
Bookworm & Bullseye:(1.1.1-4) code to benchmark speed of Octave wwwoctave-bim
Bookworm:(1.1.6-1) Bullseye:(1.1.5-7) PDE solver using a finite element/volume approach in Octave wwwoctave-bsltl
Bookworm:(1.3.1-4) Bullseye:(1.3.1-3) biospeckle laser tool library for Octave wwwoctave-cgi
Bookworm:(0.1.2-4) Bullseye:(0.1.2-3) Common Gateway Interface for Octave wwwoctave-common
Bookworm:(7.3.0-2) Bullseye:(6.2.0-1) architecture-independent files for octave wwwoctave-communications
Bookworm:(1.2.4-4) Bullseye:(1.2.2-4) communications package for Octave wwwoctave-communications-common
Bookworm:(1.2.4-4) Bullseye:(1.2.2-4) communications package for Octave (arch-indep files) wwwoctave-control
Bookworm:(3.4.0-3) Bullseye:(3.2.0-5+b1) computer-aided control system design (CACSD) for Octave wwwoctave-data-smoothing
Bookworm:(1.3.0-9) Bullseye:(1.3.0-8) functions to do data smoothing on noisy data wwwoctave-database
Bookworm:(2.4.4-5+b2) Bullseye:(2.4.4-3.1+b1) interface to SQL databases in Octave wwwoctave-dataframe
Bookworm:(1.2.0-6) Bullseye:(1.2.0-5) manipulate data in Octave similar to R data.frame wwwoctave-dicom
Bookworm:(0.5.1-1) Bullseye:(0.4.0-1+b1) manipulate DICOM files in Octave wwwoctave-divand
Bookworm:(1.1.2+dfsg-6) Bullseye:(1.1.2+dfsg-5) n-dimensional interpolation for Octave wwwoctave-doctest
Bookworm:(0.8.0-1) Bullseye:(0.7.0-4) documentation tests for Octave wwwoctave-econometrics
Bookworm:(1:1.1.2-4) Bullseye:(1:1.1.2-3+b1) econometrics functions for Octave wwwoctave-epstk
Bookworm & Bullseye:(2.4-4) GNU Octave encapsulated postscript toolkit wwwoctave-financial
Bookworm:(0.5.3-4) Bullseye:(0.5.3-3) financial package for Octave wwwoctave-fits
Bookworm:(1.0.7-7+b1) Bullseye:(1.0.7-6+b2) manipulation of FITS files in Octave wwwoctave-fpl
Bookworm:(1.3.5-7) Bullseye:(1.3.5-6) plot data on unstructured triangular and tetrahedral meshes in Octave wwwoctave-fuzzy-logic-toolkit
Bookworm:(0.4.6-4) Bullseye:(0.4.5-4) fuzzy logic toolkit for Octave wwwoctave-ga
Bookworm:(0.10.3-2) Bullseye:(0.10.2-1) genetic optimization code for Octave wwwoctave-general
Bookworm:(2.1.2-3) Bullseye:(2.1.1-3+b1) provide extra general functions for Octave wwwoctave-geometry
Bookworm:(4.0.0-6) Bullseye:(4.0.0-2+b1) extension of MatGeom functionality in Octave wwwoctave-gsl
Bookworm:(2.1.1-7) Bullseye:(2.1.1-5+b1) GSL binding for Octave wwwoctave-image
Bookworm:(2.14.0-4) Bullseye:(2.12.0-10) image manipulation for Octave wwwoctave-image-acquisition
Bookworm:(0.2.2-6) Bullseye:(0.2.2-4+b1) image acquisition package for Octave wwwoctave-instrument-control
Bookworm:(0.8.0-2) Bullseye:(0.6.0-2+b1) instrument control for Octave wwwoctave-interval
Bookworm:(3.2.1-5) Bullseye:(3.2.0-7) real-valued interval arithmetic for Octave wwwoctave-io
Bookworm:(2.6.4-3) Bullseye:(2.6.3-1+b1) input/output data functions for Octave wwwoctave-level-set
Bookworm:(0.3.1~git.2019.04.13-6) Bullseye:(0.3.1~git.2019.04.13-2) level-set toolbox for Octave wwwoctave-linear-algebra
Bookworm:(2.2.3-4) Bullseye:(2.2.3-3) additional linear-algebra functions for Octave wwwoctave-lssa
Bookworm:(0.1.4-2) Bullseye:(0.1.4-1+b1) least squares spectral analysis for Octave wwwoctave-ltfat
Bookworm:(2.3.1+dfsg-10+b2) Bullseye:(2.3.1+dfsg-8) Large Time/Frequency Analysis Toolbox wwwoctave-ltfat-common
Bookworm:(2.3.1+dfsg-10) Bullseye:(2.3.1+dfsg-8) Large Time/Frequency Analysis Toolbox (arch-indep files) wwwoctave-mapping
Bookworm:(1.4.2-3) Bullseye:(1.4.1-1+rpi1) geographical mapping functions for Octave wwwoctave-matgeom
Bookworm:(1.2.3-3) Bullseye:(1.2.2-3) computational geometry for Octave wwwoctave-miscellaneous
Bookworm:(1.3.0-5) Bullseye:(1.3.0-3+b1) miscellaneous tools for Octave wwwoctave-missing-functions
Bookworm:(1.0.2-12) Bullseye:(1.0.2-10) finds functions that are in Matlab but not in Octave wwwoctave-msh
Bookworm:(1.0.10-12) Bullseye:(1.0.10-11) create and manage meshes for FE or FV solvers in Octave wwwoctave-mvn
Bookworm:(1.1.0-4) Bullseye:(1.1.0-3) multivariate normal distribution clustering for Octave wwwoctave-nan
Bookworm:(3.7.0-3) Bullseye:(3.5.2-1+b1) handles data with and without missing values in Octave wwwoctave-ncarray
Bookworm:(1.0.5-3) Bullseye:(1.0.4-3) access NetCDF files as a multi-dimensional array in Octave wwwoctave-netcdf
Bookworm:(1.0.16-2) Bullseye:(1.0.14-1+b1) Matlab compatible NetCDF interface for Octave wwwoctave-nlopt
Bookworm:(2.7.1-5) Bullseye:(2.7.0-4+b1) nonlinear optimization library -- GNU Octave package wwwoctave-nnet
Bookworm & Bullseye:(0.1.13-2) feed forward multi-layer neural network functions for Octave wwwoctave-nurbs
Bookworm:(1.4.3-3) Bullseye:(1.3.13-10) non-uniform rational B-splines for Octave wwwoctave-octcdf
Bookworm & Bullseye:(1.1.10-1+b1) NetCDF data files interface for Octave wwwoctave-octclip
Bookworm:(2.0.3-1) Bullseye:(2.0.1-1+b1) boolean operations with polygons in Octave wwwoctave-octproj
Bookworm:(3.0.2-1) Bullseye:(2.0.1-1+b1) GNU Octave bindings to PROJ.4 wwwoctave-openmpi-ext
Bookworm & Bullseye:(1.1.0-2) Octave toolbox for parallel computing using MPI wwwoctave-optics
Bookworm:(0.1.4-4) Bullseye:(0.1.4-3) optics functions for Octave wwwoctave-optim
Bookworm:(1.6.2-3) Bullseye:(1.6.0-6) unconstrained non-linear optimization toolkit for Octave wwwoctave-optiminterp
Bookworm:(0.3.7-3) Bullseye:(0.3.6-3+b1) optimal interpolation package for Octave wwwoctave-parallel
Bookworm:(4.0.1-6) Bullseye:(4.0.0-2+b1) parallel execution of Octave in clusters of computers wwwoctave-pfstools
Bookworm:(2.2.0-5+b1) Bullseye:(2.1.0-5+rpi1) octave bindings for pfstools wwwoctave-phclab
Bookworm:(2.4.86+dfsg-4) general-purpose solver for polynomial systems (Octave) wwwoctave-plot
Bookworm & Bullseye:(1.1.0-2) additional plotting tools for Octave wwwoctave-plplot
Bookworm:(5.15.0+dfsg2-6) Octave support for PLplot, a plotting library wwwoctave-quaternion
Bookworm:(2.4.0-10) Bullseye:(2.4.0-9) quaternion package for Octave wwwoctave-queueing
Bookworm:(1.2.7-5) Bullseye:(1.2.7-3) Queueing Networks and Markov chains analysis for Octave wwwoctave-secs1d
Bookworm:(0.0.9-8) Bullseye:(0.0.9-7) semi conductor simulator in 1D for Octave wwwoctave-secs2d
Bookworm:(0.0.8-16) Bullseye:(0.0.8-15) semi conductor simulator in 2D for Octave wwwoctave-secs3d
Bookworm:(0.0.1-4) Bullseye:(0.0.1-3) Drift-Diffusion simulator for 3d semiconductor devices in Octave wwwoctave-signal
Bookworm:(1.4.3-1) Bullseye:(1.4.1-4+b1) signal processing functions for Octave wwwoctave-sockets
Bookworm:(1.4.0-4) Bullseye:(1.2.1-1+b1) communication through Internet sockets in Octave wwwoctave-specfun
Bookworm:(1.1.0-9) Bullseye:(1.1.0-7) special mathematical functions for Octave wwwoctave-splines
Bookworm:(1.3.4-3) Bullseye:(1.3.3-2) cubic spline functions for Octave wwwoctave-statistics
Bookworm:(1.5.3-2) Bullseye:(1.4.2-2) additional statistical functions for Octave wwwoctave-stk
Bookworm:(2.7.0-3) Bullseye:(2.6.1-5) (not so) Small Toolbox for Kriging wwwoctave-strings
Bookworm:(1.3.0-3) Bullseye:(1.2.0-10) additional string manipulation functions for Octave wwwoctave-struct
Bookworm:(1.0.18-3) Bullseye:(1.0.16-8) additional structure manipulation functions for Octave wwwoctave-symbolic
Bookworm:(3.0.1-2) Bullseye:(2.9.0-3) symbolic package for Octave wwwoctave-time
Bookworm & Bullseye:(1.0.9-4) date format manipulation function for Octave wwwoctave-tsa
Bookworm:(4.6.3-3) Bullseye:(4.6.2-2) time series analysis in Octave wwwoctave-vibes
Bookworm:(0.2.0-8) Bullseye:(0.2.0-7) VIBes API to easily display results in Octave wwwoctave-vrml
Bookworm:(1.0.13-8) Bullseye:(1.0.13-6) VRML functions for Octave wwwoctave-zenity
Bookworm:(0.5.7-14) Bullseye:(0.5.7-12) simple graphical user interfaces using zenity in Octave wwwoctave-zeromq
Bookworm:(1.5.5-1) Bullseye:(1.5.2-1+b1) ZeroMQ binding for Octave wwwopen-axiom-databases
Bookworm & Bullseye:(1.5.0~svn3056+ds-1) open scientific computation platform: generated text databases wwwopen-axiom-graphics-data
Bookworm & Bullseye:(1.5.0~svn3056+ds-1) open scientific computation platform: graphics subsystem data wwwopen-axiom-hypertex-data
Bookworm & Bullseye:(1.5.0~svn3056+ds-1) open scientific computation platform: hypertex subsystem data wwwopen-axiom-source
Bookworm & Bullseye:(1.5.0~svn3056+ds-1) open scientific computation platform: source files wwwopen-axiom-test
Bookworm & Bullseye:(1.5.0~svn3056+ds-1) open scientific computation platform: regression test inputs wwwopen-axiom-tex
Bookworm & Bullseye:(1.5.0~svn3056+ds-1) open scientific computation platform: style file for TeX wwwotter
Bookworm & Bullseye:(3.3f-1.1) resolution-style theorem prover- Back to top
P
palp
Bookworm:(2.20-2) Bullseye:(2.20-1) Package for Analyzing Lattice Polytopes wwwpari-elldata
Bookworm:(0.20210301-1) Bullseye:(0.20190911-1) PARI/GP Computer Algebra System elliptic curves (elldata) wwwpari-extra
Bookworm & Bullseye:(3-1) PARI/GP Computer Algebra System extra data filespari-galdata
Bookworm:(0.20080411-4) Bullseye:(0.20080411-3) PARI/GP Computer Algebra System Galois resolvents (galdata) wwwpari-galpol
Bookworm:(4.0-2) Bullseye:(4.0-1.1) PARI/GP Computer Algebra System Galois polynomial database wwwpari-gp
Bookworm:(2.15.2-1) Bullseye:(2.13.1-1) PARI/GP Computer Algebra System binaries wwwpari-gp2c
Bookworm:(0.0.13-1) Bullseye:(0.0.12-2) PARI/GP GP to C compiler wwwpari-nflistdata
Bookworm:(0.20220729-2) PARI/GP Computer Algebra System Galois polynomial database wwwpari-seadata
Bookworm:(0.20090618-3) Bullseye:(0.20090618-2) PARI/GP Computer Algebra System modular polynomials (seadata) wwwpdl
Bookworm:(1:2.081-2) Bullseye:(1:2.025-1) perl data language: Perl extensions for numerics wwwpgapack
Bookworm & Bullseye:(1.1.1-3) General-purpose genetic algorithm packagephat-utils
Bookworm:(1.6-2+b2) Bullseye:(1.6-2) Utilities from the PHAT library wwwphcpack
Bookworm:(2.4.86+dfsg-4) general-purpose solver for polynomial systems (command line) wwwpi
Bookworm & Bullseye:(1.3.6-4) Compute Archimedes' constant Pi to arbitrary precision wwwplanarity
Bookworm:(3.0.2.0-2) Bullseye:(3.0.1.0-1) Program for planarity-related graph algorithms wwwplfit
Bookworm:(0.9.4+ds-1+b1) fitting power-law distributions to empirical data -- interfaces wwwplotdrop
Bookworm & Bullseye:(0.5.4-1+b5) minimal GNOME frontend to GNUPlot wwwplotutils
Bookworm:(2.6-13) Bullseye:(2.6-11) GNU plotutils command line tools based on libplot wwwplplot-tcl
Bookworm:(5.15.0+dfsg2-6) Bullseye:(5.15.0+dfsg-19) Tcl/Tk support for PLplot, a plotting library wwwplplot-tcl-bin
Bookworm:(5.15.0+dfsg2-6) Bullseye:(5.15.0+dfsg-19) Tcl/Tk tools for PLplot, a plotting library wwwplplot-tcl-dev
Bookworm:(5.15.0+dfsg2-6) Bullseye:(5.15.0+dfsg-19) Tcl/Tk development support for PLplot, a plotting library wwwpolylib-utils
Bookworm & Bullseye:(5.22.5-4+dfsg) Various tools using libpolylib wwwpolymake
Bookworm:(4.6-5+b4) Bullseye:(4.3-4) Tool for algorithmic discrete geometry wwwpolymake-common
Bookworm:(4.6-5) Bullseye:(4.3-4) Tool for algorithmic discrete geometry -- shared files wwwprimecount
Bookworm:(7.6+ds-1) fast prime number counter C/C++ library wwwprimecount-bin
Bookworm:(7.6+ds-1) fast prime number counter C/C++ library -- bin wwwprimesieve
Bookworm:(11.0+ds-2) Bullseye:(7.6+ds-1) fast prime number generator C/C++ library wwwprimesieve-bin
Bookworm:(11.0+ds-2) Bullseye:(7.6+ds-1) fast prime number generator C/C++ library -- bin wwwpsignifit
Bookworm:(2.5.6-8) Bullseye:(2.5.6-7) Fitting and testing hypotheses about psychometric functions wwwpspp
Bookworm:(1.6.2-2) Bullseye:(1.4.1-1) Statistical analysis tool wwwptscotch
Bookworm:(7.0.3-2) Bullseye:(6.1.0-2) MPI programs and libraries for graph, mesh and hypergraph partitioning wwwpyecm
Bookworm:(2.0.5-2) Bullseye:(2.0.3-1) integer factorization with the Elliptic Curve Method (ECM) wwwpyomo
Bookworm & Bullseye:(4.3.11388+git20160622.d3e3f0a-1) PYthon Optimization Modeling Objects wwwpyxplot
Bookworm:(0.9.2-13+b1) Bullseye:(0.9.2-12) data plotting program producing publication-quality output www- Back to top
Q
qalc
Bookworm:(4.5.1-1) Bullseye:(2.8.2-1.1) Powerful and easy to use command line calculator wwwqalculate-gtk
Bookworm:(4.5.1-1) Bullseye:(2.8.2-1+b1) Powerful and easy to use desktop calculator - GTK+ version wwwqepcad
Bookworm:(1.74+ds-3+b12) quantifier elimination tool wwwqhull-bin
Bookworm:(2020.2-5) Bullseye:(2020.2-3) calculate convex hulls and related structures (utilities) wwwqsopt-ex
Bookworm & Bullseye:(2.5.10.3-2) Exact linear programming solver wwwquickplot
Bookworm & Bullseye:(1.0.1~rc-1+b2) fast interactive 2D plotter and data viewer www- Back to top
R
regina-normal
Bookworm:(7.3-2) Bullseye:(6.0.1-4) mathematical software for low-dimensional topology wwwrelational
Bookworm & Bullseye:(3.0-1) Educational tool for relational algebra (graphical user interface) wwwrelational-cli
Bookworm & Bullseye:(3.0-1) Educational tool for relational algebra (command line interface) wwwries
Bookworm & Bullseye:(2018.08.05-1) find algebraic equations, given their solution wwwripser
Bookworm:(1.2.1-3) Bullseye:(1.1.20200206.286d36-3) Fast computation of persistent homology of flag complexes wwwrkward
Bookworm:(0.7.5-1) Bullseye:(0.7.2-1) KDE frontend to the R statistics language wwwrkward-data
Bookworm:(0.7.5-1) Bullseye:(0.7.2-1) KDE frontend to the R statistics language - data files wwwrocs
Bookworm:(4:22.12.3-1) Bullseye:(4:20.12.1-1) graph theory IDE wwwrubiks
Bookworm & Bullseye:(20070912-5) Small collection of Rubik's cube solvers www- Back to top
S
sagemath
Bookworm:(9.5-6) Open Source Mathematical Software wwwsagemath-database-conway-polynomials
Bookworm & Bullseye:(0.5-8) Database of Conway polynomials wwwsagemath-database-cremona-elliptic-curves
Bookworm:(20221013-1) Bullseye:(0~20191029-3) Databases of elliptic curves over the rationals wwwsagemath-database-elliptic-curves
Bookworm & Bullseye:(0.8.1-5) Databases for elliptic curves wwwsagemath-database-graphs
Bookworm:(20210214+dfsg-1) Bullseye:(20161026+dfsg-5) Databases of graphs wwwsagemath-database-mutually-combinatorial-designs
Bookworm & Bullseye:(20140630-6) Databases of combinatorial designs wwwsagemath-database-polytopes
Bookworm & Bullseye:(20170220-5) Databases of polytopes wwwsagemath-doc
Bookworm:(9.5-6) Bullseye:(9.2-2) Open Source Mathematical Software - documentation wwwsagemath-jupyter
Bookworm:(9.5-6) Bullseye:(9.2-2) Open Source Mathematical Software - Jupyter kernel wwwsc
Bookworm:(7.16-4.1) Bullseye:(7.16-4) Text-based spreadsheet with VI-like keybindingssc-im
Bookworm:(0.8.2+ds-1) Text-based spreadsheet calculator with VI-like keybindings wwwscalapack-mpi-test
Bookworm:(2.2.1-2) Bullseye:(2.1.0-4) Scalable Linear Algebra Package - Test files for MPI wwwscilab
Bookworm:(6.1.1+dfsg2-6) Bullseye:(6.1.0+dfsg1-7) Scientific software package for numerical computations wwwscilab-ann
Bookworm & Bullseye:(0.4.2.4-1) Scilab module for artificial neural networks wwwscilab-celestlab
Bookworm & Bullseye:(3.0.0-1-2) Library of space flight dynamics functions based on Scilab. wwwscilab-cli
Bookworm:(6.1.1+dfsg2-6) Bullseye:(6.1.0+dfsg1-7) Scientific software package - Command Line Interpreter wwwscilab-data
Bookworm:(6.1.1+dfsg2-6) Bullseye:(6.1.0+dfsg1-7) Scientific software package for numerical computations (data files) wwwscilab-full-bin
Bookworm:(6.1.1+dfsg2-6) Bullseye:(6.1.0+dfsg1-7) Scientific software package for numerical computations (all binary files) wwwscilab-include
Bookworm:(6.1.1+dfsg2-6) Bullseye:(6.1.0+dfsg1-7) Scientific software package for numerical computations (include files) wwwscilab-jims
Bookworm & Bullseye:(1.0-1) Binds Java from the Scilab engine wwwscilab-minimal-bin
Bookworm:(6.1.1+dfsg2-6) Bullseye:(6.1.0+dfsg1-7) Scientific software package for numerical computations (minimal binary files) wwwscilab-overload
Bookworm & Bullseye:(1.3.3-3) Scilab toolbox to overload Scilab's macros wwwscilab-plotlib
Bookworm & Bullseye:(0.42-1) "Matlab-like" Plotting library for Scilab wwwscilab-test
Bookworm:(6.1.1+dfsg2-6) Bullseye:(6.1.0+dfsg1-7) Scientific software package for numerical computations (test files) wwwscotch
Bookworm:(7.0.3-2) Bullseye:(6.1.0-2) programs and libraries for graph, mesh and hypergraph partitioning wwwsdpa
Bookworm:(7.3.16+dfsg-1) Bullseye:(7.3.15+dfsg-1) High-performance package for SemiDefinite Programs wwwsdpam
Bookworm:(7.3.16+dfsg-1) Bullseye:(7.3.15+dfsg-1) Matlab/Octave interface of SDPA wwwsdpb
Bookworm:(1.0-4+b1) Bullseye:(1.0-4) Semidefinite program solver wwwsingular
Bookworm:(1:4.3.1-p3+ds-2) Bullseye:(1:4.1.1-p2+ds-4+b5) Computer Algebra System for Polynomial Computations wwwsingular-data
Bookworm:(1:4.3.1-p3+ds-2) Bullseye:(1:4.1.1-p2+ds-4) Computer Algebra System for Polynomial Computations -- shared data wwwsingular-ui
Bookworm:(1:4.3.1-p3+ds-2) Bullseye:(1:4.1.1-p2+ds-4+b5) Computer Algebra System for Polynomial Computations -- console user interface wwwsingular-ui-emacs
Bookworm:(1:4.3.1-p3+ds-2) Bullseye:(1:4.1.1-p2+ds-4+b5) Computer Algebra System for Polynomial Computations -- emacs user interface wwwsingular-ui-xterm
Bookworm:(1:4.3.1-p3+ds-2) Bullseye:(1:4.1.1-p2+ds-4+b5) Computer Algebra System for Polynomial Computations -- xterm user interface wwwsocnetv
Bookworm & Bullseye:(2.8-1) Social Networks Analysis and Visualization software wwwsollya
Bookworm:(8.0+ds-2+b1) Bullseye:(7.0+ds-3+b2) library for safe floating-point code development -- tool wwwspeedcrunch
Bookworm:(0.12.0-6) Bullseye:(0.12.0-5) High precision calculator wwwspigot
Bookworm & Bullseye:(0.2017-01-15.gdad1bbc6-1) Exact real calculator wwwspline
Bookworm:(1.2-5) Bullseye:(1.2-4) Akima spline interpolationst-console
Bookworm:(1.1.4-7) Bullseye:(1.1.4-5) simple mathematics statistics from the command line interface wwwstda
Bookworm & Bullseye:(1.3.1-2.1) simple tools for data analysis (stda) wwwstopt-examples
Bookworm:(5.5+dfsg-1) library for stochastic optimization problems (programs examples) wwwsurf-alggeo
Bookworm:(1.0.6+ds-6+b1) Bullseye:(1.0.6+ds-5) visualization of real algebraic geometry wwwsurf-alggeo-nox
Bookworm:(1.0.6+ds-6+b1) Bullseye:(1.0.6+ds-5) visualization of real algebraic geometry -- no X support wwwsympow
Bookworm:(2.023.6-1.1) Bullseye:(2.023.6-1) mathematical program for SYMmetric POWer elliptic curve L-functions -- program wwwsympow-data
Bookworm:(2.023.6-1.1) Bullseye:(2.023.6-1) mathematical program for SYMmetric POWer elliptic curve L-functions -- shared www- Back to top
T
tachyon
Bookworm:(0.99~b6+dsx-10) Bullseye:(0.99~b6+dsx-9) Parallel/Multiprocessor Standalone Ray Tracer - metapackage wwwtachyon-bin-nox
Bookworm:(0.99~b6+dsx-10) Bullseye:(0.99~b6+dsx-9) Parallel/Multiprocessor Standalone Ray Tracer - with no X support wwwtachyon-bin-ogl
Bookworm:(0.99~b6+dsx-10) Bullseye:(0.99~b6+dsx-9) Parallel/Multiprocessor Standalone Ray Tracer - with OpenGL display wwwtapecalc
Bookworm:(20230205-1) Bullseye:(20070214-2) full-screen tape editor that lets the user edit a calculation wwwtestu01-data
Bookworm:(1.2.3+ds1-2) Bullseye:(1.2.3+ds1-1) testing suite for uniform random number generators -- data wwwtetgen
Bookworm & Bullseye:(1.5.0-5) Quality Tetrahedral Mesh Generator wwwtiemu
Bookworm:(3.04~git20220826.cda2db4+dfsg-2) Bullseye:(3.04~git20110801-nogdb+dfsg1-2) Texas Instruments calculators emulator (without GDB) wwwtiemu-skinedit
Bookworm:(1.28~git20220826.cda2db4-1) Bullseye:(1.28~20200818-1+b1) skin editor for TiEmu wwwtilem
Bookworm:(2.0-5) Bullseye:(2.0-4) GTK+ TI Z80 calculator emulator wwwtilem-data
Bookworm:(2.0-5) Bullseye:(2.0-4) GTK+ TI Z80 calculator emulator (data files) wwwtilp2
Bookworm:(1.19~git20220826.71eaa92-1) Bullseye:(1.18-4) Texas Instruments hand-helds <-> PC communication program for X wwwtopcom
Bookworm:(1.1.2+ds-1) Bullseye:(0.17.8+ds-2) Triangulations Of Point Configurations and Oriented Matroids wwwtopcom-examples
Bookworm:(1.1.2+ds-1) Bullseye:(0.17.8+ds-2) Triangulations Of Point Configs and Oriented Matroids (examples) wwwttyplot
Bookworm:(1.4+77.g1a1693b-2) realtime plotting utility for consoles and terminals wwwtwinvoicerecalc
Bookworm & Bullseye:(0.0.20170711-1.1) Taiwan invoice reverse calculator www- Back to top
V
vspline-dev
Bookworm & Bullseye:(1.0.2-1) header-only C++ template library for b-spline processing www- Back to top
W
wcalc
Bookworm & Bullseye:(2.5-3+b1) Flexible command-line scientific calculator wwwwhy3
Bookworm:(1.5.1-1+b1) Bullseye:(1.3.3-1+b5) Software verification platform wwwwhy3-doc-html
Bookworm:(1.5.1-1) Bullseye:(1.3.3-1) HTML Documentation of the why3 verification platform wwwwhy3-doc-pdf
Bookworm:(1.5.1-1) Bullseye:(1.3.3-1) PDF Documentation of the why3 verification platform wwwwhy3-examples
Bookworm:(1.5.1-1) Bullseye:(1.3.3-1) Examples for the why3 verification platform wwwwxmaxima
Bookworm:(22.12.0-1) Bullseye:(20.12.1-1) GUI for the computer algebra system Maxima wwwwzip
Bookworm:(1.1.6) Bullseye:(1.1.5) Lossy compression and denoising- Back to top
X
xgraph
Bookworm & Bullseye:(12.1-17) Plotting program, reads stdin, allows interactive zoomingxmaxima
Bookworm:(5.46.0-11) Bullseye:(5.44.0-3) Computer algebra system -- x interfacexrprof
Bookworm:(0.3.1-3) External Sampling Profiler for R www- Back to top
Y
yacas
Bookworm & Bullseye:(1.3.6-2.1) Computer Algebra System www