Do you allow this site to use Cookies?

Cookie Policy
 
 
 

Raspberry Pi OS Software Packages

Raspberry Pi OS is the offical operating system of the Raspberry Pi (previously known as Raspbian). Though not the only Operarting Systems the Raspberry Pi can use, it is the one that has the setup and software managed by the Raspberry Pi foundation. Raspberry Pi OS is a Linux OS based on Debian. As with all Linux distributions there are 1000's of free Open Source programs that can be downloaded from a Terminal Screen or a Desktop app. This section list the 1000's of programs that can be downloaded for the current version of Raspberry Pi OS, Buster version 10 and the previouse version, Stretch.

Maths

raspberry 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

WWW: Please Note: each listing has a www link to a related webpage, the links are supplied by the author. I can not guarantee thay are all active and related to the listed package.

Distro Version:

The latest Distro for Raspberry Pi OS is Bullseye, the previouse version was Buster. Next to each package is the version available for each distro.

Bullseye(#) = Raspberry Pi OS Bullseye
Buster(#) = Raspberry Pi OS Buster
Bullseye & Buster(#) = same version for both.
If only one Distro is listed then the package is only available on that distribution.

Jump to section A B C D E F G H J K L M N O P Q R S T V W X Y

MATH

Last Updated: 28 November, 2022

  • 4ti2

    Bullseye:(1.6.9+ds-2) Buster:(1.6.9+ds-1) mathematical tool suite for problems on linear spaces -- tools www
  • Back to top

  • A

  • acl2

    Bullseye:(8.3dfsg-1) Buster:(8.0dfsg-1) Computational Logic for Applicative Common Lisp: main binary

  • acl2-books

    Bullseye:(8.3dfsg-1) Buster:(8.0dfsg-1) Computational Logic for Applicative Common Lisp: compiled libraries

  • acl2-books-certs

    Bullseye:(8.3dfsg-1) Buster:(8.0dfsg-1) Computational Logic for Applicative Common Lisp: library certificates

  • acl2-books-source

    Bullseye:(8.3dfsg-1) Buster:(8.0dfsg-1) Computational Logic for Applicative Common Lisp: library sources

  • acl2-emacs

    Bullseye:(8.3dfsg-1) Buster:(8.0dfsg-1) Computational Logic for Applicative Common Lisp: emacs interface

  • acl2-infix

    Bullseye:(8.3dfsg-1) Buster:(8.0dfsg-1) Computational Logic for Applicative Common Lisp: infix interface

  • acl2-infix-source

    Bullseye:(8.3dfsg-1) Buster:(8.0dfsg-1) Computational Logic for Applicative Common Lisp: infix source

  • acl2-source

    Bullseye:(8.3dfsg-1) Buster:(8.0dfsg-1) Computational Logic for Applicative Common Lisp: source files

  • admesh

    Bullseye:(0.98.4-1+b4) Buster:(0.98.3-3) Tool for processing triangulated solid meshes. Binary www

  • alt-ergo

    Bullseye:(2.0.0-7+b2) Buster:(2.0.0-3) Automatic theorem prover dedicated to program verification www

  • ann-tools

    Bullseye & Buster:(1.1.2+doc-7) Approximate Nearest Neighbor Searching library (tools) www

  • apcalc

    Bullseye:(2.12.7.2-4) Buster:(2.12.7.2-2) transitional package www

  • apcalc-common

    Bullseye:(2.12.7.2-4) Buster:(2.12.7.2-2) transitional package www

  • apophenia-bin

    Bullseye:(1.0+ds-8+b1) Buster:(1.0+ds-7+b3) Apophenia Statistical C Library -- binary package www

  • aribas

    Bullseye & Buster:(1.64-6) interpreter for arithmetic www

  • auto-07p

    Bullseye:(0.9.2+dfsg-3) Buster:(0.9.1+dfsg-7) software for continuation and bifurcation problems in ODE www

  • autoclass

    Bullseye:(3.3.6.dfsg.1-2) Buster:(3.3.6.dfsg.1-1) automatic classification or clustering www

  • axiom

    Bullseye:(20170501-6) Buster:(20170501-4) General purpose computer algebra system: main binary and modules

  • axiom-databases

    Bullseye:(20170501-6) Buster:(20170501-4) General purpose computer algebra system: generated text databases

  • axiom-graphics

    Bullseye:(20170501-6) Buster:(20170501-4) General purpose computer algebra system: graphics subsystem

  • axiom-graphics-data

    Bullseye:(20170501-6) Buster:(20170501-4) General purpose computer algebra system: graphics subsystem

  • axiom-hypertex

    Bullseye:(20170501-6) Buster:(20170501-4) General purpose computer algebra system: hypertex subsystem

  • axiom-hypertex-data

    Bullseye:(20170501-6) Buster:(20170501-4) General purpose computer algebra system: hypertex subsystem

  • axiom-source

    Bullseye:(20170501-6) Buster:(20170501-4) General purpose computer algebra system: source files

  • axiom-test

    Bullseye:(20170501-6) Buster:(20170501-4) General purpose computer algebra system: regression test inputs

  • axiom-tex

    Bullseye:(20170501-6) Buster:(20170501-4) General purpose computer algebra system: style file for TeX
  • Back to top

  • B

  • bc

    Bullseye:(1.07.1-2+b1) Buster:(1.07.1-2) GNU bc arbitrary precision calculator language www

  • bindechexascii

    Bullseye & Buster:(0.0+20140524.git7dcd86-4) simple ASCII,binary,decimal and hex converter www

  • blacs-mpi-test

    Bullseye & Buster:(1.1-40+rpi1) Basic Linear Algebra Comm. Subprograms - Test files for MPI www

  • blacs-test-common

    Bullseye & Buster:(1.1-40+rpi1) Test data for BLACS testers www

  • bliss

    Bullseye:(0.73-5) Buster:(0.73-2) tool to compute graph automorphisms and labelings -- bin www

  • braillegraph

    Bullseye & Buster:(0.3-1) simple histogram tool producing text dot-matrix graphs www

  • bytes-circle

    Bullseye & Buster:(2.6-1) Show byte statistics as an ASCII circle graph www
  • Back to top

  • C

  • cadabra

    Bullseye:(1.46-5+b12) Buster:(1.46-5+b9) field-theory motivated computer algebra system www

  • cadabra2

    Bullseye:(2.3.6.8-1) field-theory motivated computer algebra system www

  • calc

    Bullseye:(2.12.7.2-4) Arbitrary precision calculator www

  • calc-common

    Bullseye:(2.12.7.2-4) Arbitrary precision calculator (common files) www

  • calligrasheets

    Bullseye:(1:3.2.1+dfsg-2+b5) Buster:(1:3.1.0+dfsg-5) spreadsheet for the Calligra Suite www

  • calligrasheets-data

    Bullseye:(1:3.2.1+dfsg-2) Buster:(1:3.1.0+dfsg-5) data files for Sheets spreadsheet www

  • cantor

    Bullseye:(4:20.12.1-5) Buster:(4:18.12.0-2+b1) interface for mathematical applications www

  • cantor-backend-kalgebra

    Bullseye:(4:20.12.1-5) Buster:(4:18.12.0-2+b1) KAlgebra backend for Cantor www

  • cantor-backend-maxima

    Bullseye:(4:20.12.1-5) Buster:(4:18.12.0-2+b1) Maxima backend for Cantor www

  • cantor-backend-octave

    Bullseye:(4:20.12.1-5) Buster:(4:18.12.0-2+b1) Octave backend for Cantor www

  • cantor-backend-python3

    Bullseye:(4:20.12.1-5) Buster:(4:18.12.0-2+b1) Python3 backend for Cantor www

  • cantor-backend-qalculate

    Bullseye:(4:20.12.1-5) Buster:(4:18.12.0-2+b1) Qalculate! backend for Cantor www

  • cantor-backend-r

    Bullseye:(4:20.12.1-5) Buster:(4:18.12.0-2+b1) R backend for Cantor www

  • cantor-backend-sage

    Bullseye:(4:20.12.1-5) Buster:(4:18.12.0-2+b1) Sage backend for Cantor www

  • carmetal

    Bullseye:(3.5.2+dfsg-1.2) Buster:(3.5.2+dfsg-1.1) dynamic geometry software with highly ergonomic UI

  • cimg-dev

    Bullseye:(2.9.4+dfsg-2) Buster:(2.4.5+dfsg-1+deb10u1) powerful image processing library www

  • clblast-tests

    Bullseye:(1.5.2-2) Tests for CLBlast www

  • clblast-utils

    Bullseye:(1.5.2-2) Utilities for CLBlast www

  • cliquer

    Bullseye & Buster:(1.21-2) clique searching program www

  • cohomcalg

    Bullseye:(0.32+ds-3) Buster:(0.32+ds-2) sheaf cohomology of line bundles on toric varieties www

  • cohomcalg-common

    Bullseye:(0.32+ds-3) Buster:(0.32+ds-2) sheaf cohomology of line bundles on toric varieties (common files) www

  • concalc

    Bullseye & Buster:(0.9.2-2) console calculator www

  • coq

    Bullseye:(8.12.0-3+b2) Buster:(8.9.0-1) proof assistant for higher-order logic (toplevel and compiler) www

  • coq-highschoolgeometry

    Bullseye & Buster:(8.4+20150620-1) coq library for high school geometry proofs/formalisation www

  • coq-theories

    Bullseye:(8.12.0-3+b2) Buster:(8.9.0-1) proof assistant for higher-order logic (theories) www

  • coqide

    Bullseye:(8.12.0-3+b2) proof assistant for higher-order logic (gtk interface) www

  • cryptominisat

    Bullseye:(5.8.0+dfsg1-1+b1) SAT solver command line interface www

  • cvc4

    Bullseye:(1.8-2) automated theorem prover for SMT problems www
  • Back to top

  • D

  • dc

    Bullseye:(1.07.1-2+b1) Buster:(1.07.1-2) GNU dc arbitrary precision reverse-polish calculator www

  • deepin-calculator

    Bullseye:(5.6.0.10-2) Buster:(1.0.10-1) Calculator for DDE (Deepin Desktop Environment) www

  • dicelab

    Bullseye & Buster:(0.7-5) evaluate the statistical distribution of dice rolls www

  • dolfin-bin

    Bullseye:(2019.2.0~git20201207.b495043-5) Buster:(2018.1.0.post1-16) Executable scripts for DOLFIN www

  • drawmap

    Bullseye & Buster:(2.5-3) draws customized maps, using raw USGS data files

  • dynare

    Bullseye:(4.6.3-4) Buster:(4.5.7-1) platform for handling a wide class of economic models www

  • dynare-matlab

    Bullseye:(4.6.3-4) Buster:(4.5.7-1) MATLAB support for Dynare www
  • Back to top

  • E

  • eclib-tools

    Bullseye:(20190909-3+b1) Buster:(20180815-2) Programs for modular symbols and elliptic curves over Q www

  • edenmath.app

    Bullseye:(1.1.1a-8+b3) Buster:(1.1.1a-8+b1) Scientific calculator for GNUstep www

  • elpa-fricas

    Bullseye:(1.3.6-6) General purpose computer algebra system: emacs support www

  • eukleides

    Bullseye:(1.5.4-4.3) Buster:(1.5.4-4.1) Euclidean geometry drawing language www

  • euler

    Bullseye:(1.61.0-12) Buster:(1.61.0-11) interactive mathematical programming environment www

  • evolver

    Bullseye:(2.70+ds-8) Buster:(2.70+ds-4) Surface Evolver www

  • evolver-nox

    Bullseye:(2.70+ds-8) Buster:(2.70+ds-4) Surface Evolver - with no X support www

  • evolver-ogl

    Bullseye:(2.70+ds-8) Buster:(2.70+ds-4) Surface Evolver - with OpenGL display www
  • Back to top

  • F

  • fenics

    Bullseye:(1:2019.2.0.5+b2) Buster:(1:2018.1.0.6+b19) Automated Solution of Differential Equations www

  • fenicsx

    Bullseye:(1:2019.2.0.5) Automated Solution of Differential Equations www

  • fflas-ffpack

    Bullseye:(2.4.3-2) Buster:(2.3.2-3) Finite field linear algebra subroutines/package www

  • fflas-ffpack-common

    Bullseye:(2.4.3-2) Buster:(2.3.2-3) Finite field linear algebra subroutines/package - common files www

  • flintqs

    Bullseye & Buster:(1:1.0-3) Program using quadratic sieve to factor integers www

  • formed

    Bullseye & Buster:(3.3f-1.1) formula editor for first-order logic formulae

  • fplll-tools

    Bullseye:(5.4.0-2+rpi1) Buster:(5.2.1-2) Tools to compute LLL-reduction of Euclidian lattices www

  • freefem

    Bullseye & Buster:(3.5.8-7) PDE oriented language using Finite Element Method www

  • freefem-examples

    Bullseye & Buster:(3.5.8-7) Example files for FreeFEM www

  • freefem3d

    Bullseye & Buster:(1.0pre10-4) Language and solver for partial differential equations in 3D

  • fricas

    Bullseye:(1.3.6-6) General purpose computer algebra system: main binary and modules www

  • fricas-databases

    Bullseye:(1.3.6-6) General purpose computer algebra system: generated text databases www

  • fricas-graphics

    Bullseye:(1.3.6-6) General purpose computer algebra system: graphics subsystem www

  • fricas-graphics-data

    Bullseye:(1.3.6-6) General purpose computer algebra system: graphics data www

  • fricas-hypertex

    Bullseye:(1.3.6-6) General purpose computer algebra system: hypertex subsystem www

  • fricas-hypertex-data

    Bullseye:(1.3.6-6) General purpose computer algebra system: hypertex data www

  • fricas-source

    Bullseye:(1.3.6-6) General purpose computer algebra system: source files www

  • fricas-test

    Bullseye:(1.3.6-6) General purpose computer algebra system: regression test inputs www

  • frobby

    Bullseye:(0.9.1-1) Buster:(0.9.0-5) Computations with monomial ideals www
  • Back to top

  • G

  • galculator

    Bullseye:(2.1.4-1.1) Buster:(2.1.4-1) scientific calculator www

  • gap

    Bullseye:(4.11.0-4) Buster:(4r10p0-7) computer algebra system for Groups, Algorithms and Programming www

  • gap-aclib

    Bullseye:(1.3.2-2) GAP AClib - Almost Crystallographic Groups - A Library and Algorithms www

  • gap-alnuth

    Bullseye:(3.1.2-2) Buster:(3.1.0-3) GAP Alnuth - Algebraic number theory and an interface to PARI/GP www

  • gap-atlasrep

    Bullseye:(2.1.0-3) Buster:(1.5.1-2) GAP AtlasRep - A GAP Interface to the Atlas of Group Representations www

  • gap-autodoc

    Bullseye:(2019.09.04-1) Buster:(2018.09.20-1) GAP AutoDoc - Generate documentation from GAP source code www

  • gap-autpgrp

    Bullseye:(1.10.2-2) Buster:(1.10-1) GAP AutPGrp - Computing the Automorphism Group of a p-Group www

  • gap-character-tables

    Bullseye:(1.3.1-1) Buster:(1r2p2.dfsg.0-3) GAP Library of character tables www

  • gap-core

    Bullseye:(4.11.0-4+b2) Buster:(4r10p0-7) GAP computer algebra system, core components www

  • gap-cryst

    Bullseye:(4.1.23-2) GAP Cryst - Computing with crystallographic groups www

  • gap-crystcat

    Bullseye:(1.1.9-2) GAP CrystCat - The crystallographic groups catalog www

  • gap-design

    Bullseye:(1.7+ds-2) Buster:(1r6+ds-2) block designs for GAP www

  • gap-factint

    Bullseye:(1.6.3+ds-1) Buster:(1.6.2+ds-1) advanced methods for factoring integers for GAP www

  • gap-fga

    Bullseye:(1.4.0-2) GAP FGA - Free Group Algorithms www

  • gap-float

    Bullseye:(0.9.1+ds-6+b1) Buster:(0.9.1+ds-4) multi-precision floating-point computation for GAP www

  • gap-gapdoc

    Bullseye:(1.6.3-1) Buster:(1.6.2-1) GAPDoc - A Meta Package for GAP Documentation www

  • gap-grape

    Bullseye:(4.8.3+ds-1) Buster:(4.8.1+ds-3) GRaph Algorithms using PErmutation groups for GAP www

  • gap-guava

    Bullseye:(3.15+ds-3) Buster:(3.14+ds-1) coding theory library for GAP www

  • gap-guava-bin

    Bullseye:(3.15+ds-3) Buster:(3.14+ds-1) coding theory library for GAP (arch-dep files) www

  • gap-io

    Bullseye:(4.7.0+ds-2) Buster:(4.5.4+ds-3) low level C library IO bindings for GAP www

  • gap-laguna

    Bullseye:(3.9.3+ds-2) Buster:(3.9.1+ds-1) LAGUNA GAP package www

  • gap-libs

    Bullseye:(4.11.0-4) Buster:(4r10p0-7) GAP computer algebra system, essential GAP libraries www

  • gap-nq

    Bullseye:(2.5.4-2) GAP nq - Nilpotent Quotients of Finitely Presented Groups www

  • gap-online-help

    Bullseye:(4.11.0-4) Buster:(4r10p0-7) GAP computer algebra system, online help www

  • gap-openmath

    Bullseye:(11.5.0+ds-2) Buster:(11.4.2+ds-3) OpenMath phrasebook for GAP www

  • gap-polycyclic

    Bullseye:(2.15.1-1) Buster:(2.14-1) GAP Polycyclic - Computation with polycyclic groups www

  • gap-prim-groups

    Bullseye & Buster:(4r8p5-2) Database of primitive groups for GAP www

  • gap-primgrp

    Bullseye:(3.4.0-1) Buster:(3.3.2-1) GAP PrimGrp - GAP Primitive Permutation Groups Library www

  • gap-radiroot

    Bullseye:(2.8-1.1) Buster:(2.8-1) GAP RadiRoot - Roots of a Polynomial as Radicals www

  • gap-scscp

    Bullseye:(2.3.1+ds-2) Buster:(2.2.3+ds-2) SCSCP protocol in GAP www

  • gap-small-groups

    Bullseye & Buster:(4r8p5-2) Database of small groups for GAP www

  • gap-small-groups-extra

    Bullseye & Buster:(4r8p5-2) Large database of small groups for GAP www

  • gap-smallgrp

    Bullseye:(1.4.1-2) Buster:(1.3-1) GAP SmallGrp - The GAP Small Groups Library www

  • gap-smallgrp-extra

    Bullseye:(1.4.1-2) Buster:(1.3-1) GAP SmallGrp - The GAP Small Groups Library www

  • gap-sonata

    Bullseye:(2.9.1+ds-3) Buster:(2.9.1+ds-2) Systems Of Nearrings And Their Applications for GAP www

  • gap-table-of-marks

    Bullseye:(1.2.9-1) Buster:(1.2.7-2) GAP TomLib - The GAP Library of Tables of Marks www

  • gap-toric

    Bullseye:(1.9.5+ds-1) Buster:(1.9.4+ds-1) toric variety for GAP www

  • gap-trans-groups

    Bullseye & Buster:(4r8p5-2) Database of transitive groups for GAP www

  • gap-transgrp

    Bullseye:(2.0.6-2) Buster:(2.0.4-1) GAP TransGrp - Transitive Groups Library www

  • gbase

    Bullseye:(0.5-2.2+b2) Buster:(0.5-2.2) small numeric base converter www

  • geg

    Bullseye:(2.0.9-3+b1) Buster:(2.0.9-3) GTK+ Equation Grapher www

  • geneagrapher

    Bullseye:(1.0c2+git20180919-2) Buster:(1.0c2+git20180919-1) Create tree from Mathematics Genealogy Project www

  • geomview

    Bullseye:(1.9.5-3) Buster:(1.9.5-2) interactive geometry viewing program www

  • geophar

    Bullseye:(18.08.7+dfsg1-1) Buster:(18.08.2+dfsg1-2) Swiss army knife for the math teacher www

  • getdp

    Bullseye:(3.2.0+dfsg1-1.1+b1) Buster:(3.0.4+dfsg1-1) general environment for the treatment of discrete problems www

  • getdp-sparskit

    Bullseye:(3.2.0+dfsg1-1.1+b1) Buster:(3.0.4+dfsg1-1) general environment for the treatment of discrete problems www

  • gf-complete-tools

    Bullseye & Buster:(1.0.2+2017.04.10.git.ea75cdf-3) Galois Field Arithmetic - tools www

  • gfan

    Bullseye:(0.6.2-4) Buster:(0.6.2-2) program for computing with Groebner fans www

  • gfm

    Bullseye & Buster:(1.08-1) Texas Instruments hand-helds file manipulation program for X www

  • ggobi

    Bullseye:(2.1.11-2+b1) Buster:(2.1.11-2) Data visualization system for high-dimensional data

  • ginac-tools

    Bullseye:(1.8.0-2) Buster:(1.7.5-1) GiNaC symbolic framework support tools www

  • glpk-utils

    Bullseye:(5.0-1) Buster:(4.65-2) linear programming kit - utility files www

  • gmp-ecm

    Bullseye & Buster:(7.0.4+ds-5) Factor integers using the Elliptic Curve Method www

  • gmsh

    Bullseye:(4.7.1+ds1-5) Buster:(4.1.5+really4.1.3+ds1-1) Three-dimensional finite element mesh generator www

  • gnome-calculator

    Bullseye:(3.38.2-1) Buster:(3.30.1-2) GNOME desktop calculator www

  • gnumeric

    Bullseye:(1.12.48-1+b1) Buster:(1.12.44-1) spreadsheet application for GNOME - main program www

  • gnumeric-common

    Bullseye:(1.12.48-1) Buster:(1.12.44-1) spreadsheet application for GNOME - common files www

  • gnumeric-plugins-extra

    Bullseye:(1.12.48-1+b1) Buster:(1.12.44-1) spreadsheet application for GNOME - additional plugins www

  • gnuplot

    Bullseye:(5.4.1+dfsg1-1+deb11u1) Buster:(5.2.6+dfsg1-1+deb10u1) Command-line driven interactive plotting program. www

  • gnuplot-mode

    Bullseye:(1:0.7.0-2014-12-31-2) Buster:(1:0.7.0-2014-12-31-1) Transition Package, gnuplot-mode to elpa-gnuplot-mode www

  • gnuplot-nox

    Bullseye:(5.4.1+dfsg1-1+deb11u1) Buster:(5.2.6+dfsg1-1+deb10u1) Command-line driven interactive plotting program. No-X package www

  • gnuplot-qt

    Bullseye:(5.4.1+dfsg1-1+deb11u1) Buster:(5.2.6+dfsg1-1+deb10u1) Command-line driven interactive plotting program. QT-package www

  • gnuplot-x11

    Bullseye:(5.4.1+dfsg1-1+deb11u1) Buster:(5.2.6+dfsg1-1+deb10u1) Command-line driven interactive plotting program. X-package www

  • grace

    Bullseye:(1:5.1.25-9) Buster:(1:5.1.25-6) XY graphing and plotting tool www

  • graphmonkey

    Bullseye:(1.7-4.1) Buster:(1.7-4) a GTK#-based graphing calculator www

  • gretl

    Bullseye:(2021a-1) Buster:(2019a-1) GNU Regression, Econometric & Time-Series Library www

  • gretl-common

    Bullseye:(2021a-1) Buster:(2019a-1) GNU Regression, Econometric & Time-Series Library -- scripts package www

  • gretl-data

    Bullseye:(2021a-1) Buster:(2019a-1) GNU Regression, Econometric & Time-Series Library -- data package www

  • grpn

    Bullseye:(1.4.1-1+b1) Buster:(1.4.1-1) GTK+ reverse polish notation calculator

  • gsl-bin

    Bullseye:(2.6+dfsg-2) Buster:(2.5+dfsg-6) GNU Scientific Library (GSL) -- binary package www
  • Back to top

  • H

  • hera-utils

    Bullseye:(0~git20200602+dfsg-3) Utilities built from the Hera library www

  • hol-light

    Bullseye:(20190729-4+b3) HOL Light theorem prover www

  • hol88

    Bullseye:(2.02.19940316-35.1) Buster:(2.02.19940316-35) Higher Order Logic, system image

  • hol88-contrib-help

    Bullseye:(2.02.19940316-35.1) Buster:(2.02.19940316-35) Higher Order Logic, user contributed online help files

  • hol88-contrib-source

    Bullseye:(2.02.19940316-35.1) Buster:(2.02.19940316-35) Higher Order Logic, user contributed source

  • hol88-help

    Bullseye:(2.02.19940316-35.1) Buster:(2.02.19940316-35) Higher Order Logic, online help files

  • hol88-library

    Bullseye:(2.02.19940316-35.1) Buster:(2.02.19940316-35) Higher Order Logic, binary library modules

  • hol88-library-help

    Bullseye:(2.02.19940316-35.1) Buster:(2.02.19940316-35) Higher Order Logic, library online help files

  • hol88-library-source

    Bullseye:(2.02.19940316-35.1) Buster:(2.02.19940316-35) Higher Order Logic, library source files

  • hol88-source

    Bullseye:(2.02.19940316-35.1) Buster:(2.02.19940316-35) Higher Order Logic, source files
  • Back to top

  • J

  • jacal

    Bullseye:(1c7-2) Buster:(1b9-7) Interactive symbolic math system www

  • jags

    Bullseye:(4.3.0-3) Buster:(4.3.0-2) Just Another Gibbs Sampler for Bayesian MCMC - binary www

  • jfractionlab

    Bullseye:(0.92-2) Buster:(0.92-1) Educative program to practice fractions www

  • jgraph

    Bullseye & Buster:(83-23) Jim Plank's program for producing PostScript graphs

  • jsurf-alggeo

    Bullseye & Buster:(0.4.1+ds-3) Java based visualization library for real algebraic geometry www
  • Back to top

  • K

  • kalgebramobile

    Bullseye:(4:20.12.1-1+rpi1) Buster:(4:17.08.3-2+rpi1+b4) algebraic graphing calculator for small touch based interfaces www

  • kali

    Bullseye & Buster:(3.1-18) Draw tilings, frieze patterns, and so on www

  • kbruch

    Bullseye:(4:20.12.0-1) Buster:(4:17.08.3-1) fraction learning aid for KDE www

  • kcalc

    Bullseye:(4:20.12.0-1) Buster:(4:18.04.1-1) simple and scientific calculator www

  • kig

    Bullseye:(4:20.12.2-1) Buster:(4:17.08.3-1) interactive geometry tool www

  • kissfft-tools

    Bullseye:(131.1.0-1) Mixed-radix Fast Fourier Transform library (CLI tools) www

  • kmplot

    Bullseye:(4:20.12.0-1) Buster:(4:17.08.3-1) mathematical function plotter for KDE www
  • Back to top

  • L

  • labplot

    Bullseye:(2.8.1-2) Buster:(2.5.0-2+b2) interactive graphing and analysis of scientific data www

  • labplot-data

    Bullseye:(2.8.1-2) Buster:(2.5.0-2) data files for labplot www

  • lcalc

    Bullseye:(1.23+dfsg-11+b1) Buster:(1.23+dfsg-11) program for calculating with L-functions www

  • libcantorlibs28

    Bullseye:(4:20.12.1-5) interface for mathematical applications - shared library www

  • libcdd-tools

    Bullseye:(094l-2) Buster:(094j-2) Programs using libcdd www

  • libfloat-coq

    Bullseye:(1:8.10.0-1) Buster:(1:8.4-5) Coq library on floating-point arithmetic www

  • libfp16-dev

    Bullseye:(0.0~git20200514.4dfe081-2) Conversion to/from half-precision floating point formats www

  • libgts-bin

    Bullseye & Buster:(0.7.6+darcs121130-4) utility binaries for libgts www

  • liblrs1

    Bullseye:(0.71a-1) package to enumerate vertices and extreme rays (shared libraries) www

  • libmagma-doc

    Bullseye:(2.5.4+ds-3) Matrix Algebra on GPU and Multicore Architectures (doc) www

  • libmeschach1.2

    Bullseye:(1.2b-17) Buster:(1.2b-14) library for performing operations on matrices and vectors www

  • libpgapack-mpi1

    Bullseye & Buster:(1.1.1-3) General-purpose genetic algorithm package (mpi library)

  • libpgapack-serial1

    Bullseye & Buster:(1.1.1-3) General-purpose genetic algorithm package (serial library)

  • libquadrule1

    Bullseye:(0~20121001-2+b1) Buster:(0~20121001-2) Quadrature rules and numerical integration routines www

  • libreoffice-nlpsolver

    Bullseye:(0.9+LibO7.0.4-4+rpi1+deb11u3) Buster:(0.9+LibO6.1.5-3+rpi1+deb10u7) "Solver for Nonlinear Programming" extension for LibreOffice www

  • libsbml5-octave

    Bullseye:(5.19.0+dfsg-1) Buster:(5.17.2+dfsg-3) System Biology Markup Language library - Octave bindings www

  • libssreflect-coq

    Bullseye:(1.12.0-1) Mathematical Components library for Coq www

  • lie

    Bullseye:(2.2.2+dfsg-3+b1) Buster:(2.2.2+dfsg-3) Computer algebra package for Lie group computations www

  • lp-solve

    Bullseye:(5.5.2.5-2) Buster:(5.5.0.15-4) Solve (mixed integer) linear programming problems www

  • lrcalc

    Bullseye & Buster:(1.2-2) programs for calculating Littlewood-Richardson coefficients www

  • lrslib

    Bullseye:(0.71a-1) Buster:(0.70-3) package to enumerate vertices and extreme rays of a convex polyhedron www

  • lybniz

    Bullseye:(3.0.4-5) Buster:(1.3.2-2.1) mathematical function graph plotter www
  • Back to top

  • M

  • macaulay2

    Bullseye:(1.17.1+ds-2) Software system for algebraic geometry research www

  • macaulay2-common

    Bullseye:(1.17.1+ds-2) Software system for algebraic geometry research (common files) www

  • mace2

    Bullseye & Buster:(3.3f-1.1) program that searches for finite models of first-order statements

  • mandelbulber

    Bullseye:(1:1.21.1-1.1+b2) Buster:(1:1.21.1-1.1+b1) 3D fractal renderer and animator www

  • mandelbulber2

    Bullseye:(2.20-2) Buster:(2.13.2-5) 3D fractal renderer and animator www

  • mandelbulber2-data

    Bullseye:(2.20-2) Buster:(2.13.2-5) 3D fractal renderer and animator - data files www

  • maria

    Bullseye:(1.3.5-4.1+b1) Buster:(1.3.5-4.1) reachability analyzer for Algebraic System Nets www

  • mate-calc

    Bullseye:(1.24.1-1) Buster:(1.20.3-1) MATE desktop calculator www

  • mate-calc-common

    Bullseye:(1.24.1-1) Buster:(1.20.3-1) MATE desktop calculator (common files) www

  • mathicgb

    Bullseye:(1.0~git20200526-1) Buster:(1.0~git20170606-2) Compute Groebner bases (command line tool) www

  • mathomatic

    Bullseye:(16.0.5-4) Buster:(16.0.5-1) portable Computer Algebra System (CAS) www

  • mathomatic-primes

    Bullseye:(16.0.5-4) Buster:(16.0.5-1) prime number tools for mathomatic www

  • mathpiper

    Bullseye:(0.81f+svn4469+dfsg3-3.1) Buster:(0.81f+svn4469+dfsg3-3) Java Computer Algebra System www

  • matio-tools

    Bullseye:(1.5.19-2) MATLAB MAT File I/O Library - command-line tools www

  • matlab2tikz

    Bullseye:(1.1.0-7) Buster:(1.1.0-6) converter of Octave plots to TikZ figures (for integration into LaTeX) www

  • maxima

    Bullseye:(5.44.0-3) Buster:(5.42.1-1) Computer algebra system -- base system

  • maxima-emacs

    Bullseye:(5.44.0-3) Buster:(5.42.1-1) Computer algebra system -- emacs interface

  • maxima-sage

    Bullseye:(5.44.0-1) Buster:(5.41.0+ds-4) Computer algebra system -- base system www

  • maxima-sage-share

    Bullseye:(5.44.0-1) Buster:(5.41.0+ds-4) Computer algebra system -- extra code www

  • maxima-share

    Bullseye:(5.44.0-3) Buster:(5.42.1-1) Computer algebra system -- extra code

  • maxima-src

    Bullseye:(5.44.0-3) Buster:(5.42.1-1) Computer algebra system -- source code

  • maxima-test

    Bullseye:(5.44.0-3) Buster:(5.42.1-1) Computer algebra system -- test suite

  • mcl

    Bullseye:(1:14-137+ds-9+b1) Buster:(1:14-137+ds-3) Markov Cluster algorithm www

  • metamath

    Bullseye:(0.195-1) Language for mathematical proofs www

  • metamath-databases

    Bullseye:(0.0.0~20210101.git55fe226-2) Sample databases for Metamath www

  • metis

    Bullseye:(5.1.0.dfsg-7) Buster:(5.1.0.dfsg-5) Serial Graph Partitioning and Fill-reducing Matrix Ordering. Binaries www

  • ministat

    Bullseye & Buster:(20150715-1) simple tool for statistical comparison of data sets

  • minlog

    Bullseye:(4.0.99.20100221-7) Buster:(4.0.99.20100221-6) Proof assistant based on first order natural deduction calculus www

  • mongoose

    Bullseye:(1:5.8.1+dfsg-2) Buster:(1:5.4.0+dfsg-1) graph partitioning tool that can quickly compute edge cuts (executable) www

  • mplrs

    Bullseye:(0.71a-1) package to enumerate vertices and extreme rays of a convex polyhedron (parallel binary) www

  • mumps-test

    Bullseye:(5.3.5-2) Buster:(5.1.2-4+b1) Example/test binaries using MUMPS www
  • Back to top

  • N

  • nauty

    Bullseye:(2.7r1+ds-2) Buster:(2.6r10+ds-1) library for graph automorphisms -- interface and tools www

  • netgen

    Bullseye:(6.2.2006+really6.2.1905+dfsg-2.1) Buster:(6.2.1804+dfsg1-3) Automatic 3d tetrahedral mesh generator www

  • normaliz

    Bullseye:(3.8.9+ds-0.1) Buster:(3.6.3+ds-1) math computing tools for affine monoids, rational polytopes and cones www

  • normaliz-bin

    Bullseye:(3.8.9+ds-0.1) Buster:(3.6.3+ds-1) math computing tools for affine monoids, rational polytopes and cones - bin www

  • num-utils

    Bullseye:(0.5-15) Buster:(0.5-12) programs for dealing with numbers from the command line www
  • Back to top

  • O

  • octave

    Bullseye:(6.2.0-1) Buster:(4.4.1-5) GNU Octave language for numerical computations www

  • octave-arduino

    Bullseye:(0.6.0-1) Buster:(0.3.0-2) Octave Arduino Toolkit www

  • octave-audio

    Bullseye:(2.0.2-1+b2) MIDI functions for Octave www

  • octave-benchmark

    Bullseye & Buster:(1.1.1-4) code to benchmark speed of Octave www

  • octave-bim

    Bullseye:(1.1.5-7) Buster:(1.1.5-6) PDE solver using a finite element/volume approach in Octave www

  • octave-bsltl

    Bullseye:(1.3.1-3) Buster:(1.1.1-2) biospeckle laser tool library for Octave www

  • octave-cgi

    Bullseye:(0.1.2-3) Buster:(0.1.2-2) Common Gateway Interface for Octave www

  • octave-common

    Bullseye:(6.2.0-1) Buster:(4.4.1-5) architecture-independent files for octave www

  • octave-communications

    Bullseye:(1.2.2-4) Buster:(1.2.1-7) communications package for Octave www

  • octave-communications-common

    Bullseye:(1.2.2-4) Buster:(1.2.1-7) communications package for Octave (arch-indep files) www

  • octave-control

    Bullseye:(3.2.0-5+b1) Buster:(3.1.0-3) computer-aided control system design (CACSD) for Octave www

  • octave-data-smoothing

    Bullseye:(1.3.0-8) Buster:(1.3.0-7) functions to do data smoothing on noisy data www

  • octave-database

    Bullseye:(2.4.4-3.1+b1) interface to SQL databases in Octave www

  • octave-dataframe

    Bullseye:(1.2.0-5) Buster:(1.2.0-4) manipulate data in Octave similar to R data.frame www

  • octave-dicom

    Bullseye:(0.4.0-1+b1) Buster:(0.2.1-5) manipulate DICOM files in Octave www

  • octave-divand

    Bullseye:(1.1.2+dfsg-5) Buster:(1.1.2+dfsg-4) n-dimensional interpolation for Octave www

  • octave-doctest

    Bullseye:(0.7.0-4) Buster:(0.6.1-2) documentation tests for Octave www

  • octave-econometrics

    Bullseye:(1:1.1.2-3+b1) Buster:(1:1.1.1-6) econometrics functions for Octave www

  • octave-epstk

    Bullseye & Buster:(2.4-4) GNU Octave encapsulated postscript toolkit www

  • octave-financial

    Bullseye:(0.5.3-3) Buster:(0.5.3-2) financial package for Octave www

  • octave-fits

    Bullseye:(1.0.7-6+b2) Buster:(1.0.7-3) manipulation of FITS files in Octave www

  • octave-fpl

    Bullseye:(1.3.5-6) Buster:(1.3.5-5) plot data on unstructured triangular and tetrahedral meshes in Octave www

  • octave-fuzzy-logic-toolkit

    Bullseye:(0.4.5-4) Buster:(0.4.5-2) fuzzy logic toolkit for Octave www

  • octave-ga

    Bullseye:(0.10.2-1) Buster:(0.10.0-6) genetic optimization code for Octave www

  • octave-general

    Bullseye:(2.1.1-3+b1) Buster:(2.1.0-2) provide extra general functions for Octave www

  • octave-geometry

    Bullseye:(4.0.0-2+b1) Buster:(3.0.0-9) extension of MatGeom functionality in Octave www

  • octave-gsl

    Bullseye:(2.1.1-5+b1) Buster:(2.1.1-2) GSL binding for Octave www

  • octave-image

    Bullseye:(2.12.0-10) Buster:(2.10.0-2) image manipulation for Octave www

  • octave-image-acquisition

    Bullseye:(0.2.2-4+b1) Buster:(0.2.2-2) image acquisition package for Octave www

  • octave-instrument-control

    Bullseye:(0.6.0-2+b1) Buster:(0.3.1-2) instrument control for Octave www

  • octave-interval

    Bullseye:(3.2.0-7) Buster:(3.2.0-4) real-valued interval arithmetic for Octave www

  • octave-io

    Bullseye:(2.6.3-1+b1) Buster:(2.4.12-2) input/output data functions for Octave www

  • octave-level-set

    Bullseye:(0.3.1~git.2019.04.13-2) Buster:(0.3.0-6) level-set toolbox for Octave www

  • octave-linear-algebra

    Bullseye:(2.2.3-3) Buster:(2.2.2-7) additional linear-algebra functions for Octave www

  • octave-lssa

    Bullseye:(0.1.4-1+b1) Buster:(0.1.3-2) least squares spectral analysis for Octave www

  • octave-ltfat

    Bullseye:(2.3.1+dfsg-8) Buster:(2.3.1+dfsg-2) Large Time/Frequency Analysis Toolbox www

  • octave-ltfat-common

    Bullseye:(2.3.1+dfsg-8) Buster:(2.3.1+dfsg-2) Large Time/Frequency Analysis Toolbox (arch-indep files) www

  • octave-mapping

    Bullseye:(1.4.1-1+rpi1) Buster:(1.2.1-4+b1) geographical mapping functions for Octave www

  • octave-matgeom

    Bullseye:(1.2.2-3) computational geometry for Octave www

  • octave-miscellaneous

    Bullseye:(1.3.0-3+b1) Buster:(1.2.1-5) miscellaneous tools for Octave www

  • octave-missing-functions

    Bullseye:(1.0.2-10) Buster:(1.0.2-8) finds functions that are in Matlab but not in Octave www

  • octave-mpi

    Bullseye:(3.1.0-1+b1) Buster:(1.2.0-6) Octave toolbox for parallel computing using MPI www

  • octave-msh

    Bullseye:(1.0.10-11) Buster:(1.0.10-7) create and manage meshes for FE or FV solvers in Octave www

  • octave-mvn

    Bullseye:(1.1.0-3) Buster:(1.1.0-2) multivariate normal distribution clustering for Octave www

  • octave-nan

    Bullseye:(3.5.2-1+b1) Buster:(3.1.4-5) handles data with and without missing values in Octave www

  • octave-ncarray

    Bullseye:(1.0.4-3) Buster:(1.0.4-2) access NetCDF files as a multi-dimensional array in Octave www

  • octave-netcdf

    Bullseye:(1.0.14-1+b1) Buster:(1.0.12-2) Matlab compatible NetCDF interface for Octave www

  • octave-nlopt

    Bullseye:(2.7.0-4+b1) Buster:(2.4.2+dfsg-8+b1) nonlinear optimization library -- GNU Octave package www

  • octave-nnet

    Bullseye & Buster:(0.1.13-2) feed forward multi-layer neural network functions for Octave www

  • octave-nurbs

    Bullseye:(1.3.13-10) Buster:(1.3.13-5) non-uniform rational B-splines for Octave www

  • octave-octcdf

    Bullseye & Buster:(1.1.10-1+b1) NetCDF data files interface for Octave www

  • octave-octclip

    Bullseye:(2.0.1-1+b1) Buster:(1.0.8-5) boolean operations with polygons in Octave www

  • octave-octproj

    Bullseye:(2.0.1-1+b1) Buster:(1.1.5-4) GNU Octave bindings to PROJ.4 www

  • octave-openmpi-ext

    Bullseye & Buster:(1.1.0-2) Octave toolbox for parallel computing using MPI www

  • octave-optics

    Bullseye:(0.1.4-3) Buster:(0.1.3-2) optics functions for Octave www

  • octave-optim

    Bullseye:(1.6.0-6) Buster:(1.5.3-2) unconstrained non-linear optimization toolkit for Octave www

  • octave-optiminterp

    Bullseye:(0.3.6-3+b1) Buster:(0.3.5-2) optimal interpolation package for Octave www

  • octave-parallel

    Bullseye:(4.0.0-2+b1) Buster:(3.1.3-2) parallel execution of Octave in clusters of computers www

  • octave-pfstools

    Bullseye:(2.1.0-5+rpi1) Buster:(2.1.0-3+b5) octave bindings for pfstools www

  • octave-plot

    Bullseye & Buster:(1.1.0-2) additional plotting tools for Octave www

  • octave-quaternion

    Bullseye:(2.4.0-9) Buster:(2.4.0-5) quaternion package for Octave www

  • octave-queueing

    Bullseye:(1.2.7-3) Buster:(1.2.6-5) Queueing Networks and Markov chains analysis for Octave www

  • octave-secs1d

    Bullseye:(0.0.9-7) Buster:(0.0.9-6) semi conductor simulator in 1D for Octave www

  • octave-secs2d

    Bullseye:(0.0.8-15) Buster:(0.0.8-10) semi conductor simulator in 2D for Octave www

  • octave-secs3d

    Bullseye:(0.0.1-3) Buster:(0.0.1-2) Drift-Diffusion simulator for 3d semiconductor devices in Octave www

  • octave-signal

    Bullseye:(1.4.1-4+b1) Buster:(1.4.0-3) signal processing functions for Octave www

  • octave-sockets

    Bullseye:(1.2.1-1+b1) Buster:(1.2.0-4) communication through Internet sockets in Octave www

  • octave-sparsersb

    Bullseye:(1.0.8-3) Buster:(1.0.6-2) RSB sparse matrix manipulation for Octave www

  • octave-specfun

    Bullseye:(1.1.0-7) Buster:(1.1.0-5) special mathematical functions for Octave www

  • octave-splines

    Bullseye:(1.3.3-2) Buster:(1.3.2-6) cubic spline functions for Octave www

  • octave-statistics

    Bullseye:(1.4.2-2) Buster:(1.4.0-5) additional statistical functions for Octave www

  • octave-stk

    Bullseye:(2.6.1-5) Buster:(2.5.1-2) (not so) Small Toolbox for Kriging www

  • octave-strings

    Bullseye:(1.2.0-10) Buster:(1.2.0-4) additional string manipulation functions for Octave www

  • octave-struct

    Bullseye:(1.0.16-8) Buster:(1.0.15-2) additional structure manipulation functions for Octave www

  • octave-symbolic

    Bullseye:(2.9.0-3) Buster:(2.7.1-2) symbolic package for Octave www

  • octave-time

    Bullseye & Buster:(1.0.9-4) date format manipulation function for Octave www

  • octave-tsa

    Bullseye:(4.6.2-2) Buster:(4.4.5-4) time series analysis in Octave www

  • octave-vibes

    Bullseye:(0.2.0-7) Buster:(0.2.0-3) VIBes API to easily display results in Octave www

  • octave-video

    Bullseye:(2.0.0-2+b1) video file reader/writer for Octave www

  • octave-vrml

    Bullseye:(1.0.13-6) Buster:(1.0.13-5) VRML functions for Octave www

  • octave-zenity

    Bullseye:(0.5.7-12) Buster:(0.5.7-9) simple graphical user interfaces using zenity in Octave www

  • octave-zeromq

    Bullseye:(1.5.2-1+b1) Buster:(1.3.0-4) ZeroMQ binding for Octave www

  • open-axiom-databases

    Bullseye & Buster:(1.5.0~svn3056+ds-1) open scientific computation platform: generated text databases www

  • open-axiom-graphics-data

    Bullseye & Buster:(1.5.0~svn3056+ds-1) open scientific computation platform: graphics subsystem data www

  • open-axiom-hypertex-data

    Bullseye & Buster:(1.5.0~svn3056+ds-1) open scientific computation platform: hypertex subsystem data www

  • open-axiom-source

    Bullseye & Buster:(1.5.0~svn3056+ds-1) open scientific computation platform: source files www

  • open-axiom-test

    Bullseye & Buster:(1.5.0~svn3056+ds-1) open scientific computation platform: regression test inputs www

  • open-axiom-tex

    Bullseye & Buster:(1.5.0~svn3056+ds-1) open scientific computation platform: style file for TeX www

  • otter

    Bullseye & Buster:(3.3f-1.1) resolution-style theorem prover
  • Back to top

  • P

  • palp

    Bullseye:(2.20-1) Buster:(2.1-5) Package for Analyzing Lattice Polytopes www

  • pari-elldata

    Bullseye:(0.20190911-1) Buster:(0.20161017-1) PARI/GP Computer Algebra System elliptic curves (elldata)

  • pari-extra

    Bullseye & Buster:(3-1) PARI/GP Computer Algebra System extra data files

  • pari-galdata

    Bullseye:(0.20080411-3) Buster:(0.20080411-2) PARI/GP Computer Algebra System Galois resolvents (galdata)

  • pari-galpol

    Bullseye:(4.0-1.1) Buster:(4.0-1) PARI/GP Computer Algebra System Galois polynomial database

  • pari-gp

    Bullseye:(2.13.1-1) Buster:(2.11.1-2) PARI/GP Computer Algebra System binaries www

  • pari-gp2c

    Bullseye:(0.0.12-2) Buster:(0.0.11pl1-1) PARI/GP GP to C compiler

  • pari-seadata

    Bullseye:(0.20090618-2) Buster:(0.20090618-1) PARI/GP Computer Algebra System modular polynomials (seadata)

  • pdl

    Bullseye:(1:2.025-1) Buster:(1:2.019-5+b1) perl data language: Perl extensions for numerics www

  • pgapack

    Bullseye & Buster:(1.1.1-3) General-purpose genetic algorithm package

  • phat-utils

    Bullseye:(1.6-2) Utilities from the PHAT library www

  • pi

    Bullseye:(1.3.6-4) Buster:(1.3.4-4) Compute Archimedes' constant Pi to arbitrary precision www

  • planarity

    Bullseye:(3.0.1.0-1) Buster:(3.0.0.5-3) Program for planarity-related graph algorithms www

  • plotdrop

    Bullseye:(0.5.4-1+b5) Buster:(0.5.4-1+b4) minimal GNOME frontend to GNUPlot www

  • plotutils

    Bullseye:(2.6-11) Buster:(2.6-10) GNU plotutils command line tools based on libplot www

  • plplot-tcl

    Bullseye:(5.15.0+dfsg-19) Buster:(5.14.0+dfsg-3) Tcl/Tk support for PLplot, a plotting library www

  • plplot-tcl-bin

    Bullseye:(5.15.0+dfsg-19) Buster:(5.14.0+dfsg-3) Tcl/Tk tools for PLplot, a plotting library www

  • plplot-tcl-dev

    Bullseye:(5.15.0+dfsg-19) Buster:(5.14.0+dfsg-3) Tcl/Tk development support for PLplot, a plotting library www

  • polylib-utils

    Bullseye & Buster:(5.22.5-4+dfsg) Various tools using libpolylib www

  • polymake

    Bullseye:(4.3-4) Buster:(3.2r4-4) Tool for algorithmic discrete geometry www

  • polymake-common

    Bullseye:(4.3-4) Buster:(3.2r4-4) Tool for algorithmic discrete geometry -- shared files www

  • primesieve

    Bullseye:(7.6+ds-1) Buster:(7.3+ds-1) fast prime number generator C/C++ library www

  • primesieve-bin

    Bullseye:(7.6+ds-1) Buster:(7.3+ds-1) fast prime number generator C/C++ library -- bin www

  • psignifit

    Bullseye:(2.5.6-7) Buster:(2.5.6-5) Fitting and testing hypotheses about psychometric functions www

  • pspp

    Bullseye:(1.4.1-1) Buster:(1.2.0-3) Statistical analysis tool www

  • ptscotch

    Bullseye:(6.1.0-2) Buster:(6.0.6-2) MPI programs and libraries for graph, mesh and hypergraph partitioning www

  • pyecm

    Bullseye:(2.0.3-1) Buster:(2.0.2-4) integer factorization with the Elliptic Curve Method (ECM) www

  • pyomo

    Bullseye & Buster:(4.3.11388+git20160622.d3e3f0a-1) PYthon Optimization Modeling Objects www

  • pyxplot

    Bullseye:(0.9.2-12) Buster:(0.9.2-8) data plotting program producing publication-quality output www
  • Back to top

  • Q

  • qalc

    Bullseye:(2.8.2-1.1) Buster:(2.8.2-1) Powerful and easy to use command line calculator www

  • qalculate-gtk

    Bullseye:(2.8.2-1+b1) Buster:(2.8.2-1) Powerful and easy to use desktop calculator - GTK+ version www

  • qhull-bin

    Bullseye:(2020.2-3) Buster:(2015.2-4) calculate convex hulls and related structures (utilities) www

  • qsopt-ex

    Bullseye & Buster:(2.5.10.3-2) Exact linear programming solver www

  • quickplot

    Bullseye:(1.0.1~rc-1+b2) Buster:(1.0.1~rc-1+b1) fast interactive 2D plotter and data viewer www
  • Back to top

  • R

  • regina-normal

    Bullseye:(6.0.1-4) Buster:(5.1-6) mathematical software for low-dimensional topology www

  • relational

    Bullseye:(3.0-1) Buster:(2.5-2) Educational tool for relational algebra (graphical user interface) www

  • relational-cli

    Bullseye:(3.0-1) Buster:(2.5-2) Educational tool for relational algebra (command line interface) www

  • ries

    Bullseye & Buster:(2018.08.05-1) find algebraic equations, given their solution www

  • ripser

    Bullseye:(1.1.20200206.286d36-3) Fast computation of persistent homology of flag complexes www

  • rkward

    Bullseye:(0.7.2-1) Buster:(0.7.0b-1.1) KDE frontend to the R statistics language www

  • rkward-data

    Bullseye:(0.7.2-1) Buster:(0.7.0b-1.1) KDE frontend to the R statistics language - data files www

  • rocs

    Bullseye:(4:20.12.1-1) Buster:(4:17.08.3-1) graph theory IDE www

  • rubiks

    Bullseye:(20070912-5) Buster:(20070912-3) Small collection of Rubik's cube solvers www
  • Back to top

  • S

  • sagemath-common

    Bullseye:(9.2-2) Buster:(8.6-6) Open Source Mathematical Software - architecture-independent files www

  • sagemath-database-conway-polynomials

    Bullseye:(0.5-8) Buster:(0.5-4) Database of Conway polynomials www

  • sagemath-database-cremona-elliptic-curves

    Bullseye:(0~20191029-3) Databases of elliptic curves over the rationals www

  • sagemath-database-elliptic-curves

    Bullseye:(0.8.1-5) Buster:(0.8-2) Databases for elliptic curves www

  • sagemath-database-graphs

    Bullseye:(20161026+dfsg-5) Buster:(20161026+dfsg-2) Databases of graphs www

  • sagemath-database-mutually-combinatorial-designs

    Bullseye:(20140630-6) Buster:(20140630-3) Databases of combinatorial designs www

  • sagemath-database-polytopes

    Bullseye:(20170220-5) Buster:(20170220-2) Databases of polytopes www

  • sagemath-doc

    Bullseye:(9.2-2) Open Source Mathematical Software - documentation www

  • sagemath-doc-en

    Bullseye:(9.2-2) Buster:(8.6-6) transitional package www

  • sagemath-jupyter

    Bullseye:(9.2-2) Buster:(8.6-6) Open Source Mathematical Software - Jupyter kernel www

  • sc

    Bullseye & Buster:(7.16-4) Text-based spreadsheet with VI-like keybindings

  • scalapack-mpi-test

    Bullseye:(2.1.0-4) Buster:(2.0.2-7) Scalable Linear Algebra Package - Test files for MPI www

  • scilab

    Bullseye:(6.1.0+dfsg1-7) Buster:(6.0.1-10+deb10u1) Scientific software package for numerical computations www

  • scilab-ann

    Bullseye & Buster:(0.4.2.4-1) Scilab module for artificial neural networks www

  • scilab-celestlab

    Bullseye & Buster:(3.0.0-1-2) Library of space flight dynamics functions based on Scilab. www

  • scilab-cli

    Bullseye:(6.1.0+dfsg1-7) Buster:(6.0.1-10+deb10u1) Scientific software package - Command Line Interpreter www

  • scilab-data

    Bullseye:(6.1.0+dfsg1-7) Buster:(6.0.1-10+deb10u1) Scientific software package for numerical computations (data files) www

  • scilab-full-bin

    Bullseye:(6.1.0+dfsg1-7) Buster:(6.0.1-10+deb10u1) Scientific software package for numerical computations (all binary files) www

  • scilab-include

    Bullseye:(6.1.0+dfsg1-7) Buster:(6.0.1-10+deb10u1) Scientific software package for numerical computations (include files) www

  • scilab-jims

    Bullseye & Buster:(1.0-1) Binds Java from the Scilab engine www

  • scilab-minimal-bin

    Bullseye:(6.1.0+dfsg1-7) Buster:(6.0.1-10+deb10u1) Scientific software package for numerical computations (minimal binary files) www

  • scilab-overload

    Bullseye & Buster:(1.3.3-3) Scilab toolbox to overload Scilab's macros www

  • scilab-plotlib

    Bullseye & Buster:(0.42-1) "Matlab-like" Plotting library for Scilab www

  • scilab-test

    Bullseye:(6.1.0+dfsg1-7) Buster:(6.0.1-10+deb10u1) Scientific software package for numerical computations (test files) www

  • scotch

    Bullseye:(6.1.0-2) Buster:(6.0.6-2) programs and libraries for graph, mesh and hypergraph partitioning www

  • sdpa

    Bullseye:(7.3.15+dfsg-1) High-performance package for SemiDefinite Programs www

  • sdpam

    Bullseye:(7.3.15+dfsg-1) Matlab/Octave interface of SDPA www

  • sdpb

    Bullseye:(1.0-4) Buster:(1.0-3+b3) Semidefinite program solver www

  • singular

    Bullseye:(1:4.1.1-p2+ds-4+b5) Buster:(1:4.1.1-p2+ds-3+b2) Computer Algebra System for Polynomial Computations www

  • singular-data

    Bullseye:(1:4.1.1-p2+ds-4) Buster:(1:4.1.1-p2+ds-3) Computer Algebra System for Polynomial Computations -- shared data www

  • singular-ui

    Bullseye:(1:4.1.1-p2+ds-4+b5) Buster:(1:4.1.1-p2+ds-3+b2) Computer Algebra System for Polynomial Computations -- console user interface www

  • singular-ui-emacs

    Bullseye:(1:4.1.1-p2+ds-4+b5) Buster:(1:4.1.1-p2+ds-3+b2) Computer Algebra System for Polynomial Computations -- emacs user interface www

  • singular-ui-xterm

    Bullseye:(1:4.1.1-p2+ds-4+b5) Buster:(1:4.1.1-p2+ds-3+b2) Computer Algebra System for Polynomial Computations -- xterm user interface www

  • socnetv

    Bullseye:(2.8-1) Buster:(2.4-1) Social Networks Analysis and Visualization software www

  • sollya

    Bullseye:(7.0+ds-3+b2) Buster:(7.0+ds-3) library for safe floating-point code development -- tool www

  • speedcrunch

    Bullseye:(0.12.0-5) Buster:(0.12.0-4) High precision calculator www

  • spigot

    Bullseye & Buster:(0.2017-01-15.gdad1bbc6-1) Exact real calculator www

  • spline

    Bullseye & Buster:(1.2-4) Akima spline interpolation www

  • st-console

    Bullseye:(1.1.4-5) simple mathematics statistics from the command line interface www

  • stda

    Bullseye:(1.3.1-2.1) Buster:(1.3.1-2) simple tools for data analysis (stda) www

  • surf-alggeo

    Bullseye:(1.0.6+ds-5) Buster:(1.0.6+ds-4) visualization of real algebraic geometry www

  • surf-alggeo-nox

    Bullseye:(1.0.6+ds-5) Buster:(1.0.6+ds-4) visualization of real algebraic geometry -- no X support www

  • sympow

    Bullseye:(2.023.6-1) Buster:(2.023.5-2) mathematical program for SYMmetric POWer elliptic curve L-functions -- program www

  • sympow-data

    Bullseye:(2.023.6-1) Buster:(2.023.5-2) mathematical program for SYMmetric POWer elliptic curve L-functions -- shared www
  • Back to top

  • T

  • tachyon

    Bullseye & Buster:(0.99~b6+dsx-9) Parallel/Multiprocessor Standalone Ray Tracer - metapackage www

  • tachyon-bin-nox

    Bullseye & Buster:(0.99~b6+dsx-9) Parallel/Multiprocessor Standalone Ray Tracer - with no X support www

  • tachyon-bin-ogl

    Bullseye & Buster:(0.99~b6+dsx-9) Parallel/Multiprocessor Standalone Ray Tracer - with OpenGL display www

  • tapecalc

    Bullseye & Buster:(20070214-2) a full-screen tape editor that lets the user edit a calculation

  • testu01-data

    Bullseye & Buster:(1.2.3+ds1-1) testing suite for uniform random number generators -- data www

  • tetgen

    Bullseye & Buster:(1.5.0-5) Quality Tetrahedral Mesh Generator www

  • tiemu

    Bullseye & Buster:(3.04~git20110801-nogdb+dfsg1-2) Texas Instruments calculators emulator (without GDB) www

  • tiemu-skinedit

    Bullseye:(1.28~20200818-1+b1) Buster:(1.27-3) skin editor for TiEmu www

  • tilem

    Bullseye:(2.0-4) Buster:(2.0-3) GTK+ TI Z80 calculator emulator www

  • tilem-data

    Bullseye:(2.0-4) Buster:(2.0-3) GTK+ TI Z80 calculator emulator (data files) www

  • tilp2

    Bullseye:(1.18-4) Buster:(1.18-3) Texas Instruments hand-helds <-> PC communication program for X www

  • topcom

    Bullseye:(0.17.8+ds-2) Triangulations Of Point Configurations and Oriented Matroids www

  • topcom-examples

    Bullseye:(0.17.8+ds-2) Triangulations Of Point Configs and Oriented Matroids (examples) www

  • twinvoicerecalc

    Bullseye:(0.0.20170711-1.1) Buster:(0.0.20170711-1) Taiwan invoice reverse calculator www
  • Back to top

  • V

  • vspline-dev

    Bullseye:(1.0.2-1) Buster:(0.4.1-1) header-only C++ template library for b-spline processing www
  • Back to top

  • W

  • wcalc

    Bullseye:(2.5-3+b1) Buster:(2.5-3) Flexible command-line scientific calculator www

  • why3

    Bullseye:(1.3.3-1+b5) Buster:(1.2.0-1) Software verification platform www

  • why3-coq

    Bullseye:(1.3.3-1+b5) Buster:(1.2.0-1) Coq support for the why3 verification platform www

  • why3-doc-html

    Bullseye:(1.3.3-1) Buster:(1.2.0-1) HTML Documentation of the why3 verification platform www

  • why3-doc-pdf

    Bullseye:(1.3.3-1) Buster:(1.2.0-1) PDF Documentation of the why3 verification platform www

  • why3-examples

    Bullseye:(1.3.3-1) Buster:(1.2.0-1) Examples for the why3 verification platform www

  • wxmaxima

    Bullseye:(20.12.1-1) Buster:(19.01.2-1) GUI for the computer algebra system Maxima www

  • wzip

    Bullseye & Buster:(1.1.5) Lossy compression and denoising
  • Back to top

  • X

  • xgraph

    Bullseye & Buster:(12.1-17) Plotting program, reads stdin, allows interactive zooming

  • xmaxima

    Bullseye:(5.44.0-3) Buster:(5.42.1-1) Computer algebra system -- x interface
  • Back to top

  • Y

  • yacas

    Bullseye:(1.3.6-2.1) Buster:(1.3.6-2+b4) Computer Algebra System www

Packages Types