Debian Science Project
Summary
Mathematics
Pakiety naukowe Debiana związane z matematyką

Ten metapakiet instaluje pakiety naukowe Debiana związane z matematyką. Niektóre osoby może zainteresować również debtag field::mathematics i, w zależności od zainteresowania, metapakiet education-mathematics.

Description

For a better overview of the project's availability as a Debian package, each head row has a color code according to this scheme:

If you discover a project which looks like a good candidate for Debian Science to you, or if you have prepared an unofficial Debian package, please do not hesitate to send a description of that project to the Debian Science mailing list

Links to other tasks

Debian Science Mathematics packages

Official Debian packages with high relevance

4ti2
Matematyczny pakiet narzędziowy do problemów w przestrzeniach liniowych - narzędzia
Versions of package 4ti2
ReleaseVersionArchitectures
trixie1.6.10+ds-1.1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
bookworm1.6.9+ds-8amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye1.6.9+ds-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch1.6.7+ds-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster1.6.9+ds-1amd64,arm64,armhf,i386
sid1.6.10+ds-1.1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
Popcon: 46 users (55 upd.)*
Versions and Archs
License: DFSG free
Git

4ti2 to pakiet oprogramowania matematycznego do algebraicznych, geometrycznych i kombinatorycznych problemów w przestrzeniach liniowych.

Pakiet zawiera zestaw narzędziowy 4ti2.

agda
dependently typed functional programming language
Versions of package agda
ReleaseVersionArchitectures
sid2.6.4.3-1all
bookworm2.6.2.2-1.1all
bullseye2.6.1-1all
buster2.5.4.1-3all
stretch2.5.1.1-3all
jessie2.4.0.2-2all
upstream2.7.0.1
Debtags of package agda:
rolemetapackage
Popcon: 0 users (0 upd.)*
Newer upstream!
License: DFSG free
Git

Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code).

Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL.

This is a meta package which provides Agda's emacs mode, executable, standard library and its documentation.

auto-07p
software for continuation and bifurcation problems in ODE
Versions of package auto-07p
ReleaseVersionArchitectures
trixie0.9.2+dfsg-3amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
jessie0.9.1+dfsg-1amd64,armel,armhf,i386
stretch0.9.1+dfsg-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster0.9.1+dfsg-7amd64,arm64,armhf,i386
bookworm0.9.2+dfsg-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye0.9.2+dfsg-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid0.9.2+dfsg-3amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
Popcon: 4 users (2 upd.)*
Versions and Archs
License: DFSG free
Git

AUTO can do a limited bifurcation analysis of algebraic systems of the form

  f(u,p) = 0,  f,u in Rn
and of systems of ordinary differential equations of the form
  u'(t) = f(u(t),p),  f,u in Rn
subject to initial conditions, boundary conditions, and integral

constraints. Here p denotes one or more parameters. AUTO can also do certain continuation and evolution computations for parabolic PDEs. It also includes the software HOMCONT for the bifurcation analysis of homoclinic orbits. AUTO is quite fast and can benefit from multiple processors; therefore it is applicable to rather large systems of differential equations.

axiom
Uniwersalny system algebry komputerowej: główny program i moduły
Maintainer: Camm Maguire
Versions of package axiom
ReleaseVersionArchitectures
bookworm20170501-12amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye20170501-6amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
jessie20140801-6amd64,armel,armhf,i386
stretch20140801-12amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster20170501-4amd64,arm64,armhf,i386
trixie20170501-13amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
sid20170501-13amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
Debtags of package axiom:
develcompiler, interpreter
fieldmathematics
interfacetext-mode
roleprogram
scopeutility
Popcon: 4 users (5 upd.)*
Versions and Archs
License: DFSG free

Axiom jest przydatny do badania i opracowywania algorytmów matematycznych. Definiuje silnie typowaną i matematycznie poprawną hierarchię typów. Posiada własny język programowania i wbudowany kompilator.

Axiom jest rozwijany od 1973 roku i był przez pewien czas sprzedawany jako produkt komercyjny. Ostatecznie został wydany jako wolne oprogramowanie.

Obecnie trwają prace nad rozszerzeniem funkcjonalności programu, ukierunkowane na: stworzenie lepszego interfejsu użytkownika, dostosowanie go do roli przydatnego narzędzia nauczania, opracowanie protokołu algebraicznego serwera, zintegrowanie innych aspektów matematyki, przebudowanie algebry w czytelnym stylu programowania, zintegrowanie programowania logicznego oraz opracowanie "Axiom Journal" z odpowiednich artykułów.

Pakiet zawiera główny program wykonywalny oraz wszystkie prekompilowane i automatycznie wczytywane moduły algebry.

bliss
Narzędzie do obliczania automorfizmów i etykietowania grafów - plik wykonywalny
Versions of package bliss
ReleaseVersionArchitectures
buster0.73-2amd64,arm64,armhf,i386
stretch0.73-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye0.73-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
jessie0.72-5amd64,armel,armhf,i386
sid0.77-3amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
trixie0.77-3amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
bookworm0.73-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Debtags of package bliss:
interfacecommandline
roleprogram
Popcon: 9 users (4 upd.)*
Versions and Archs
License: DFSG free
Git

Bliss to algorytm z nawrotami (ang. backtracking) do obliczania grup automorfizmów i kanonicznych postaci wykresów, bazujący na indywidualizacji i udoskonalaniu. Jego struktury danych, podprocedury i heurystyka przycinania zostały specjalnie zaprojektowane do szybkiej obsługi dużych i rzadko stosowanych wykresów.

Pakiet zawiera bliss - narzędzie wiersza poleceń.

cohomcalg
sheaf cohomology of line bundles on toric varieties
Versions of package cohomcalg
ReleaseVersionArchitectures
trixie0.32+ds-6amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
sid0.32+ds-6amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
buster0.32+ds-2amd64,arm64,armhf,i386
bullseye0.32+ds-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bookworm0.32+ds-6amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 4 users (3 upd.)*
Versions and Archs
License: DFSG free
Git

The algorithm for the computation of sheaf cohomologies for line bundles on toric varieties presented in "Cohomology of Line Bundles: A Computational Algorithm" by Ralph Blumenhagen, Benjamin Jurke, Thorsten Rahn, and Helmut Roschy has been implemented in a convenient and high-performance C/C++ application called cohomCalg.

The optional cohomCalg Koszul extension serves as a Mathematica 7 frontend and allows for the easy computation of hypersurface and complete intersection cohomologies, following the material presented in "Cohomology of Line Bundles: Applications" by the same authors.

Please cite: Ralph Blumenhagen, Benjamin Jurke, Thorsten Rahn and Helmut Roschy: Cohomology of Line Bundles: A Computational Algorithm. J. Math. Phys. 51 (2010)
coinor-cbc
Program "Coin-or branch-and-cut" do rozwiązywania mieszanych liczb całkowitych
Versions of package coinor-cbc
ReleaseVersionArchitectures
stretch2.8.12-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie2.8.12-1amd64,armel,armhf,i386
buster2.9.9+repack1-1amd64,arm64,armhf,i386
bullseye2.10.5+ds1-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bookworm2.10.8+ds1-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
trixie2.10.12+ds-1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
sid2.10.12+ds-1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
Popcon: 80 users (51 upd.)*
Versions and Archs
License: DFSG free
Git

Cbc (Coin-or branch and cut) to otwartoźródłowy program do rozwiązywania mieszanych liczb całkowitych, napisany w języku C++. Może być używany w roli nadającej się do wywoływania biblioteki lub niezależnego pliku wykonywalnego (programu).

Pakiet zawiera plik wykonywalny cbc.

coinor-csdp
Software package for semidefinite programming (binaries)
Versions of package coinor-csdp
ReleaseVersionArchitectures
bookworm6.2.0-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster6.1.1-1amd64,arm64,armhf,i386
sid6.2.0-5amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
jessie6.1.1-1amd64,armel,armhf,i386
bullseye6.2.0-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
trixie6.2.0-5amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
stretch6.1.1-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Popcon: 10 users (3 upd.)*
Versions and Archs
License: DFSG free
Git

CSDP is a library of routines that implements a predictor corrector variant of the semidefinite programming algorithm of Helmberg, Rendl, Vanderbei, and Wolkowicz. The code runs in parallel on shared memory multi-processor systems, and it makes effective use of sparsity in the constraint matrices.

CSDP is part of the larger COIN-OR initiative (Computational Infrastructure for Operations Research).

This package contains the binaries.

Please cite: Borchers, Brian: CSDP, AC library for semidefinite programming. (eprint) Optimization methods and Software 11(1-4):612-623 (1999)
coinor-libbonmin-dev
COIN-OR mixed integer programming (developer files)
Versions of package coinor-libbonmin-dev
ReleaseVersionArchitectures
sid1.8.9-1.1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
trixie1.8.9-1.1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
bookworm1.8.9-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 1 users (1 upd.)*
Versions and Archs
License: DFSG free
Git

Bonmin (Basic Open-source Nonlinear Mixed INteger programming) is an open-source code for solving general MINLP (Mixed Integer NonLinear Programming) problems.

Bonmin is part of the larger COIN-OR initiative (Computational Infrastructure for Operations Research) and can be used with other COIN-OR packages that make use of cuts, such as the mixed-integer linear programming solver Cbc.

This package contains the header files for developers.

coinor-symphony
COIN-OR solver for mixed-integer linear programs
Versions of package coinor-symphony
ReleaseVersionArchitectures
trixie5.6.17+dfsg-1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
jessie5.6.1-1amd64,armel,armhf,i386
stretch5.6.1-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster5.6.16+repack1-1.1amd64,arm64,armhf,i386
bullseye5.6.16+repack1-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bookworm5.6.17+dfsg-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid5.6.17+dfsg-1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
Popcon: 9 users (2 upd.)*
Versions and Archs
License: DFSG free
Git

SYMPHONY is an open-source generic mixed-integer linear programs (MILP) solver, callable library, and extensible framework for implementing customized solvers SYMPHONY has a number of advanced capabilities, including the ability to solve multi-objective MILPs, the ability to warm start its solution procedure, and the ability to perform basic sensitivity analyses.

SYMPHONY is part of the larger COIN-OR initiative (Computational Infrastructure for Operations Research).

This package contains the symphony executable.

coq
Asystent udowadniania logiki wyższego rzędu (interfejs i kompilator)
Versions of package coq
ReleaseVersionArchitectures
sid8.19.1+dfsg-3amd64,arm64,ppc64el,riscv64,s390x
bookworm8.16.1+dfsg-1amd64,arm64,armhf,i386,ppc64el,s390x
bullseye8.12.0-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el
trixie8.19.1+dfsg-3amd64,arm64,ppc64el,riscv64,s390x
buster8.9.0-1amd64,arm64,armhf,i386
jessie8.4pl4dfsg-1amd64,armel,armhf,i386
stretch8.6-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
upstream8.20.0
Debtags of package coq:
develcompiler
fieldmathematics
interfacecommandline, text-mode
roleprogram
scopeutility
uitoolkitncurses
Popcon: 24 users (50 upd.)*
Newer upstream!
License: DFSG free
Git

Coq jest asystentem udowadniania nadrzędnej logiki, która pozwala na rozwój programów komputerowych zgodnych z ich oficjalną specyfikacją. Został opracowany przy użyciu Objective Caml i Camlp5.

Pakiet zawiera coqtop, interfejs wiersza poleceń do Coq.

Graficzny interfejs do Coq znajduje się w pakiecie coqide. Coq można również stosować z ProofGeneral, który umożliwia edytowanie dowodów przy użyciu emacs i xemacs. W tym celu należy zainstalować pakiet proofgeneral.

The package is enhanced by the following packages: libaac-tactics-ocaml libssreflect-ocaml
cryptominisat
SAT solver command line interface
Versions of package cryptominisat
ReleaseVersionArchitectures
bookworm5.11.4+dfsg1-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid5.11.21+dfsg1-1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
trixie5.11.21+dfsg1-1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
bullseye5.8.0+dfsg1-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
upstream5.11.22
Popcon: 1 users (2 upd.)*
Newer upstream!
License: DFSG free
Git

CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.

This package provides a command line interface which reads SAT formulas in conjunctive normal form in the DIMACS format with the extension of XOR clauses and decides whether they are satisfiable.

eclib-tools
Programs for modular symbols and elliptic curves over Q
Versions of package eclib-tools
ReleaseVersionArchitectures
sid20231212-1.1armel,armhf
jessie2014-09-21-1amd64,armel,armhf,i386
sid20240408-1amd64,arm64,i386,mips64el,ppc64el,riscv64,s390x
stretch20160720-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bookworm20221012-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye20190909-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster20180815-2amd64,arm64,armhf,i386
experimental20240408+commit3c7ea55-1amd64,arm64,i386,mips64el,ppc64el,riscv64,s390x
Popcon: 24 users (33 upd.)*
Versions and Archs
License: DFSG free
Git

This package includes several programs to compute with elliptic curves over Q ; most notably mwrank (for 2-descent on elliptic curves over Q) and the modular symbol tools used to create the elliptic curve database.

eprover
Equational theorem prover
Versions of package eprover
ReleaseVersionArchitectures
sid3.2.0+ds-1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
trixie3.2.0+ds-1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
bookworm2.6+ds-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
upstream3.2.3
Popcon: 3 users (1 upd.)*
Newer upstream!
License: DFSG free
Git

This package provides tools to prove equational theorems: from a mathematical specification in many-sorted first-order logic with equality and an hypothesis/conjecture, it will look for a proof.

Remark of Debian Science team: Removed from Debian

This package was removed from Debian but some versions are available from http://snapshot.debian.org/

Reasons are given here: http://bugs.debian.org/651971

feel++-apps
??? missing short description for package feel++-apps :-(
Versions of package feel++-apps
ReleaseVersionArchitectures
jessie0.99.0-final.1-1amd64,i386
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Svn
fenics
Automated Solution of Differential Equations
Versions of package fenics
ReleaseVersionArchitectures
bookworm0.5.0.1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye2019.2.0.5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid0.8.0.1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
buster2018.1.0.6amd64,arm64,armhf,i386
jessie1.4.0.1all
trixie0.8.0.1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
stretch2016.2.0.1all
Debtags of package fenics:
fieldmathematics
rolemetapackage
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

FEniCS is a collection of free software for automated, efficient solution of differential equations.

FEniCS has an extensive list of features, including automated solution of variational problems, automated error control and adaptivity, a comprehensive library of finite elements, high performance linear algebra and many more.

FEniCS is organized as a collection of interoperable components, including the problem-solving environment DOLFIN, the form compiler FFC, the finite element tabulator FIAT, the just-in-time compiler Instant, the code generation interface UFC, the form language UFL and a range of additional components.

This is a metapackage which depends on all FEniCS components.

This is the legacy version of FEniCS. You may want to consider installing the next-generation FEniCS-X (fenicx package).

flintqs
Program using quadratic sieve to factor integers
Versions of package flintqs
ReleaseVersionArchitectures
sid1.0-4amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
stretch1.0-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster1.0-3amd64,arm64,armhf,i386
bullseye1.0-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bookworm1.0-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
trixie1.0-4amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
Popcon: 24 users (30 upd.)*
Versions and Archs
License: DFSG free
Git

This package includes William Hart's program to find prime factors of large integers (at least forty digits).

It does so using highly optimized multi-polynomial quadratic sieve.

form
Symbolic manipulation system
Versions of package form
ReleaseVersionArchitectures
sid4.3.1+git20240409+ds-2amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
buster4.2.1-1amd64,arm64,armhf,i386
bookworm4.3.0+git20230104+ds-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch4.1-1amd64,i386,mips,mips64el,mipsel
bullseye4.2.1+git20200217-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 3 users (1 upd.)*
Versions and Archs
License: DFSG free
Git

This is a Symbolic Manipulation System. It reads symbolic expressions from files and executes symbolic/algebraic transformations upon them. The answers are returned in a textual mathematical representation. As its landmark feature, the size of the considered expressions in FORM is only limited by the available disk space and not by the available RAM.

fplll-tools
Tools to compute LLL-reduction of Euclidian lattices
Versions of package fplll-tools
ReleaseVersionArchitectures
sid5.4.5-1.1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
stretch5.0.3-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster5.2.1-2amd64,arm64,armhf,i386
bullseye5.4.0-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bookworm5.4.4-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
trixie5.4.5-1.1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
jessie4.0.4-2amd64,armel,armhf,i386
Popcon: 3 users (1 upd.)*
Versions and Archs
License: DFSG free
Git

fpLLL is a library for computing reduced (nearly orthogonal) bases for Euclidean lattices using the floating-point LLL algorithm.

fpLLL contains multiple different implementations of the floating-point LLL reduction algorithm, offering multiple different speed/guarantees ratios.

It contains a 'wrapper' that chooses the estimated best sequence of variants in order to provide a guaranteed output as fast as possible. In the case of the wrapper, the succession of variants is oblivious to the user.

This package contains the base tools using libfplll.

freefem
Język wykorzystujący Metodę Elementów Skończonych do obliczeń PDE
Versions of package freefem
ReleaseVersionArchitectures
buster3.5.8-7amd64,arm64,armhf,i386
stretch3.5.8-5.1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid3.5.8-7amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
trixie3.5.8-7amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
bookworm3.5.8-7amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye3.5.8-7amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
jessie3.5.8-5.1amd64,armel,armhf,i386
Debtags of package freefem:
develinterpreter
fieldphysics
interfacecommandline
roleprogram
scopeutility
Popcon: 9 users (3 upd.)*
Versions and Archs
License: DFSG free
Git

FreeFEM jest językiem przystosowanym do rozwiązywania równań różniczkowych cząstkowych (PDE). Podstawową metodą, którą wykorzystuje jest Metoda Elementów Skończonych. Program jest z powodzeniem wykorzystywany jako narzędzie dydaktyczne, a nawet jako narzędzie do badań.

freefem++
Provides the binaries of the FreeFem++ FE suite
Versions of package freefem++
ReleaseVersionArchitectures
stretch3.47+dfsg1-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
trixie4.14+dfsg-1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
sid4.14+dfsg-1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
jessie3.31-2-1amd64,armel,armhf,i386
buster3.61.1+dfsg1-4amd64,arm64,armhf,i386
bookworm4.11+dfsg1-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
upstream4.14.testActions
Popcon: 4 users (3 upd.)*
Newer upstream!
License: DFSG free
Git

FreeFem++ is an implementation of a language dedicated to the finite element method. It enables you to solve Partial Differential Equations (PDE) easily.

Problems involving PDE from several branches of physics such as fluid-structure interactions require interpolations of data on several meshes and their manipulation within one program. FreeFem++ includes a fast quadtree-based interpolation algorithm and a language for the manipulation of these data on multiple meshes. It contains also a powerful mesh generation and adaption tool integrated seamlessly in FreeFem++ called bamg.

FreeFem++ is written in C++ and the FreeFem++ language is a C++ idiom allowing for a smooth learning curve.

This package contains the executables of FreeFem++.

Please cite: Hecht, F.: New development in FreeFem++. J. Numer. Math. 20(3-4):251-265 (2012)
Screenshots of package freefem++
freefem3d
??? missing short description for package freefem3d :-(
Versions of package freefem3d
ReleaseVersionArchitectures
stretch1.0pre10-3.4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie1.0pre10-3.2amd64,armel,armhf,i386
Debtags of package freefem3d:
develinterpreter
fieldphysics
interfacecommandline
roleprogram
scopeutility
uitoolkitqt
works-with3dmodel
Popcon: 1 users (0 upd.)*
Versions and Archs
License: DFSG free
Svn
freemat
mathematics framework (mostly matlab compatible)
Versions of package freemat
ReleaseVersionArchitectures
stretch4.2+dfsg1-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster4.2+dfsg1-6amd64,arm64,armhf,i386
jessie4.0-5amd64,armel,armhf,i386
Debtags of package freemat:
fieldmathematics
interfacecommandline, x11
roleprogram
scopeapplication
uitoolkitqt
x11application
Popcon: 2 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

FreeMat is a free environment for rapid engineering and scientific prototyping and data processing. It is similar to commercial systems such as MATLAB from Mathworks, and IDL from Research Systems, but is Open Source. FreeMat is available under the GPL license.

Screenshots of package freemat
frobby
Computations with monomial ideals
Versions of package frobby
ReleaseVersionArchitectures
sid0.9.5-4amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
trixie0.9.5-4amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
stretch0.9.0-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster0.9.0-5amd64,arm64,armhf,i386
bullseye0.9.1-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bookworm0.9.5-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 2 users (1 upd.)*
Versions and Archs
License: DFSG free
Git

Frobby is a software system and project for computations with monomial ideals. Frobby is free software and it is intended as a vehicle for computational and mathematical research on monomial ideals.

The current functionality includes Euler characteristic, Hilbert series, maximal standard monomials, combinatorial optimization on monomial ideals, primary decomposition, irreducible decomposition, Alexander dual, associated primes, minimization and intersection of monomial ideals as well as the computation of Frobenius problems (using 4ti2) with very mmlarge numbers. Frobby is also able to translate between formats that can be used with several different computer systems, such as Macaulay 2, Monos, 4ti2, CoCoA4 and Singular. Thus Frobby can be used with any of those systems.

gap
Komputerowy system algebraiczny do grup, algorytmów i programowania
Maintainer: Bill Allombert
Versions of package gap
ReleaseVersionArchitectures
bookworm4.12.1-2all
buster4r10p0-7all
stretch4r8p6-2all
trixie4.13.1-1all
bullseye4.11.0-4all
jessie4r7p5-2all
sid4.13.1-1all
Debtags of package gap:
fieldmathematics
rolemetapackage
Popcon: 7 users (4 upd.)*
Versions and Archs
License: DFSG free

GAP jest systemem do algebry obliczeniowej dyskretnej, ze szczególnym uwzględnieniem teorii grup obliczeniowych. GAP zapewnia język programowania, bibliotekę tysięcy funkcji, które implementują algebraiczne algorytmy napisane w języku GAP, jak również duże biblioteki danych z obiektami algebraicznymi. GAP stosowany jest w dziedzinie badań i nauczania do studiowania grup i ich reprezentacji, pierścieni, przestrzeni wektorowych, algebry, struktur kombinatorycznych itd.

To jest pakiet atrapa, który zależy od standardowych elementów GAP.

gap-character-tables
Biblioteka tabeli znaków do systemu GAP
Maintainer: Bill Allombert
Versions of package gap-character-tables
ReleaseVersionArchitectures
buster1r2p2.dfsg.0-3all
jessie1r2p2.dfsg.0-2all
bullseye1.3.1-1all
bookworm1.3.4-1all
trixie1.3.9-2all
sid1.3.9-2all
stretch1r2p2.dfsg.0-3all
Debtags of package gap-character-tables:
devellibrary
fieldmathematics
roleapp-data
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free

GAP jest systemem do algebry obliczeniowej dyskretnej, ze szczególnym uwzględnieniem teorii grup obliczeniowych. GAP zapewnia język programowania, bibliotekę tysięcy funkcji, które implementują algebraiczne algorytmy napisane w języku GAP, jak również duże biblioteki danych z obiektami algebraicznymi. GAP stosowany jest w dziedzinie badań i nauczania do studiowania grup i ich reprezentacji, pierścieni, przestrzeni wektorowych, algebry, struktur kombinatorycznych itd.

Pakiet zawiera bibliotekę tabeli znaków stworzoną przez Thomasa Breuera.

gap-design
Projekty bloków dla GAP
Versions of package gap-design
ReleaseVersionArchitectures
bookworm1.7+ds-3all
bullseye1.7+ds-2all
sid1.8+ds-2all
trixie1.8+ds-2all
buster1r6+ds-2all
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

GAP to system do obliczeniowej algebry dyskretnej ze szczególnym uwzględnieniem obliczeniowej teorii grup, który okazał się już przydatny także w innych obszarach.

Pakiet zapewnia procedury dla GAP służące do konstruowania, klasyfikowania, dzielenia i badania projektów blokowych.

gap-factint
advanced methods for factoring integers for GAP
Versions of package gap-factint
ReleaseVersionArchitectures
bullseye1.6.3+ds-1all
sid1.6.3+ds-3all
trixie1.6.3+ds-3all
buster1.6.2+ds-1all
bookworm1.6.3+ds-2all
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

GAP is a system for computational discrete algebra with particular emphasis on computational group theory, but which has already proved useful also in other areas.

This package brings to GAP routines for factoring integers, in particular:

  • Pollard's p-1
  • Williams' p+1
  • Elliptic Curves Method (ECM)
  • Continued Fraction Algorithm (CFRAC)
  • Multiple Polynomial Quadratic Sieve (MPQS)

It also provides access to Richard P. Brent's tables of factors of integers of the form b^k +/- 1.

gap-float
multi-precision floating-point computation for GAP
Versions of package gap-float
ReleaseVersionArchitectures
bullseye0.9.1+ds-6amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bookworm1.0.3+ds-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
trixie1.0.5+ds-1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
stretch0.7.4+ds-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie0.6.3+ds-1amd64,armel,armhf,i386
buster0.9.1+ds-4amd64,arm64,armhf,i386
sid1.0.5+ds-1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

GAP is a system for computational discrete algebra with particular emphasis on computational group theory, but which has already proved useful also in other areas.

This GAP package brings to GAP floating-point numbers with arbitrary precision; it is based on MPFR, MPFI, MPC, CXSC, and FPLLL.

gap-grape
GRaph Algorithms using PErmutation groups for GAP
Versions of package gap-grape
ReleaseVersionArchitectures
sid4.9.1+ds-1all
stretch4r7+ds-3all
buster4.8.1+ds-3all
bullseye4.8.3+ds-1all
bookworm4.9.0+ds-1all
trixie4.9.1+ds-1all
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

GAP is a system for computational discrete algebra with particular emphasis on computational group theory, but which has already proved useful also in other areas.

This package implements computing with graphs and groups for GAP. GRAPE is primarily designed for constructing and analysing graphs related to groups, finite geometries, and designs; special emphasis is placed on the determination of regularity properties and subgraph structure.

gap-guava
coding theory library for GAP
Versions of package gap-guava
ReleaseVersionArchitectures
sid3.19+ds-3all
stretch3.13+ds-2all
buster3.14+ds-1all
bullseye3.15+ds-3all
jessie3.12+ds1-2all
bookworm3.17+ds-3all
trixie3.19+ds-3all
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

GAP is a system for computational discrete algebra with particular emphasis on computational group theory, but which has already proved useful also in other areas.

This GAP package brings to GAP computing with error-correcting codes.

gap-laguna
LAGUNA GAP package
Versions of package gap-laguna
ReleaseVersionArchitectures
buster3.9.1+ds-1all
bookworm3.9.5+ds-2all
sid3.9.7+ds-1all
trixie3.9.7+ds-1all
bullseye3.9.3+ds-2all
stretch3.7.0+ds-1all
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

GAP is a system for computational discrete algebra with particular emphasis on computational group theory, but which has already proved useful also in other areas.

LAGUNA stands for `Lie AlGebras and UNits of group Algebras'.

This package provides GAP with functionality for calculation of the normalized unit group of the modular group algebra of the finite p-group and for investigation of Lie algebra associated with group algebras and other associative algebras.

gap-openmath
OpenMath phrasebook for GAP
Versions of package gap-openmath
ReleaseVersionArchitectures
sid11.5.3+ds-2all
stretch11.3.1+ds-2all
buster11.4.2+ds-3all
bullseye11.5.0+ds-2all
bookworm11.5.2+ds-1all
jessie11.2.0+ds-1all
trixie11.5.3+ds-2all
Popcon: 1 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

GAP is a system for computational discrete algebra with particular emphasis on computational group theory, but which has already proved useful also in other areas.

This package allows GAP to import and export mathematical objects encoded in OpenMath, for the purpose of exchanging them with other applications that are OpenMath enabled.

gap-prim-groups
Database of primitive groups for GAP
Maintainer: Bill Allombert
Versions of package gap-prim-groups
ReleaseVersionArchitectures
jessie4r7p3-1all
stretch4r8p5-1all
buster4r8p5-2all
Debtags of package gap-prim-groups:
devellibrary
fieldmathematics
roleapp-data
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free

GAP is a system for computational discrete algebra with particular emphasis on computational group theory, but which has already proved useful also in other areas. In the example text, gap is used to analyse Rubik's Cube using group theory. A kernel implements a Pascal-like language.

This package contains the database of primitive groups.

This is a transitional package. It can be safely removed after the installation is complete.

gap-small-groups
Database of small groups for GAP
Maintainer: Bill Allombert
Versions of package gap-small-groups
ReleaseVersionArchitectures
buster4r8p5-2all
stretch4r8p5-1all
jessie4r7p3-1all
Debtags of package gap-small-groups:
devellibrary
fieldmathematics
roleapp-data
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free

GAP is a system for computational discrete algebra with particular emphasis on computational group theory, but which has already proved useful also in other areas. In the example text, gap is used to analyse Rubik's Cube using group theory. A kernel implements a Pascal-like language.

The Small Groups Library is a catalogue of groups of `small' order. This package contains the groups data and identification routines for groups of order up to 1000 except 512, 768 and groups whose order factorises in at most 3 primes.

Note that data for order 512, 768 and between 1000 and 2000 except 1024 are available separately in the gap-small-groups-extra packages.

This is a transitional package. It can be safely removed after the installation is complete.

gap-small-groups-extra
Large database of small groups for GAP
Maintainer: Bill Allombert
Versions of package gap-small-groups-extra
ReleaseVersionArchitectures
stretch4r8p5-1all
buster4r8p5-2all
jessie4r7p3-1all
Debtags of package gap-small-groups-extra:
devellibrary
fieldmathematics
roleapp-data
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free

GAP is a system for computational discrete algebra with particular emphasis on computational group theory, but which has already proved useful also in other areas. In the example text, gap is used to analyse Rubik's Cube using group theory. A kernel implements a Pascal-like language.

The Small Groups Library is a catalogue of groups of `small' order. This package contains the groups data and identification routines for groups

  • of order at most 2000 except 1024.
  • of cubefree order at most 50 000.
  • of order p^n for n <= 6 and all primes p.
  • of squarefree order.
  • whose order factorises in at most 3 primes.
  • of order q^n * p for q^n dividing 2^8, 3^6, 5^5, 7^4 and p prime different to q

The Small Groups Library provides access to these groups and a method to identify the catalogue number of a given group.

This is a transitional package. It can be safely removed after the installation is complete.

gap-sonata
Systemy Nearrings i ich zastosowania w GAP
Versions of package gap-sonata
ReleaseVersionArchitectures
sid2.9.6+ds-2all
trixie2.9.6+ds-2all
bookworm2.9.6+ds-1all
buster2.9.1+ds-2all
bullseye2.9.1+ds-3all
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

GAP to system do obliczeniowej algebry dyskretnej ze szczególnym uwzględnieniem obliczeniowej teorii grup, który okazał się już przydatny także w innych obszarach.

Pakiet zapewnia metody GAP do budowy i analizy skończonych "bliskich pierścieni" (ang. nearrings).

gap-table-of-marks
GAP TomLib - biblioteka GAP z tablicami znaków
Maintainer: Bill Allombert
Versions of package gap-table-of-marks
ReleaseVersionArchitectures
buster1.2.7-2all
bookworm1.2.9-2all
trixie1.2.11-1all
sid1.2.11-1all
stretch1r2p5-2all
jessie1r2p2-1all
bullseye1.2.9-1all
Debtags of package gap-table-of-marks:
devellibrary
fieldmathematics
roleapp-data
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free

GAP jest skomputeryzowanym systemem algebry dyskretnej, ze szczególnym uwzględnieniem teorii grup obliczeniowych. GAP udostępnia język programowania, bibliotekę z tysiącami funkcji, implementującymi algorytmy algebraiczne napisane w języku GAP, oraz duże biblioteki danych obiektów algebraicznych. GAP jest używany w nauce i edukacji do badania grup i ich reprezentacji, pierścieni, przestrzeni wektorowych, algebry, struktur kombinatorycznych itd.

Pakiet zawiera bibliotekę GAP z tablicami znaków autorstwa L. Naughtona i G. Pfeiffera.

gap-toric
toric variety for GAP
Versions of package gap-toric
ReleaseVersionArchitectures
trixie1.9.6+ds-1all
sid1.9.6+ds-1all
buster1.9.4+ds-1all
bullseye1.9.5+ds-1all
bookworm1.9.5+ds-2all
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

GAP is a system for computational discrete algebra with particular emphasis on computational group theory, but which has already proved useful also in other areas.

This package provides for GAP routines for working with toric varieties and dealing with cones and related combinatorial geometric object.

gap-trans-groups
Database of transitive groups for GAP
Maintainer: Bill Allombert
Versions of package gap-trans-groups
ReleaseVersionArchitectures
stretch4r8p5-1all
buster4r8p5-2all
jessie4r7p3-1all
Debtags of package gap-trans-groups:
devellibrary
fieldmathematics
roleapp-data
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free

GAP is a system for computational discrete algebra with particular emphasis on computational group theory, but which has already proved useful also in other areas. In the example text, gap is used to analyse Rubik's Cube using group theory. A kernel implements a Pascal-like language.

This package contains the database of transitive groups.

This is a transitional package. It can be safely removed after the installation is complete.

geneagrapher
Create tree from Mathematics Genealogy Project (executable)
Versions of package geneagrapher
ReleaseVersionArchitectures
trixie2.0.0-1all
stretch1.0c2+git20120704-2all
buster1.0c2+git20180919-1all
bullseye1.0c2+git20180919-2all
sid2.0.0-1all
bookworm1.0c2+git20220519-1all
Popcon: 4 users (1 upd.)*
Versions and Archs
License: DFSG free
Git

The Mathematics Genealogy Grapher (Geneagrapher) is a software tool to gather the information for building math genealogy trees with data from the Mathematics Genealogy Project. The information extracted is stored in dot file format, which can then be passed to Graphviz to generate a graph.

This package contains the command-line tool.

geogebra
Dynamiczny program matematyczny do edukacji
Versions of package geogebra
ReleaseVersionArchitectures
sid4.0.34.0+dfsg1-9all
buster4.0.34.0+dfsg1-7all
stretch4.0.34.0+dfsg1-3all
jessie4.0.34.0+dfsg1-3all
bullseye4.0.34.0+dfsg1-9all
bookworm4.0.34.0+dfsg1-9all
trixie4.0.34.0+dfsg1-9all
Debtags of package geogebra:
fieldmathematics
interfacex11
roleprogram
scopeapplication
uitoolkitxlib
uselearning
works-withimage, image:raster, image:vector
works-with-formatpng, svg
x11applet, application
Popcon: 161 users (46 upd.)*
Versions and Archs
License: DFSG free
Git

GeoGebra jest dynamicznym programem do geometrii. Za jego pomocą można robić konstrukcje z punktów, wektorów, segmentów, linii, krzywych stożkowych oraz funkcji, a następnie dynamicznie je zmieniać. Natomiast, równania i współrzędne można wprowadzać bezpośrednio.

Program zapewnia obsługę wielu konstrukcji geometrycznych, a także licznych narzędzi bazujących na rachunku różniczkowym (derivatives, osculating circle, itd).

Pliki GeoGebra mogą być eksportowane w różnych formatach lub jako interaktywne aplety na stronach internetowych.

Screenshots of package geogebra
geomview
Interaktywna przeglądarka geometryczna
Versions of package geomview
ReleaseVersionArchitectures
buster1.9.5-2amd64,arm64,armhf,i386
jessie1.9.4-4.1amd64,armel,armhf,i386
stretch1.9.5-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye1.9.5-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bookworm1.9.5-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
trixie1.9.5-4.1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
sid1.9.5-4.1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
Debtags of package geomview:
fieldmathematics
interface3d, x11
roleprogram
scopeapplication
uitoolkitmotif
uselearning, viewing
works-with3dmodel
x11application
Popcon: 54 users (26 upd.)*
Versions and Archs
License: DFSG free
Git

Geomview jest interaktywnym oprogramowaniem geometrycznym, nadającym się głównie do badań naukowych i nauczania matematyki. W szczególności, geomview służy do wyświetlania przedmiotów w przestrzeni sferycznej i hiperbolicznej, a także w przestrzeni euklidesowej.

Geomview obsługuje wiele niezależnie sterowanych obiektów i aparatów fotograficznych. Umożliwia interaktywne sterowanie ruchem, czynnikami zewnętrznymi (w tym oświetleniem, cieniowaniem i materiałami), wybór poziomu edycji - obiektu, krawędzi lub wierzchołków, zapisywanie zdjęć w formacie SGI lub RenderMan RIB, dodawanie i usuwanie obiektów bezpośrednio za pomocą myszy, panelu sterowania i skrótów klawiaturowych. Programy zewnętrzne mogą wprowadzać pożądane aspekty przeglądania (jak na przykład ciągłe wczytywanie zmian geometrycznych lub kontrolowanie ruchu określonych obiektów) jednocześnie umożliwiając interaktywną kontrolę pozostałych rzeczy.

Screenshots of package geomview
gerris
Fluid Flow Solver
Versions of package gerris
ReleaseVersionArchitectures
stretch20131206+dfsg-17amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie20131206+dfsg-5amd64,armel,armhf,i386
bullseye20131206+dfsg-19amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster20131206+dfsg-18amd64,arm64,armhf,i386
sid20131206+dfsg-19.1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
bookworm20131206+dfsg-19amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Debtags of package gerris:
fieldmathematics, physics
roleprogram
Popcon: 13 users (3 upd.)*
Versions and Archs
License: DFSG free
Git

Gerris is a system for the solution of the partial differential equations describing fluid flow.

A brief summary of its main (current) features:

  • Solves the time-dependent incompressible variable-density Euler, Stokes or Navier-Stokes equations
  • Adaptive mesh refinement: the resolution is adapted dynamically to the features of the flow
  • Entirely automatic mesh generation in complex geometries
  • Second-order in space and time
  • Unlimited number of advected/diffused passive tracers
  • Flexible specification of additional source terms
  • Portable parallel support using the MPI library
  • Volume of Fluid advection scheme for interfacial flows

This package has MPI support built in.

getdp
general environment for the treatment of discrete problems
Versions of package getdp
ReleaseVersionArchitectures
bookworm3.2.0+dfsg1-1.1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye3.2.0+dfsg1-1.1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid3.5.0+dfsg1-2amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
trixie3.5.0+dfsg1-2amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
stretch2.9.2+dfsg1-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster3.0.4+dfsg1-1amd64,arm64,armhf,i386
Popcon: 2 users (3 upd.)*
Versions and Archs
License: DFSG free
Git

GetDP is a general finite element solver using mixed elements to discretize de Rham-type complexes in one, two and three dimensions.

The main feature of GetDP is the closeness between the input data defining discrete problems (written by the user in ASCII data files) and the symbolic mathematical expressions of these problems.

See GetDP's reference manual for a more thorough overview of GetDP's capabilities: http://www.geuz.org/getdp

Please cite: P. Dular, C. Geuzaine, A. Genon and W. Legros: An evolutive software environment for teaching finite element methods in electromagnetism. IEEE Transactions on Magnetics 35(3):1682 - 1685 (1999)
gfan
program for computing with Groebner fans
Versions of package gfan
ReleaseVersionArchitectures
buster0.6.2-2amd64,arm64,armhf,i386
bullseye0.6.2-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bookworm0.6.2-6amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
trixie0.6.2-7amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
sid0.6.2-7armel,armhf,i386
sid0.7-1amd64,arm64,mips64el,ppc64el,riscv64,s390x
jessie0.5+dfsg-5amd64,armel,armhf,i386
stretch0.5+dfsg-6amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Popcon: 29 users (37 upd.)*
Versions and Archs
License: DFSG free
Git

Gfan is a software package for computing Groebner fans and tropical varieties. These are polyhedral fans associated to polynomial ideals. The maximal cones of a Groebner fan are in bijection with the marked reduced Groebner bases of its defining ideal. The software computes all marked reduced Groebner bases of an ideal. Their union is a universal Groebner basis. The tropical variety of a polynomial ideal is a certain subcomplex of the Groebner fan. Gfan contains algorithms for computing this complex for general ideals and specialized algorithms for tropical curves, tropical hypersurfaces and tropical varieties of prime ideals. In addition to the above core functions the package contains many tools which are useful in the study of Groebner bases, initial ideals and tropical geometry. Among these are an interactive traversal program for Groebner fans and programs for graphical renderings.

For ordinary Groebner basis computations Gfan is not competitive in speed compared to programs such as CoCoA, Singular and Macaulay2.

Screenshots of package gfan
ginac-tools
Narzędzia do obsługi symbolicznej infrastruktury GiNaC
Versions of package ginac-tools
ReleaseVersionArchitectures
buster1.7.5-1amd64,arm64,armhf,i386
jessie1.6.2-1amd64,armel,armhf,i386
bullseye1.8.0-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bookworm1.8.6-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
trixie1.8.7-1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
sid1.8.7-1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
stretch1.7.2-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Debtags of package ginac-tools:
devellang:c++
fieldmathematics
interfaceshell, text-mode
roleprogram
scopeutility
uitoolkitncurses
useviewing
Popcon: 9 users (34 upd.)*
Versions and Archs
License: DFSG free

GiNaC (skrót od "GiNaC is Not a CAS (Computer Algebra System)") to biblioteka do wykonywania obliczeń symbolicznych (czyli nienumerycznych) bezpośrednio w języku programowania C++.

Pakiet zawiera kilka dodatkowych narzędzi, takich jak popularny ginsh (powłoka interaktywna GiNaC) i viewgar (do sprawdzania plików archiwum GiNaC).

gmsh
Program do tworzenia trójwymiarowych siatek przestrzennych do metody elementów skończonych
Versions of package gmsh
ReleaseVersionArchitectures
stretch2.15.0+dfsg1-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie2.8.5+dfsg-1.1amd64,armel,armhf,i386
sid4.13.1+ds1-2amd64,arm64,mips64el,ppc64el,riscv64,s390x
sid4.12.2+ds1-2armel,armhf,i386
trixie4.12.2+ds1-2amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
bookworm4.8.4+ds2-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye4.7.1+ds1-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster4.1.5+really4.1.3+ds1-1amd64,arm64,armhf,i386
experimental4.13.1+ds1-1~exp1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
Debtags of package gmsh:
interfacex11
roleprogram
scopeapplication
useediting
works-with3dmodel
x11application
Popcon: 66 users (37 upd.)*
Versions and Archs
License: DFSG free
Git

Gmsh jest programem generującym trójwymiarowe siatki do metody elementów skończonych z wbudowanym silnikiem CAD i procesorem końcowym. Celem projektu jest zapewnienie szybkiego, lekkiego i łatwego w obsłudze narzędzia do tworzenia siatek z parametrycznym wejściem i zaawansowanymi funkcjami wizualizacji. Gmsh opiera się na czterech modułach: geometry, mesh, solver i post-processing. Określanie wszelkich danych wejściowych do tych modułów odbywa się zarówno interaktywnie za pomocą graficznego interfejsu użytkownika, jak i w plikach tekstowych ASCII przy użyciu własnego języka skryptowego Gmsh.

Więcej informacji na temat możliwości programu Gmsh można znaleźć w jego podręczniku użytkownika.

Please cite: C. Geuzaine and J.-F. Remacle: Gmsh: a three-dimensional finite element mesh generator with built-in pre- and post-processing facilities. (eprint) International Journal for Numerical Methods in Engineering 79(11):1309-1331 (2009)
Screenshots of package gmsh
graphviz
rich set of graph drawing tools
Versions of package graphviz
ReleaseVersionArchitectures
jessie2.38.0-7amd64,armel,armhf,i386
trixie2.42.4-2amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
stretch2.38.0-17amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
experimental12.1.2-1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
stretch-security2.38.0-17+deb9u1amd64,arm64,armel,armhf,i386
bookworm2.42.2-7+deb12u1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye2.42.2-5+deb11u1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster2.40.1-6+deb10u1amd64,arm64,armhf,i386
sid2.42.4-2amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
buster-security2.40.1-6+deb10u1amd64,arm64,armhf,i386
upstream12.1.2
Debtags of package graphviz:
fieldmathematics
interfacecommandline, x11
roleprogram
sciencevisualisation
scopeutility
uitoolkitathena, tk
useviewing
works-withgraphs, image, image:raster, image:vector
x11application
Popcon: 13920 users (12056 upd.)*
Newer upstream!
License: DFSG free

Graph drawing addresses the problem of visualizing structural information by constructing geometric representations of abstract graphs and networks. Automatic generation of graph drawings has important applications in key technologies such as database design, software engineering, VLSI and network design and visual interfaces in other domains. Situations where these tools might be particularly useful include:

  • you would like to restructure a program and first need to understand the relationships between its types, procedures, and source files
  • you need to find the bottlenecks in an Internet backbone - not only individual links, but their relationships
  • you're debugging a protocol or microarchitecture represented as a finite state machine and need to figure out how a certain error state arises
  • you would like to browse a database schema, knowledge base, or distributed program represented graphically
  • you would like to see an overview of a collection of linked documents
  • you would like to discover patterns and communities of interest in a database of telephone calls or e-mail messages

This package contains the command-line tools.

Screenshots of package graphviz
hol-light
HOL Light theorem prover
Versions of package hol-light
ReleaseVersionArchitectures
sid20231021-2amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
bookworm20230128-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch20170109-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie20131026-1amd64,armel,armhf,i386
bullseye20190729-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 1 users (1 upd.)*
Versions and Archs
License: DFSG free
Git

HOL Light is an interactive theorem prover for Higher-Order Logic with a very simple logical core running in an OCaml toplevel. HOL Light is famous for the verification of floating-point arithmetic as well as for the Flyspeck project, which aimed at the formalization of Tom Hales' proof of the Kepler conjecture.

julia
Język programowania o wysokiej wydajności stworzony dla obliczeń technicznych
Versions of package julia
ReleaseVersionArchitectures
jessie0.3.2-2amd64,i386
buster1.0.3+dfsg-4amd64,arm64,armhf,i386
stretch0.4.7-6amd64,arm64,armhf,i386,mips64el,ppc64el
bullseye1.5.3+dfsg-3amd64,arm64,armhf,i386,ppc64el
Debtags of package julia:
uitoolkitncurses
Popcon: 39 users (1 upd.)*
Versions and Archs
License: DFSG free
Git

Julia jest wysokopoziomowym, dynamicznym językiem programowania o wysokiej wydajności, stworzonym dla obliczeń technicznych, o składni przypominającej języki używane w innych technicznych środowiskach obliczeniowych. Julia dostarcza rewelacyjny kompilator, umożliwia rozproszone równoległe wykonywanie programów, zapewnia numeryczną dokładność i zawiera obszerną bibliotekę funkcji matematycznych. Biblioteka, w większości napisana w samej Julii, zawiera również dojrzałe, najlepszej jakości biblioteki w C oraz Fortranie służące do przeprowadzania obliczeń algebry liniowej, generowania liczb losowych, wyznaczania transformacji Fouriera oraz przetwarzania tekstu. Programy w Julii opierają się o definiowanie funkcji oraz przeciążanie ich dla różnych kombinacji typów argumentów (które również mogą być definiowane przez użytkownika).

Ten pakiet dostarcza pełną instalację środowiska Julia (kompilator JIT, bibliotekę standardową, interfejs tekstowy).

lcalc
Program obliczeniowy do L-funkcji
Versions of package lcalc
ReleaseVersionArchitectures
stretch1.23+dfsg-6amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster1.23+dfsg-11amd64,arm64,armhf,i386
bullseye1.23+dfsg-11amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bookworm2.0.5-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
trixie2.0.5-1.1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
sid2.0.5-1.1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
jessie1.23+dfsg-3amd64,armel,armhf,i386
Debtags of package lcalc:
roleprogram
Popcon: 32 users (61 upd.)*
Versions and Archs
License: DFSG free
Git

Lcalc to program do obliczania zer i wartości L-funkcji (L-functions). Obsługiwane są następujące L-funkcje: funkcje zeta Riemanna, funkcje delta Ramanujana oraz funkcje krzywych eliptycznych określanych przez wymierne.

libjgrapht-java
Java library of graph theory data structures and algorithms
Versions of package libjgrapht-java
ReleaseVersionArchitectures
trixie1.5.2-1all
bookworm1.5.1-3all
sid1.5.2-1all
Popcon: 1 users (2 upd.)*
Versions and Archs
License: DFSG free
Git

JGraphT is a free Java class library that provides mathematical graph-theory objects and algorithms. In JGraphT, a graph is defined as a set of vertices connected by a set of edges.

It is possible to define graphs, to modify, compare or generate them, to run many algorithms through them. One may also import or export graphs.

libmatheval1
GNU library for evaluating symbolic mathematical expressions (runtime)
Versions of package libmatheval1
ReleaseVersionArchitectures
sid1.1.11+dfsg-5amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
trixie1.1.11+dfsg-5amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
bookworm1.1.11+dfsg-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye1.1.11+dfsg-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster1.1.11+dfsg-3amd64,arm64,armhf,i386
stretch1.1.11+dfsg-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie1.1.11+dfsg-2amd64,armel,armhf,i386
Debtags of package libmatheval1:
devellang:c, library
fieldmathematics
roledevel-lib, shared-lib
suitegnu
Popcon: 2 users (1 upd.)*
Versions and Archs
License: DFSG free
Git

GNU libmatheval is a library comprising of several procedures that make it possible to create an in-memory tree representation of mathematical functions over single or multiple variables and later use this representation to evaluate functions for specified variable values, to create corresponding trees for function derivatives over specified variables or to print textual representations of in-memory trees to a specified string. The library supports arbitrary variable names in expressions, decimal constants, basic unary and binary operators and elementary mathematical functions.

This package contains the runtime shared library.

lp-solve
Solve (mixed integer) linear programming problems
Versions of package lp-solve
ReleaseVersionArchitectures
sid5.5.2.11-2amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
trixie5.5.2.11-2amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
bookworm5.5.2.5-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye5.5.2.5-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster5.5.0.15-4amd64,arm64,armhf,i386
stretch5.5.0.15-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie5.5.0.13-7amd64,armel,armhf,i386
Debtags of package lp-solve:
fieldmathematics
roleprogram
scopeapplication
Popcon: 3987 users (19341 upd.)*
Versions and Archs
License: DFSG free

The linear programming (LP) problem can be formulated as: Solve A.x >= V1, with V2.x maximal. A is a matrix, x is a vector of (nonnegative) variables, V1 is a vector called the right hand side, and V2 is a vector specifying the objective function.

An integer linear programming (ILP) problem is an LP with the constraint that all the variables are integers. In a mixed integer linear programming (MILP) problem, some of the variables are integer and others are real.

The program lp_solve solves LP, ILP, and MILP problems. It is slightly more general than suggested above, in that every row of A (specifying one constraint) can have its own (in)equality, <=, >= or =. The result specifies values for all variables.

lp_solve uses the 'Simplex' algorithm and sparse matrix methods for pure LP problems. If one or more of the variables is declared integer, the Simplex algorithm is iterated with a branch and bound algorithm, until the desired optimal solution is found. lp_solve can read MPS format input files.

lrcalc
Programy do obliczania współczynników Littlewooda-Richardsona
Versions of package lrcalc
ReleaseVersionArchitectures
jessie1.2-1amd64,armel,armhf,i386
experimental2.1-2amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
stretch1.2-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster1.2-2amd64,arm64,armhf,i386
trixie1.2-2.1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
bookworm1.2-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye1.2-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid1.2-2.1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
upstream2.1
Popcon: 2 users (1 upd.)*
Newer upstream!
License: DFSG free
Git

"Littlewood-Richardson Calculator" ("Kalkulator Littlewooda-Richardsona") to pakiet złożony z programów napisanych w języku C do obliczania współczynników Littlewooda-Richardsona, zapewniający szybkie obliczanie pojedynczych współczynników LR, produktów funkcji Schura i funkcji skew Schura. Jego interfejs korzysta z tej samej notacji co pakiet SF Johna Stembridge, aby ułatwić korzystanie z obu pakietów w tym samym czasie.

Pakiet zawiera programy wiersza poleceń.

lrslib
package to enumerate vertices and extreme rays of a convex polyhedron
Maintainer: David Bremner
Versions of package lrslib
ReleaseVersionArchitectures
bullseye0.71a-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid0.73-2amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
jessie0.43-1amd64,armel,armhf,i386
stretch0.51-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bookworm0.71b-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster0.70-3amd64,arm64,armhf,i386
trixie0.73-2amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
Debtags of package lrslib:
roleprogram
Popcon: 8 users (6 upd.)*
Versions and Archs
License: DFSG free
Git

A convex polyhedron is the set of points satisfying a finite family of linear inequalities. The study of the vertices and extreme rays of such systems is important and useful in e.g. mathematics and optimization. In a dual interpretation, finding the vertices of a (bounded) polyhedron is equivalent to finding the convex hull (bounding inequalities) of an (arbitrary dimensional) set of points. Lrs (lexicographic reverse search) has two important features that can be very important for certain applications: it works in exact arithmetic, and it consumes memory proportional to the input, no matter how large the output is.

macaulay2
Software system for algebraic geometry research
Versions of package macaulay2
ReleaseVersionArchitectures
bullseye1.17.1+ds-2amd64,arm64,armel,armhf,i386,mips64el,ppc64el,s390x
trixie1.24.05+ds-5amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
bookworm1.21+ds-3amd64,arm64,armel,armhf,i386,mips64el,ppc64el,s390x
sid1.24.05+ds-5amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
Popcon: 6 users (7 upd.)*
Versions and Archs
License: DFSG free
Git

Macaulay 2 is a software system for algebraic geometry research, written by Daniel R. Grayson and Michael E. Stillman. Based on Groebner bases, it provides algorithms for computing homological invariants of rings and modules.

This package contains the architecture dependent portion of Macaulay2.

Please cite: Daniel R. Grayson and Michael E. Stillman: Macaulay2, a software system for research in algebraic geometry.
magnus
Very simple screen magnifier
Versions of package magnus
ReleaseVersionArchitectures
trixie1.0.3-4all
bullseye1.0.3-3all
sid1.0.3-4all
bookworm1.0.3-3all
Popcon: 41 users (5 upd.)*
Versions and Archs
License: DFSG free
Git

Magnus is a simple screen magnifying glass. It nicely integrates with X11 desktops like MATE or Xfce (probably with others not named here, too).

Visually impaired users may find this tool helpful for zooming into certain screen areas in order to improve readability/visibilty of fonts, icons and other data.

Screenshots of package magnus
mathicgb
Compute Groebner bases (command line tool)
Versions of package mathicgb
ReleaseVersionArchitectures
sid1.0~git20240206-1.1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
stretch1.0~git20170104-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el
bullseye1.0~git20200526-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
trixie1.0~git20240206-1.1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
bookworm1.0~git20220621-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 3 users (1 upd.)*
Versions and Archs
License: DFSG free
Git

Mathicgb is a program for computing Groebner basis and signature Groebner bases. Mathicgb is based on the fast data structures from mathic.

The paper "Practical Groebner Basis Computation" describes the algorithms in Mathicgb from a high level. It was presented at ISSAC 2012 and is available at http://arxiv.org/abs/1206.6940

This package contains the command line tool.

Please cite: Bjarke Hammersholt Roune and Michael Stillman: Practical Groebner Basis Computation. (eprint) Proceedings of the International Symposium on Symbolic and Algebraic Computation (2012)
mathomatic
portable Computer Algebra System (CAS)
Maintainer: tony mancill
Versions of package mathomatic
ReleaseVersionArchitectures
bookworm16.0.5-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster16.0.5-1amd64,arm64,armhf,i386
sid16.0.5-5amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
jessie15.8.2-2amd64,armel,armhf,i386
stretch15.8.2-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye16.0.5-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
trixie16.0.5-5amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
Debtags of package mathomatic:
fieldmathematics
interfacetext-mode
roleprogram
scopeapplication
uitoolkitncurses
usecalculating, learning
Popcon: 26 users (2 upd.)*
Versions and Archs
License: DFSG free
Git

Mathomatic implements most of the rules of algebra for the mathematical operators +, -, *, /, % (modulus), and power (including roots).

Mathomatic can symbolically:

  • combine and solve equations,
  • completely simplify and compare expressions and equations,
  • do simple calculus transformations and series,
  • do standard, complex number, modular, and polynomial arithmetic,
  • generate optimized C, Java, and Python language code from simplified equations,
  • plot expressions with gnuplot in two or three dimensions,
  • do quick calculations, colorize expressions, etc.
matita
??? missing short description for package matita :-(
Versions of package matita
ReleaseVersionArchitectures
stretch0.99.3-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie0.99.1-3amd64,armel,armhf,i386
Debtags of package matita:
fieldmathematics
interfacecommandline, x11
roleprogram
uitoolkitgtk
usechecking
x11application
Popcon: 2 users (0 upd.)*
Versions and Archs
License: DFSG free
Git
Screenshots of package matita
maxima-sage
Computer algebra system -- base system
Versions of package maxima-sage
ReleaseVersionArchitectures
stretch5.35.1-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster5.41.0+ds-4amd64,arm64,armhf,i386
bullseye5.44.0-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bookworm5.45.1-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
trixie5.45.1-2amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
sid5.45.1-2amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
upstream5.47.0
Popcon: 41 users (33 upd.)*
Newer upstream!
License: DFSG free
Git

Maxima is a fully symbolic computation program. It is full featured doing symbolic manipulation of polynomials, matrices, rational functions, integration, Todd-coxeter methods for finite group analysis, graphing, multiple precision floating point computation. It has a symbolic source level debugger for maxima code. Maxima is based on the original Macsyma developed at MIT in the 1970s. It is quite reliable, and has good garbage collection, and no memory leaks. It comes with hundreds of self tests.

The maxima-sage packages are meant to be used together with SageMath. They contain the version of Maxima that works together with the SageMath version in Debian and use ECL instead of GCL as Lisp compiler. To use Maxima by itself, the more complete and up-to-date maxima package is recommended.

This package contains the main executables and base system files.

mcl
Algorytm klastrów Markowa
Versions of package mcl
ReleaseVersionArchitectures
bullseye14-137+ds-9amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
jessie14-137-1amd64,armel,armhf,i386
stretch14-137-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bookworm22-282+ds-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
trixie22-282+ds-2amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
sid22-282+ds-2amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
buster14-137+ds-3amd64,arm64,armhf,i386
Debtags of package mcl:
fieldmathematics
roleprogram
Popcon: 8 users (4 upd.)*
Versions and Archs
License: DFSG free
Git

Pakiet MCL stanowi implementację algorytmu MCL, oferując narzędzia do przetwarzania macierzy rzadkich (głównych struktur danych algorytmu MCL) oraz przeprowadzania prób klasteryzacyjnych.

MCL używany jest aktualnie w biologii (rozpoznawanie rodzajów białek, genetyka), informatyce (klasyfikacja węzłów w sieciach o łączach bezpośrednich) i lingwistyce (analiza tekstu).

The package is enhanced by the following packages: zoem
Please cite: Stijn van Dongen and Cei Abreu-Goodger: Using MCL to extract clusters from networks. (PubMed,eprint) Methods Mol Biol. 804:281-95 (2012)
Registry entries: Bio.tools 
minisat
Fast and lightweight SAT solver
Maintainer: Michael Tautschnig
Versions of package minisat
ReleaseVersionArchitectures
buster2.2.1-5amd64,arm64,armhf,i386
sid2.2.1-8amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
trixie2.2.1-8amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
bookworm2.2.1-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye2.2.1-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch2.2.1-5amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie2.2.1-5amd64,armel,armhf,i386
Debtags of package minisat:
fieldmathematics
roleprogram
Popcon: 120 users (253 upd.)*
Versions and Archs
License: DFSG free

Despite the NP completeness of the satisfiability problem of Boolean formulas (SAT), SAT solvers are often able to decide this problem in a reasonable time frame. As all other NP complete problems are reducible to SAT, the solvers have become a general purpose tool for this class of problems.

MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT. Winning all the industrial categories of the SAT 2005 competition, MiniSat is a good starting point both for future research in SAT, and for applications using SAT.

model-builder
graphical ODE simulator
Maintainer: Varun Hiremath (Olly Betts)
Versions of package model-builder
ReleaseVersionArchitectures
jessie0.4.1-6.2all
buster0.4.1-6.2all
stretch0.4.1-6.2all
Debtags of package model-builder:
roleprogram
Popcon: 1 users (0 upd.)*
Versions and Archs
License: DFSG free
Svn

Model Builder is a graphical tool for designing, simulating and analyzing Mathematical model consisting of a system of ordinary differential equations(ODEs).

mumps-test
Example/test binaries using MUMPS
Versions of package mumps-test
ReleaseVersionArchitectures
bullseye5.3.5-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
trixie5.7.3-2amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
sid5.7.3-2amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
jessie4.10.0.dfsg-3amd64,armel,armhf,i386
stretch4.10.0.dfsg-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bookworm5.5.1-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster5.1.2-4amd64,arm64,armhf,i386
Popcon: 1 users (1 upd.)*
Versions and Archs
License: DFSG free
Git

MUMPS implements a direct solver for large sparse linear systems, with a particular focus on symmetric positive definite matrices. It can operate on distributed matrices e.g. over a cluster. It has Fortran and C interfaces, and can interface with ordering tools such as Scotch.

nauty
library for graph automorphisms -- interface and tools
Versions of package nauty
ReleaseVersionArchitectures
buster2.6r10+ds-1amd64,arm64,armhf,i386
bullseye2.7r1+ds-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch2.6r7+ds-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bookworm2.8.6+ds-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
trixie2.8.9+ds-1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
jessie2.5r9+ds-1 (non-free)amd64,i386
sid2.8.9+ds-1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
Debtags of package nauty:
interfacecommandline
roleprogram
Popcon: 46 users (60 upd.)*
Versions and Archs
License: DFSG free
Git

nauty (No AUTomorphisms, Yes?) is a set of procedures for computing automorphism groups of graphs and digraphs. This mathematical software suite is developed by Brendan McKay and Adolfo Piperno: http://pallini.di.uniroma1.it

nauty computes graph information in the form of a set of generators, the size of the group, and the orbits of the group; it can also produce a canonical label. The nauty suite is written in C and comes with a command-line interface, a collection of command-line tools, and an Application Programming Interface (API).

This package provides the nauty interface named dreadnaut, and a small collection of utilities called gtools.

The package is enhanced by the following packages: nauty-doc
Please cite: B.D. McKay and A. Piperno: Practical graph isomorphism, II. Journal of Symbolic Computation 60(0):94 - 112 (2014)
netgen
Automatyczny generator trójwymiarowych, czworościennych siatek
Versions of package netgen
ReleaseVersionArchitectures
buster6.2.1804+dfsg1-3amd64,arm64,armhf,i386
sid6.2.2404+dfsg1-4amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
bullseye6.2.2006+really6.2.1905+dfsg-2.1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
trixie6.2.2404+dfsg1-4amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
bookworm6.2.2006+really6.2.1905+dfsg-5.1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
upstream6.2.2405
Debtags of package netgen:
roleprogram
Popcon: 10 users (20 upd.)*
Newer upstream!
License: DFSG free
Git

Netgen jest automatycznym generatorem trójwymiarowych, czworościennych siatek. Akceptuje on dane wejściowe z CSG (Constructive Solid Geometry) lub BRep (Boundary Representation) z plików w formacie STL. Netgen zawiera moduły do optymalizowania i hierarchicznego udoskonalania siatki.

Screenshots of package netgen
normaliz
Narzędzia matematyczne do obliczania monoidów afinicznych, wymiernych wielotopów i stożków
Versions of package normaliz
ReleaseVersionArchitectures
bullseye3.8.9+ds-0.1all
bookworm3.9.4+ds-2all
stretch3.1.1+ds-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid3.10.4+ds-1all
trixie3.10.4+ds-1all
buster3.6.3+ds-1amd64,arm64,armhf,i386
Popcon: 5 users (7 upd.)*
Versions and Archs
License: DFSG free
Git

Normaliz to narzędzie matematyczne do obliczeń monoidów afinicznych, konfiguracji wektorowych, wielotopów kratowych i stożków wymiernych.

Ten pakiet atrapa zapewnia standardową instalację.

octave
Język GNU Octave do obliczeń numerycznych
Versions of package octave
ReleaseVersionArchitectures
stretch-backports4.4.0-3~bpo9+1s390x
jessie3.8.2-4amd64,armel,armhf,i386
bookworm7.3.0-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye6.2.0-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
trixie9.2.0-3amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
sid9.2.0-3amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
stretch4.0.3-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster-backports5.2.0-3~bpo10+1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch-backports4.4.1-4~bpo9+1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el
buster4.4.1-5amd64,arm64,armhf,i386
Debtags of package octave:
fieldmathematics
roleprogram
suitegnu
Popcon: 582 users (160 upd.)*
Versions and Archs
License: DFSG free
Git

Octave to (głównie kompatybilny z MATLAB®) język wysokiego poziomu, przeznaczony zwłaszcza do obliczeń numerycznych. Zapewnia on wygodny interfejs wiersza poleceń do rozwiązywania liniowych oraz nieliniowych zadań metodami numerycznymi.

Octave może być dynamicznie rozszerzony o dostarczone przez użytkownika pliki C++.

The package is enhanced by the following packages: liboctave-dev octave-dev octave-doc
Please cite: John W. Eaton, David Bateman, Søren Hauberg and Rik Wehbring: GNU Octave version 4.2.0 manual: a high-level interactive language for numerical computations. (2016)
Registry entries: SciCrunch 
palp
Pakiet do analizy wielotopów kratowych
Versions of package palp
ReleaseVersionArchitectures
trixie2.21-1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
sid2.21-1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
bullseye2.20-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
jessie2.1-2amd64,armel,armhf,i386
bookworm2.20-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch2.1-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster2.1-5amd64,arm64,armhf,i386
Debtags of package palp:
roleprogram
useanalysing
Popcon: 47 users (51 upd.)*
Versions and Archs
License: DFSG free
Git

Pakiet zawiera różne narzędzia do pracy z wielotopami kratowymi:

  • mori.x oblicza triangulacje gwiazdowe wielotopu;
  • cws.x tworzy systemy wagowe oraz kombinowane systemy wagowe;
  • class.x klasyfikuje wielotopy refleksyjne;
  • poly.x oblicza dane wielotopu;
  • nef.x oblicza liczby Hodge'a dla partycji nef.
Please cite: Maximilian Kreuzer and Harald Skarke: PALP: A Package for Analyzing Lattice Polytopes with Applications to Toric Geometry. Computer Physics Communications 157:87-106 (2004)
Screenshots of package palp
pari-gp
PARI/GP Computer Algebra System binaries
Maintainer: Bill Allombert
Versions of package pari-gp
ReleaseVersionArchitectures
buster2.11.1-2amd64,arm64,armhf,i386
sid2.17.0-2amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
trixie2.15.5-1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
bookworm-backports2.15.4-2~bpo12+1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bookworm2.15.2-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye-backports-sloppy2.15.4-2~bpo11+1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch2.9.1-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye-backports2.15.2-1~bpo11+1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye2.13.1-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch-backports2.11.1-2~bpo9+1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster-backports2.13.1-1~bpo10+1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie2.7.2-1amd64,armel,armhf,i386
Debtags of package pari-gp:
fieldmathematics
roledocumentation
uitoolkitncurses
Popcon: 70 users (74 upd.)*
Versions and Archs
License: DFSG free

PARI/GP is a widely used computer algebra system designed for fast computations in number theory (factorizations, algebraic number theory, elliptic curves...), but also contains a large number of other useful functions to compute with mathematical entities such as matrices, polynomials, power series, algebraic numbers etc., and a lot of transcendental functions. PARI is also available as a C library to allow for faster computations.

Originally developed by Henri Cohen and his co-workers (University Bordeaux I, France), PARI is now under the GPL and maintained by Karim Belabas with the help of many volunteer contributors.

This package contains the GP calculator.

persalys
GUI for uncertainty treatment and variabilities management
Versions of package persalys
ReleaseVersionArchitectures
bookworm13.1.1+ds-1amd64,arm64,mips64el,ppc64el,s390x
sid16.1+ds-1amd64,arm64,mips64el,ppc64el,riscv64,s390x
trixie16.1+ds-1amd64,arm64,mips64el,ppc64el,riscv64,s390x
Popcon: 3 users (2 upd.)*
Versions and Archs
License: DFSG free
Git

Persalys is a graphical user interface for OpenTURNS, dedicated to the treatment of uncertainty and the management of variabilities. The software is a tool between the computer simulation, probabilistic analyses and the data sciences. The interface is available in French or in English.

Persalys allows one to:

  • create mathematical models: analytical, coupling with an external model (finite elements, ...), FMU;
  • analyse the variability of one's parameters thanks to many methods and visualisation tools;
  • statistically analyse one's measuring data, infer probability distributions or create metamodels.
phcpack
general-purpose solver for polynomial systems (command line)
Versions of package phcpack
ReleaseVersionArchitectures
bookworm2.4.86+dfsg-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid2.4.90+dfsg-1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
trixie2.4.90+dfsg-1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
Popcon: 7 users (10 upd.)*
Versions and Archs
License: DFSG free
Git

PHCpack is a software package to solve polynomial systems by homotopy continuation methods.

A polynomial system is given as a sequence of polynomials in several variables. Homotopy continuation methods operate in two stages. In the first stage, a family of polynomial systems (the so-called homotopy) is constructed. This homotopy contains a polynomial system with known solutions. In the second stage, numerical continuation methods are applied to track the solution paths defined by the homotopy, starting at the known solutions and leading to the solutions of the given polynomial system.

This package contains the command line interface to PHCpack.

Please cite: Verschelde, Jan: Algorithm 795: PHCpack: A general-purpose solver for polynomial systems by homotopy continuation ACM Trans. Math. Software 25(2):251-276 (1999)
planarity
Program for planarity-related graph algorithms
Versions of package planarity
ReleaseVersionArchitectures
stretch3.0.0.5-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bookworm3.0.2.0-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye3.0.1.0-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster3.0.0.5-3amd64,arm64,armhf,i386
sid3.0.2.0-2.1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
trixie3.0.2.0-2.1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
Popcon: 19 users (33 upd.)*
Versions and Archs
License: DFSG free
Git

This package contains a command-line reference implementation of the Edge Addition Planarity Algorithm, which is the best linear-time method to embed a planar graph and isolate planarity obstructions.

polylib-utils
Różne narzędzia korzystające z libpolylib
Versions of package polylib-utils
ReleaseVersionArchitectures
buster5.22.5-4+dfsgamd64,arm64,armhf,i386
stretch5.22.5-3+dfsgamd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie5.22.5-3+dfsgamd64,armel,armhf,i386
sid5.22.5-4.2+dfsgamd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
trixie5.22.5-4.2+dfsgamd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
bookworm5.22.5-4+dfsgamd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye5.22.5-4+dfsgamd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Debtags of package polylib-utils:
roleprogram
Popcon: 2 users (1 upd.)*
Versions and Archs
License: DFSG free
Git

Polylib to darmowa biblioteka C, służąca do wykonywania obliczeń na wielościanach. Biblioteka ta operuje na obiektach takich jak: wektory, macierze, siatki, wielościany, Z-wielościany, związki wielościanów oraz na innych strukturach pośrednich. Biblioteka zapewnia funkcje do wszystkich ważnych operacji na tych strukturach.

Pakiet zawiera różne narzędzia do wykonywania operacji na wielościanach.

proofgeneral
Ogólny interfejs dla asystentów dowodzenia twierdzeń
Versions of package proofgeneral
ReleaseVersionArchitectures
jessie4.3~pre131011-0.2all
bookworm4.4.1~pre170114-1.2all
sid4.5-2all
bullseye4.4.1~pre170114-1.2all
stretch4.4.1~pre170114-1all
Debtags of package proofgeneral:
fieldmathematics
interfacetext-mode, x11
roleplugin
suiteemacs
useediting
Popcon: 9 users (6 upd.)*
Versions and Archs
License: DFSG free
Git

Proof General jest głównym trybem przekształcania Emacsa w interaktywny system dowodzenia twierdzeń, który służy do pisania formalnych dowodów matematycznych przy użyciu różnych narzędzi asystujących użytkownikowi przy przeprowadzaniu dowodu.

Ten pakiet zapewnia wsparcie Proof General dla Coq (brak innego systemu dowodzenia twierdzeń, który mógłby zapewniać odpowiednie wsparcie).

Other screenshots of package proofgeneral
VersionURL
4.2~pre120605-2 -https://screenshots.debian.net/shrine/screenshot/9621/simage/large-cd932ab2b34519b53b8f75d22359cb9e.png
Screenshots of package proofgeneral
prover9
theorem prover and countermodel generator
Versions of package prover9
ReleaseVersionArchitectures
stretch0.0.200911a-2.1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie0.0.200911a-2.1amd64,armel,armhf,i386
buster0.0.200911a-2.1amd64,arm64,armhf,i386
Popcon: 5 users (4 upd.)*
Versions and Archs
License: DFSG free
Bzr

This package provides the Prover9 resolution/paramodulation theorem prover and the Mace4 countermodel generator.

Prover9 is an automated theorem prover for first-order and equational logic. It is a successor of the Otter prover. Prover9 uses the inference techniques of ordered resolution and paramodulation with literal selection.

The program Mace4 searches for finite structures satisfying first-order and equational statements, the same kind of statement that Prover9 accepts. If the statement is the denial of some conjecture, any structures found by Mace4 are counterexamples to the conjecture.

Mace4 can be a valuable complement to Prover9, looking for counterexamples before (or at the same time as) using Prover9 to search for a proof. It can also be used to help debug input clauses and formulas for Prover9.

pyomo
??? missing short description for package pyomo :-(
Maintainer: Daniel Stender
Versions of package pyomo
ReleaseVersionArchitectures
stretch4.3.11388+git20160622.d3e3f0a-1all
Popcon: 16 users (0 upd.)*
Versions and Archs
License: DFSG free
Svn
Registry entries: Bioconda 
python3-deap
Distributed Evolutionary Algorithms in Python3
Versions of package python3-deap
ReleaseVersionArchitectures
jessie1.0.1-3+deb8u1all
bullseye1.3.1-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster1.0.2.post2-6all
stretch1.0.2.post2-2all
bookworm1.3.1-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid1.4.1-3amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
trixie1.4.1-3amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
Popcon: 21 users (2 upd.)*
Versions and Archs
License: DFSG free
Git

DEAP is a novel evolutionary computation framework for rapid prototyping and testing of ideas. It seeks to make algorithms explicit and data structures transparent. It works in perfect harmony with parallelisation mechanism such as multiprocessing and SCOOP.

This package contains the modules for Python3.

python3-dolfin
Podstawowy interfejs Pythona dla DOLFIN (Python 3)
Versions of package python3-dolfin
ReleaseVersionArchitectures
sid2019.2.0~legacy20240219.1c52e83-10amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
bookworm2019.2.0~git20230116.bd54183-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster2018.1.0.post1-16amd64,arm64,armhf,i386
bullseye2019.2.0~git20201207.b495043-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
trixie2019.2.0~legacy20240219.1c52e83-10amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
Popcon: 77 users (1 upd.)*
Versions and Archs
License: DFSG free
Git

DOLFIN jest interfejsem (napisanym w Pythonie i C++) z projektu FEniCS do automatycznego rozwiązania równań różniczkowych, zapewniającym spójne PSE (Problem Solving Environment - środowisko rozwiązywania problemów) do rozwiązywania zwyczajnych i cząstkowych równań różniczkowych. Najważniejsze cechy to: proste, spójne i intuicyjne obiektowe API; automatyczna i efektywna ocena form wariacyjnych; automatyczne i wydajne łączenie systemów liniowych; oraz obsługiwanie ogólnych rodzin elementów skończonych.

Jest to pakiet podstawowy, zależny od konkretnych wersji Dolfina. Domyślnie ta wersja została zbudowana na podstawie preferowanej wersji PETSc w /usr/lib/petsc (z indeksowaniem 32-bitowym), ale wersję alternatywną (64-bitowy PETSc) można wybrać, ustawiając zmienną środowiskową PETSC_DIR.

To jest starsza wersja DOLFIN. Zamiast niej można zainstalować nowszą generację pakietu python3-dolfinx (DOLFIN-X).

python3-ffc
compiler for finite element variational forms (Python 3)
Versions of package python3-ffc
ReleaseVersionArchitectures
buster2018.1.0-5all
bookworm2019.2.0~git20210714.a20cbe7-3all
sid2019.2.0~legacy20230509.35df986-2all
trixie2019.2.0~legacy20230509.35df986-2all
bullseye2019.2.0~git20210115.cb26c91-1all
Popcon: 79 users (1 upd.)*
Versions and Archs
License: DFSG free
Git

The FEniCS Form Compiler FFC provides state-of-the-art automatic and efficient evaluation of general multilinear forms (variational formulations) for FEniCS. FFC functions as the form evaluation system for DOLFIN but can also be used to compile forms for other systems.

FFC works as a compiler for multilinear forms by generating code (C or C++) for the evaluation of a multilinear form given in mathematical notation. This new approach to form evaluation makes it possible to combine generality with efficiency; the form can be given in mathematical notation and the generated code is as efficient as hand-optimized code.

This package installs the legacy FFC library for Python 3.

You may want to consider installing python3-ffcx instead to get the next-generation FFC-X.

python3-minieigen
Wrapper of parts of the Eigen library (Python 3)
Versions of package python3-minieigen
ReleaseVersionArchitectures
bookworm0.50.3+dfsg1-13amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster0.50.3+dfsg1-8amd64,arm64,armhf,i386
bullseye0.50.3+dfsg1-12amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch0.50.3+dfsg1-5amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
trixie0.50.3+dfsg1-13amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
sid0.50.3+dfsg1-13amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
Popcon: 8 users (3 upd.)*
Versions and Archs
License: DFSG free
Git

Small wrapper for core parts of Eigen, c++ library for linear algebra. It is mainly useful for inspecting c++ code which already uses eigen and boost::python. Supported types are Vectors (2,3,6 and dynamic-sized with integer and floating-point values), Matrices (3x3, 6x6 and dynamic-sized with floating-point values) and Quaternions. Numerous methods are wrapped and the original API of Eigen is followed.

This is the Python 3 version of the package.

python3-openturns
Python3 front-end of OpenTURNS (aka TUI)
Versions of package python3-openturns
ReleaseVersionArchitectures
bookworm1.20-9amd64,arm64,armel,armhf,mips64el,ppc64el,s390x
sid1.23-5amd64,arm64,armel,armhf,mips64el,ppc64el,riscv64,s390x
stretch1.7-3amd64,arm64,armel,armhf,i386,mips64el,ppc64el,s390x
trixie1.23-5amd64,arm64,armel,armhf,mips64el,ppc64el,riscv64,s390x
Popcon: 9 users (3 upd.)*
Versions and Archs
License: DFSG free
Git

OpenTURNS is a powerful and generic tool to treat and quantify uncertainties in numerical simulations in design, optimization and control. It allows both sensitivity and reliability analysis studies:

  • defining the outputs of interest and decision criterion;
  • quantify and model the source of uncertainties;
  • propagate uncertainties and/or analyse sensitivity and
  • rank the sources of uncertainty

Targeted users are all engineers who want to introduce the probabilistic dimension in their so far deterministic studies.

This package provides the Python3 bindings to the library.

python3-persalys
GUI for uncertainty treatment (Python bindings)
Versions of package python3-persalys
ReleaseVersionArchitectures
sid16.1+ds-1amd64,arm64,mips64el,ppc64el,riscv64,s390x
bookworm13.1.1+ds-1amd64,arm64,mips64el,ppc64el,s390x
trixie16.1+ds-1amd64,arm64,mips64el,ppc64el,riscv64,s390x
Popcon: 7 users (2 upd.)*
Versions and Archs
License: DFSG free
Git

Persalys is a graphical user interface for OpenTURNS, dedicated to the treatment of uncertainty and the management of variabilities. The software is a tool between the computer simulation, probabilistic analyses and the data sciences. The interface is available in French or in English.

Persalys allows one to:

  • create mathematical models: analytical, coupling with an external model (finite elements, ...), FMU;
  • analyse the variability of one's parameters thanks to many methods and visualisation tools;
  • statistically analyse one's measuring data, infer probability distributions or create metamodels.

This package contains the Python3 bindings.

python3-sagenb-export
Convert SageNB Notebooks (Python 3)
Versions of package python3-sagenb-export
ReleaseVersionArchitectures
sid3.4-1all
bookworm3.2-4all
bullseye3.2-4all
buster3.2-3all
stretch2.0-2all
trixie3.4-1all
Popcon: 45 users (25 upd.)*
Versions and Archs
License: DFSG free
Git

This is a tool to convert SageNB notebooks to other formats, in particular IPython/Jupyter notebooks.

python3-ufl
unified language for form-compilers (Python 3)
Versions of package python3-ufl
ReleaseVersionArchitectures
sid2024.1.0-1all
bullseye2019.2.0~git20210211.d60cd09-1all
bookworm2022.2.0-2all
stretch2016.2.0-2all
trixie2024.1.0-1all
buster2018.1.0-5all
upstream2024.2.0
Popcon: 16 users (2 upd.)*
Newer upstream!
License: DFSG free
Git

UFL (Unified Form Language) is a unified language for definition of variational forms intended for finite element discretization. More precisely, it defines a fixed interface for choosing finite element spaces and defining expressions for weak forms in a notation close to mathematical notation. The form compilers FFC and SyFi use UFL as their end-user interface, producing UFC implementations as their output.

This package installs the library for Python 3.

qepcad
quantifier elimination tool
Versions of package qepcad
ReleaseVersionArchitectures
trixie1.74+ds-5amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
bookworm1.74+ds-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid1.74+ds-5amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
Popcon: 1 users (1 upd.)*
Versions and Archs
License: DFSG free
Git

QEPCAD is an implementation of quantifier elimination by partial cylindrical algebraic decomposition due originally to Hoon Hong, and subsequently added on to by many others. It is an interactive command-line program written in C/C++, and based on the SACLIB library. Presented here is QEPCAD B version 1.x, the "B" designating a substantial departure from the original QEPCAD and distinguishing it from any development of the original that may proceed in a different direction. QEPCAD and the SACLIB library are the result of a program of research by George Collins and his PhD students that has spanned several decades ... and continues still!

qhull-bin
calculate convex hulls and related structures (utilities)
Versions of package qhull-bin
ReleaseVersionArchitectures
buster2015.2-4amd64,arm64,armhf,i386
jessie2012.1-5amd64,armel,armhf,i386
sid2020.2-6amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
trixie2020.2-6amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
bookworm2020.2-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye2020.2-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch2015.2-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Debtags of package qhull-bin:
fieldmathematics
roleprogram
scopeutility
Popcon: 366 users (155 upd.)*
Versions and Archs
License: DFSG free
Git

Qhull computes convex hulls, Delaunay triangulations, halfspace intersections about a point, Voronoi diagrams, furthest-site Delaunay triangulations, and furthest-site Voronoi diagrams. It runs in 2-d, 3-d, 4-d, and higher dimensions.

This package contains the qhull executable that gives a pipe interface to some of the functionality of the library. Also included is rbox is a useful tool in generating input for Qhull; it generates hypercubes, diamonds, cones, circles, simplices, spirals, lattices, and random points.

Qhull produces graphical output for Geomview. This helps with understanding the output (http://www.geomview.org).

qsopt-ex
Exact linear programming solver
Versions of package qsopt-ex
ReleaseVersionArchitectures
bullseye2.5.10.3-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
trixie2.5.10.3-2.1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
bookworm2.5.10.3-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid2.5.10.3-2.1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
stretch2.5.10.3-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster2.5.10.3-2amd64,arm64,armhf,i386
Popcon: 3 users (1 upd.)*
Versions and Archs
License: DFSG free
Git

QSopt-ex is an implementation of a simplex-based algorithm that returns exact rational solutions, taking advantage of the speed of floating-point calculations and attempting to minimize the operations performed in rational arithmetic.

This package contains the command-line utilities.

Please cite: David L Applegate, William Cook, Sanjeeb Dash and Daniel G Espinoza: Exact solutions to linear programming problems. Operations Research Letters 35(6):693-699 (2007)
regina-normal
mathematical software for low-dimensional topology
Maintainer: Ben Burton
Versions of package regina-normal
ReleaseVersionArchitectures
sid7.3-2amd64,arm64,armel,armhf,i386,mips64el,ppc64el,s390x
jessie4.96-2amd64,armel,armhf,i386
buster5.1-6amd64,arm64,armhf,i386
stretch5.1-1amd64,arm64,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye6.0.1-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bookworm7.3-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Debtags of package regina-normal:
fieldmathematics
interfacecommandline, x11
roleprogram
scopeutility
suitekde
uitoolkitqt
x11application
Popcon: 6 users (1 upd.)*
Versions and Archs
License: DFSG free

Regina is a software package for 3-manifold and 4-manifold topologists, with a focus on triangulations, knots and links, normal surfaces, and angle structures.

For 3-manifolds, it includes high-level tasks such as 3-sphere recognition, connected sum decomposition and Hakenness testing, comes with a rich database of census manifolds, and incorporates the SnapPea kernel for working with hyperbolic manifolds. For 4-manifolds, it offers a range of combinatorial and algebraic tools, plus support for normal hypersurfaces. For knots and links, Regina can perform combinatorial manipulation, compute knot polynomials, and work with several import/export formats.

Regina comes with a full graphical user interface, as well as Python bindings and a low-level C++ programming interface.

This package includes the graphical user interface and the command-line Python interface. The users' handbook and the API documentation are in the separate package regina-normal-doc.

rheolef
efficient Finite Element environment
Versions of package rheolef
ReleaseVersionArchitectures
bookworm7.2-2amd64,arm64,i386,mips64el,mipsel,ppc64el,s390x
jessie6.5-1amd64,i386
stretch6.7-1amd64,i386,mips,mipsel,ppc64el
buster7.0-2amd64,arm64,i386
bullseye7.1-6amd64,arm64,i386,mips64el,mipsel,ppc64el,s390x
trixie7.2-3amd64,arm64,i386,mips64el,ppc64el,riscv64,s390x
sid7.2-3amd64,arm64,i386,mips64el,ppc64el,riscv64,s390x
Debtags of package rheolef:
fieldmathematics
roleprogram
Popcon: 3 users (2 upd.)*
Versions and Archs
License: DFSG free
Git

Rheolef is a computer environment that serves as a convenient laboratory for computations in applied mathematics involving finite element-like methods. It provides a set of commands and C++ algorithms and containers.

Most basically, containers cover the classic graph data structure for sparse matrix formats and finite element meshes. At a higher level of abstraction, they can handle approximate finite element spaces, discrete fields. Flexible and powerful expressions are used to specify bilinear forms.

Current applications include:

  • massively distributed memory finite element environment, based on MPI;
  • elasticity, Stokes and Navier-Stokes problems in 2D and 3D;
  • complex fluids applications: viscoplasticity, viscoelasticity, wall slip;
  • nonlinear problems with fixed-point, Newton and continuation methods;
  • high order polynomials, mixed elements and discontinuous Galerkin methods;
  • auto-adaptive mesh approaches;
  • axisymmetric problems;
  • multi-regions and variable coefficient problems.

This package provides the rheolef commands. These support input and output in various file formats for mesh-generators and numerical data visualization systems such as paraview, and gnuplot.

Please cite: Piere Saramito: (2016)
rubiks
Small collection of Rubik's cube solvers
Versions of package rubiks
ReleaseVersionArchitectures
bookworm20070912-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster20070912-3amd64,arm64,armhf,i386
bullseye20070912-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch20070912-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid20070912-7amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
trixie20070912-7amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
Popcon: 10 users (1 upd.)*
Versions and Archs
License: DFSG free
Git

This package contains several different Rubik's cube solvers, either useful directly on the command-line or through sagemath.

Michael Reid's "optimal" uses pre-computed tables to find an optimal solution to the 3x3x3 Rubik's cube.

Dik T.Winter's "dikcube" uses Kociemba's algorithm to iteratively find a short solution to the 3x3x3 cube.

Eric Dietz' "cubex" has fast non-optimal solver for the 3x3x3 cube.

sagemath
Oprogramowanie matematyczne o otwartym kodzie źródłowym
Versions of package sagemath
ReleaseVersionArchitectures
sid9.5-6all
buster8.6-6amd64,arm64,armhf,i386
bookworm9.5-6all
bullseye9.2-2amd64,arm64,i386
stretch7.4-9amd64,i386
upstream10.4
Popcon: 64 users (18 upd.)*
Newer upstream!
License: DFSG free
Git

SageMath to darmowy system oprogramowania matematycznego typu open source, udostępniany na licencji GPL. Opiera się na wielu istniejących pakietach o otwartym kodzie źródłowym: NumPy, SciPy, matplotlib, Sympy, Maxima, GAP, FLINT, R itd. Uzyskaj dostęp do ich połączonej mocy poprzez wspólny język oparty na Pythonie lub bezpośrednio poprzez interfejsy lub opakowania.

Misja: Stworzenie realnej, darmowej i otwartoźródłowej alternatywy dla programów takich jak: Magma, Maple, Mathematica i Matlab.

Ten pakiet zawiera główną instalację SageMath.

sagemath-database-conway-polynomials
Baza danych wielomianów Conwaya
Versions of package sagemath-database-conway-polynomials
ReleaseVersionArchitectures
buster0.5-4all
stretch0.4.p0+dfsg-2all
jessie0.4.p0+dfsg-1all
sid0.10-2all
trixie0.10-2all
bookworm0.5-8all
bullseye0.5-8all
Popcon: 3 users (21 upd.)*
Versions and Archs
License: DFSG free
Git

Pakiet zawiera małą bazę danych wielomianów Conwaya, dla liczb pierwszych do 109987 i różnej liczby wykładników.

Jest częścią zestawu oprogramowania sagemath.

sagemath-database-cremona-elliptic-curves
Databases of elliptic curves over the rationals
Versions of package sagemath-database-cremona-elliptic-curves
ReleaseVersionArchitectures
bullseye0~20191029-3all
bookworm20221013-1all
trixie20221013-1all
sid20221013-1all
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

This package contains John Cremona's database of all elliptic curves over the rationals of bounded conductor.

It is a complement to the sagemath software suite.

sagemath-database-elliptic-curves
Bazy danych do krzywych eliptycznych
Versions of package sagemath-database-elliptic-curves
ReleaseVersionArchitectures
bookworm0.8.1-5all
stretch0.8-1all
buster0.8-2all
jessie0.7+dfsg-1all
bullseye0.8.1-5all
sid0.8.1-6all
trixie0.8.1-6all
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

Pakiet zawiera w rzeczywistości dwie bazy danych:

  • Podzbiór bazy danych Johna Cremona z krzywymi eliptycznymi (maksymalnie 10000 konduktorów).
  • Bazę danych Williama Steina z interesującymi krzywymi eliptycznymi.

Jest częścią zestawu oprogramowania sagemath.

sagemath-database-graphs
Bazy danych z wykresami
Versions of package sagemath-database-graphs
ReleaseVersionArchitectures
bullseye20161026+dfsg-5all
sid20210214+dfsg-2all
trixie20210214+dfsg-2all
stretch20161026+dfsg-1all
buster20161026+dfsg-2all
jessie20120404.p4+dfsg-1all
bookworm20210214+dfsg-1all
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

Pakiet zawiera bazę danych z wykresami, stworzoną przez Emily Kirkman, na podstawie prac Jasona Grout. Udostępnia również bazę danych z wykresami ISGCI.

Jest częścią pakietu oprogramowania sagemath.

sagemath-database-mutually-combinatorial-designs
Databases of combinatorial designs
Versions of package sagemath-database-mutually-combinatorial-designs
ReleaseVersionArchitectures
buster20140630-3all
bookworm20140630-6all
trixie20140630-7all
bullseye20140630-6all
jessie20140630-1all
sid20140630-7all
stretch20140630-2all
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

This package contains a database of mutually orthogonal Latin squares, as found in the Handbook of Combinatorial Designs, 2ed.

It is part of the sagemath software suite.

sagemath-database-polytopes
Databases of polytopes
Versions of package sagemath-database-polytopes
ReleaseVersionArchitectures
buster20170220-2all
sid20170220-6all
trixie20170220-6all
bookworm20170220-5all
bullseye20170220-5all
stretch20120220+dfsg-2all
jessie20120220+dfsg-1all
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

This package contains a database of 2-dimension and of 3-dimensional reflexive polytopes.

It is part of the sagemath software suite.

science-statistics
Pakiety naukowe Debiana związane ze statystykami
Versions of package science-statistics
ReleaseVersionArchitectures
stretch1.7all
buster1.10all
bookworm1.14.5all
trixie1.14.6all
sid1.14.6all
bullseye1.14.2all
jessie1.4all
Debtags of package science-statistics:
rolemetapackage
suitedebian
Popcon: 3 users (2 upd.)*
Versions and Archs
License: DFSG free
Git

Ten metapakiet jest częścią zestawu naukowego Debiana (Debian Pure Blend "Debian Science") i instaluje pakiety związane z obliczeniami statystycznymi. Zadania takie są powszechne i przydatne dla każdej działalności naukowej. Pakiet zależy od wielu pakietów R, a także od innych narzędzi przydatnych do tworzenia statystyk. Ponadto, sugerowane są zadania z matematyki naukowej, co wymaga dodatkowej instalacji odpowiedniego oprogramowania matematycznego.

scilab
Pakiet oprogramowania naukowego do obliczeń numerycznych
Versions of package scilab
ReleaseVersionArchitectures
bookworm6.1.1+dfsg2-6all
jessie5.5.1-7all
bullseye6.1.0+dfsg1-7all
trixie2024.1.0+dfsg-5all
buster6.0.1-10+deb10u1all
stretch5.5.2-4all
stretch-security5.5.2-4+deb9u1all
sid2024.1.0+dfsg-6all
Debtags of package scilab:
fieldelectronics, mathematics, physics, statistics
interfacex11
roleprogram
scopeutility
uitoolkittk
useanalysing, learning
works-withimage
x11application
Popcon: 79 users (56 upd.)*
Versions and Archs
License: DFSG free
Git

Scilab to oparty na macierzach pakiet oprogramowania naukowego. Scilab zawiera setki wbudowanych funkcji matematycznych, bogate struktury danych (w tym: wielomiany, wymierne, systemy liniowe, listy itp.) oraz szereg specjalistycznych zestawów narzędzi do sterowania, przetwarzania sygnałów, itd.

Ten pakiet zawiera również Xcos, edytor graficzny do projektowania hybrydowych modeli układów dynamicznych. Modele można projektować, ładować, zapisywać, kompilować i symulować. Xcos stanowi stabilne i wydajne rozwiązanie dla potrzeb przemysłu i środowiska akademickiego. Xcos zapewnia funkcje do modelowania układów mechanicznych (motoryzacja, aeronautyka ...), obwodów hydraulicznych (modelowanie zapór, rur ...), układów sterowania itp.

Aby korzystać z minimalnej wersji scilab należy zainstalować pakiet "scilab-cli".

scilab-ann
??? missing short description for package scilab-ann :-(
Versions of package scilab-ann
ReleaseVersionArchitectures
jessie0.4.2.4-1all
stretch0.4.2.4-1all
Debtags of package scilab-ann:
devellibrary
roledevel-lib, shared-lib
Popcon: 2 users (0 upd.)*
Versions and Archs
License: DFSG free
Svn
scotch
programs and libraries for graph, mesh and hypergraph partitioning
Versions of package scotch
ReleaseVersionArchitectures
bookworm7.0.3-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye6.1.0-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster6.0.6-2amd64,arm64,armhf,i386
stretch5.1.12b.dfsg-2.1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie5.1.12b.dfsg-2amd64,armel,armhf,i386
sid7.0.5-1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
trixie7.0.5-1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
Debtags of package scotch:
roleprogram
Popcon: 4 users (1 upd.)*
Versions and Archs
License: DFSG free
Git

Its purpose is to apply graph theory, with a divide and conquer approach, to scientific computing problems such as graph and mesh partitioning, static mapping, and sparse matrix ordering, in application domains ranging from structural mechanics to operating systems or bio-chemistry.

The SCOTCH distribution is a set of programs and libraries which implement the static mapping and sparse matrix reordering algorithms developed within the SCOTCH project.

SCOTCH has many interesting features:

  • Its capabilities can be used through a set of stand-alone programs as well as through the libSCOTCH library, which offers both C and Fortran interfaces.

  • It provides algorithms to partition graph structures, as well as mesh structures defined as node-element bipartite graphs and which can also represent hypergraphs.

  • It can map any weighted source graph onto any weighted target graph. The source and target graphs may have any topology, and their vertices and edges may be weighted. Moreover, both source and target graphs may be disconnected. This feature allows for the mapping of programs onto disconnected subparts of a parallel architecture made up of heterogeneous processors and communication links.

  • It computes amalgamated block orderings of sparse matrices, for efficient solving using BLAS routines.

  • Its running time is linear in the number of edges of the source graph, and logarithmic in the number of vertices of the target graph for mapping computations.

  • It can handle indifferently graph and mesh data structures created within C or Fortran programs, with array indices starting from 0 or 1.

  • It offers extended support for adaptive graphs and meshes through the handling of disjoint edge arrays.

  • It is dynamically parametrizable thanks to strategy strings that are interpreted at run-time.

  • It uses system memory efficiently, to process large graphs and meshes without incurring out-of-memory faults;

  • It is highly modular and documented. Since it has been released under the CeCILL-C free/libre software license, it can be used as a testbed for the easy and quick development and testing of new partitioning and ordering methods.

  • It can be easily interfaced to other programs. The programs comprising the SCOTCH project have been designed to run in command-line mode without any interactive prompting, so that they can be called easily from other programs by means of system() or popen() calls, or piped together on a single command line. Moreover, vertex labeling capabilities allow for easy renumbering of vertices.

  • It provides many tools to build, check, and display graphs, meshes and matrix patterns.

  • It is written in C and uses the POSIX interface, which makes it highly portable. PT-SCOTCH uses the MPI interface, and optionally the POSIX threads.

Screenshots of package scotch
singular
Computer Algebra System for Polynomial Computations
Versions of package singular
ReleaseVersionArchitectures
stretch4.0.3-p3+ds-5amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid4.4.0-p6+ds-1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
trixie4.4.0-p6+ds-1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
bookworm4.3.1-p3+ds-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye4.1.1-p2+ds-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster4.1.1-p2+ds-3amd64,arm64,armhf,i386
Debtags of package singular:
fieldmathematics
roleprogram
uitoolkitncurses
Popcon: 12 users (7 upd.)*
Versions and Archs
License: DFSG free
Git

SINGULAR is a Computer Algebra System (CAS) for polynomial computations with emphasis on the special needs of commutative algebra, algebraic geometry, and singularity theory.

This dummy package provides the standard installation.

snappea
program for creating and studying hyperbolic 3-manifolds
Versions of package snappea
ReleaseVersionArchitectures
stretch3.0d3-24amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster3.0d3-24amd64,arm64,armhf,i386
jessie3.0d3-23amd64,armel,armhf,i386
Debtags of package snappea:
devellang:python
fieldmathematics
interfacex11
uitoolkittk
x11application
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free

SnapPea is Jeff Weeks' computational tool for mathematicians working in low-dimensional topology. It is used for creating and studying hyperbolic 3-manifolds, and is accessible via Python scripts as well as through a traditional graphical user interface.

Screenshots of package snappea
surf-alggeo
visualization of real algebraic geometry
Versions of package surf-alggeo
ReleaseVersionArchitectures
trixie1.0.6+ds-7amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
stretch1.0.6+ds-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster1.0.6+ds-4amd64,arm64,armhf,i386
bullseye1.0.6+ds-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bookworm1.0.6+ds-6amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid1.0.6+ds-7amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

Surf is a script driven tool to visualize some real algebraic geometry: plane algebraic curves, algebraic surfaces and hyperplane sections of surfaces.

The algorithms should be stable enough not to be confused by curve/surface singularities in codimension greater than one and the degree of the surface or curve. This has been achieved quite a bit. Curves of degree up to 30 and surfaces of degree up to 20 have been drawn successfully. However, there are examples of curves/surfaces of lower degree where surf fails to produce perfect images. This happens especially if the equation of the curve/surface is not reduced. Best results are achieved using reduced equations. On the other hand, surf displays the Fermat-curves accurately for degree up to 98.

Surf is free software distributed under the GNU General Public License (GPL).

This dummy package is meant to allow multi-variant support for surf.

sympow
Program matematyczny dla funkcji L z krzywymi eliptycznymi o potęgach symetrycznych - program
Versions of package sympow
ReleaseVersionArchitectures
stretch1.023-8amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster2.023.5-2amd64,arm64,armhf,i386
bullseye2.023.6-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bookworm2.023.6-1.1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
trixie2.023.7-1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
sid2.023.7-1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
jessie1.019-4amd64,armel,armhf,i386
Debtags of package sympow:
roleprogram
Popcon: 31 users (34 upd.)*
Versions and Archs
License: DFSG free
Git

SYMPOW to program matematyczny do obliczania specjalnych wartości funkcji L z krzywymi eliptycznymi o potęgach symetrycznych; może on wykonywać obliczenia z precyzją do około 64 cyfr.

Pakiet zawiera sam program SYMPOW.

tachyon
Parallel/Multiprocessor Standalone Ray Tracer - metapackage
Versions of package tachyon
ReleaseVersionArchitectures
trixie0.99~b6+dsx-12all
jessie0.99~b2+dfsg-0.4amd64,armel,armhf,i386
stretch0.99~b6+dsx-8all
buster0.99~b6+dsx-9all
sid0.99~b6+dsx-12all
bullseye0.99~b6+dsx-9all
bookworm0.99~b6+dsx-10all
upstream0.99.5
Debtags of package tachyon:
roleprogram
works-with3dmodel
Popcon: 0 users (0 upd.)*
Newer upstream!
License: DFSG free
Git

Tachyon is a portable, high performance parallel ray tracing system supporting MPI and multithreaded implementations. Tachyon is built as a C callable library, which can be used within applications.

Tachyon implements all of the basic geometric primitives such as triangles, planes, spheres, cylinders, etc. Some of the goals in developing Tachyon were to make it fast and for it to parallelize well. These are what set it apart from more full-featured programs like POV-Ray, Rayshade, and others. Tachyon supports enough features to be an excellent alternative to slower programs for demanding animation and scientific visualization tasks.

This metapackage allows multi-variant support for tools built upon tachyon.

tetgen
Quality Tetrahedral Mesh Generator
Versions of package tetgen
ReleaseVersionArchitectures
trixie1.5.0-5amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
sid1.5.0-5amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
jessie1.5.0-3amd64,armel,armhf,i386
stretch1.5.0-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster1.5.0-5amd64,arm64,armhf,i386
bullseye1.5.0-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bookworm1.5.0-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Debtags of package tetgen:
roleprogram
Popcon: 6 users (1 upd.)*
Versions and Archs
License: DFSG free
Git

TetGen generates the Delaunay tetrahedralization, Voronoi diagram, and convex hull for three-dimensional point sets, generates the constrained Delaunay tetrahedralizations and quality tetrahedral meshes for three-dimensional domains with piecewise linear boundary.

topcom
Triangulations Of Point Configurations and Oriented Matroids
Versions of package topcom
ReleaseVersionArchitectures
bookworm1.1.2+ds-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
experimental1.2.0~beta+ds-1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
sid1.1.2+ds-1.1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
bullseye0.17.8+ds-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
trixie1.1.2+ds-1.1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
upstream1.2.0.beta
Popcon: 33 users (26 upd.)*
Newer upstream!
License: DFSG free
Git

TOPCOM is a collection of clients to compute Triangulations Of Point Configurations and Oriented Matroids, resp.

The algorithms use only combinatorial data of the point configuration as is given by its oriented matroid. Some basic commands for computing and manipulating oriented matroids can also be accessed by the user.

It was very much inspired by the maple program PUNTOS, which was written by Jesus de Loera. TOPCOM is entirely written in C++, so there is a significant speed up compared to PUNTOS.

toulbar2
Exact combinatorial optimization for Graphical Models
Versions of package toulbar2
ReleaseVersionArchitectures
bookworm1.1.1+dfsg-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye1.1.1+dfsg-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster1.0.0+dfsg3-2amd64,arm64,armhf,i386
sid1.2.1+dfsg-0.1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
Popcon: 2 users (1 upd.)*
Versions and Archs
License: DFSG free
Git

Toulbar2 is an exact discrete optimization tool for Graphical Models such as Cost Function Networks, Markov Random Fields, Weighted Constraint Satisfaction Problems and Bayesian Nets.

wxmaxima
Interfejs graficzny dla systemu algebraicznego Maxima
Maintainer: Gunter Königsmann
Versions of package wxmaxima
ReleaseVersionArchitectures
jessie13.04.2-4+deb8u1amd64,armel,armhf,i386
sid24.02.1-1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
trixie24.02.1-1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
bookworm22.12.0-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye20.12.1-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster19.01.2-1amd64,arm64,armhf,i386
stretch16.04.2-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
upstream24.08.0
Debtags of package wxmaxima:
fieldmathematics
interfacex11
roleprogram
scopeapplication
uitoolkitwxwidgets
x11application
Popcon: 100 users (59 upd.)*
Newer upstream!
License: DFSG free
Git

wxMaxima to graficzny interfejs dla systemu algebraicznego Maxima. Ułatwia użytkowanie Maximy przez łatwy dostęp do poleceń z menu oraz wyświetlając okna dialogowe dla poleceń wymagających większej ilości argumentów. Równocześnie formuły są wyświetlane we własnym silniku wizualizacji zamiast grafiki ASCII.

wxMaxima umożliwia również rysowanie wykresów 2D i 3D, tworzenie prostych animacji, kompozycję tekstu i obliczeń matematycznych dla potrzeb dokumentacji, eksport do formatu TeX, a ponadto udostępnia przeglądarkę dokumentacji Maximy wraz z indeksem poleceń i wyszukiwaniem w tekście.

xcas
Computer Algebra System - console and graphical calculator
Versions of package xcas
ReleaseVersionArchitectures
bullseye1.6.0.41+dfsg1-1amd64,arm64,armel,armhf,i386,mips64el,mipsel
buster1.4.9.69+dfsg1-2amd64,arm64,armhf,i386
trixie1.9.0.93+dfsg2-2amd64,arm64,armel,armhf,i386,mips64el,riscv64
bookworm1.9.0.35+dfsg2-1.1amd64,arm64,armel,armhf,i386,mips64el,mipsel
sid1.9.0.93+dfsg2-2amd64,arm64,armel,armhf,i386,mips64el,riscv64
upstream1.9.0.996
Popcon: 56 users (34 upd.)*
Newer upstream!
License: DFSG free
Git

Giac is a computer algebra system, following the development of the CAS for HP calculators. It has fast implementation of algorithms for polynomial operations, and compatibility mode with Maple or Mupad CAS as well as TI calculators.

This package contains the user-facing giac programs: xcas, icas, and pgiac; as well as the cas_help program for providing user-oriented help.

Other screenshots of package xcas
VersionURL
1.6.0.41+dfsg1-1https://screenshots.debian.net/shrine/screenshot/simage/large-30643f4076636262ce1eeae2701c406b.png
1.6.0.41+dfsg1-1https://screenshots.debian.net/shrine/screenshot/20934/simage/large-4ebf371e2ff4a461ee494d2e796f9d74.png
1.6.0.41+dfsg1-1https://screenshots.debian.net/shrine/screenshot/simage/large-9b34715f49008686ce777d0202d7459d.png
1.6.0.41+dfsg1-1https://screenshots.debian.net/shrine/screenshot/simage/large-94b55ff5eb649987105ebfcd7b985a19.png
1.6.0.41+dfsg1-1https://screenshots.debian.net/shrine/screenshot/simage/large-dd5c02d605ced3c415edd8a41b8fc994.png
1.6.0.41+dfsg1-1https://screenshots.debian.net/shrine/screenshot/simage/large-d319691620edc5d540524cf07def9c51.png
1.6.0.41+dfsg1-1https://screenshots.debian.net/shrine/screenshot/simage/large-c7126c424145615beed9ce0c85863a2e.png
1.6.0.41+dfsg1-1https://screenshots.debian.net/shrine/screenshot/simage/large-ceae19057b2d6a045b17b04f20b157ae.png
Screenshots of package xcas
xmaxima
Komputerowy system algebraiczny - interfejs do systemu X Window
Maintainer: Camm Maguire
Versions of package xmaxima
ReleaseVersionArchitectures
bookworm5.46.0-11amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid5.47.0-4amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
jessie5.34.1-2amd64,armel,armhf,i386
stretch5.38.1-8amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster5.42.1-1amd64,arm64,armhf,i386
bullseye5.44.0-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
trixie5.47.0-4amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
Debtags of package xmaxima:
fieldmathematics
interfacex11
roleprogram
scopeapplication
uitoolkittk
x11application
Popcon: 24 users (41 upd.)*
Versions and Archs
License: DFSG free

Maxima jest programem do obliczeń symbolicznych, w pełni wyposażonym do działań z symbolicznymi obliczeniami wielomianów, macierzami, funkcjami wymiernymi, całkowaniem, metodami Todd-Coxetera do analizy skończonej grupy, wykresami i dokładnymi obliczeniami zmiennoprzecinkowymi. Posiada symboliczny debugger do kodu źródłowego maxima. Maxima opiera się na oryginalnym opracowaniu Macsyma w MIT (Massachusetts Institute of Technology) z 1970 roku. Jest niezawodny, nie ma wycieków pamięci, której zapewnia doskonałe czyszczenie. Jego działanie zostało sprawdzone setkami testów kontrolnych.

Pakiet zawiera interfejs do systemu X Window, używający bibliotek tcl/tk.

xmds
??? missing short description for package xmds :-(
Versions of package xmds
ReleaseVersionArchitectures
jessie1.6.6-7amd64,armel,armhf,i386
Debtags of package xmds:
roleprogram
Popcon: 1 users (0 upd.)*
Versions and Archs
License: DFSG free
Svn
Screenshots of package xmds
xmds2
eXtensible Multi-Dimensional Simulator
Versions of package xmds2
ReleaseVersionArchitectures
stretch2.2.2+dfsg-3all
buster2.2.3+dfsg-15all
jessie2.2.2+dfsg-1all
bullseye3.0.0+dfsg-5all
bookworm3.1.0+dfsg2-3all
trixie3.1.0+dfsg2-8all
sid3.1.0+dfsg2-8all
Popcon: 5 users (1 upd.)*
Versions and Archs
License: DFSG free
Git

XMDS is a code generator that integrates equations, from Ordinary Differential Equations (ODEs) up to stochastic Partial Differential Equations (PDEs). You write them down in human readable form in an XML file, and it goes away and writes and compiles a C++ program that integrates those equations as fast as it can possibly be done in your architecture.

XMDS 2 is a major upgrade rewritten in Python which is faster and far more versatile than previous versions, allowing the efficient integration of almost any initial value problem on regular domains.

Please cite: Graham R. Dennis, Joseph J. Hope and Mattias T. Johnsson: XMDS2: Fast, scalable simulation of coupled stochastic partial differential equations. Computer Physics Communications 184(1):201-208 (2013)

Official Debian packages with lower relevance

ann-tools
Approximate Nearest Neighbor Searching library (tools)
Versions of package ann-tools
ReleaseVersionArchitectures
bookworm1.1.2+doc-9amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
trixie1.1.2+doc-9amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
jessie1.1.2+doc-5amd64,armel,armhf,i386
stretch1.1.2+doc-6amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid1.1.2+doc-9amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
buster1.1.2+doc-7amd64,arm64,armhf,i386
bullseye1.1.2+doc-7amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Debtags of package ann-tools:
roleprogram
Popcon: 3 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

ANN is a library written in C++, which supports data structures and algorithms for both exact and approximate nearest neighbor searching in arbitrarily high dimensions. ANN assumes that distances are measured using any class of distance functions called Minkowski metrics. These include the well known Euclidean distance, Manhattan distance, and max distance. ANN performs quite efficiently for point sets ranging in size from thousands to hundreds of thousands, and in dimensions as high as 20.

This package contains the ann2fig (display ANN output in fig format) and the ann_sample (a sample demonstration for ANN) programs.

evolver-nox
Surface Evolver (modelator powierzchni) - bez obsługi X
Versions of package evolver-nox
ReleaseVersionArchitectures
sid2.70+ds-8amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
trixie2.70+ds-8amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
bookworm2.70+ds-8amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch2.70+ds-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,s390x
bullseye2.70+ds-8amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster2.70+ds-4amd64,arm64,armhf,i386
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

Surface Evolver to interaktywny program do modelowania powierzchni cieczy, kształtowanej pod wpływem różnych sił i napięć.

Pakiet zawiera warianty evolver-a skompilowane z różnymi formatami zmiennoprzecinkowymi (double, long double, quadruple), ale bez obsługi X.

The package is enhanced by the following packages: evolver-doc
evolver-ogl
Surface Evolver (modelator powierzchni) - z wyświetlaczem wykorzystującym OpenGL
Versions of package evolver-ogl
ReleaseVersionArchitectures
sid2.70+ds-8amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
stretch2.70+ds-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,s390x
buster2.70+ds-4amd64,arm64,armhf,i386
bullseye2.70+ds-8amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bookworm2.70+ds-8amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
trixie2.70+ds-8amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
Popcon: 1 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

Surface Evolver to interaktywny program do modelowania powierzchni cieczy, kształtowanej pod wpływem różnych sił i napięć.

Pakiet zawiera warianty evolver-a skompilowane z różnymi formatami zmiennoprzecinkowymi (double, long double, quadruple), i z wyświetlaczem opartym na OpenGL/GLUT.

The package is enhanced by the following packages: evolver-doc
gap-gapdoc
GAPDoc - metapakiet do dokumentacji GAP
Maintainer: Bill Allombert
Versions of package gap-gapdoc
ReleaseVersionArchitectures
sid1.6.7-1all
jessie1.5.1-1all
stretch1.5.1-3all
buster1.6.2-1all
bullseye1.6.3-1all
bookworm1.6.6-1all
trixie1.6.7-1all
Popcon: 53 users (66 upd.)*
Versions and Archs
License: DFSG free

GAP jest systemem do algebry obliczeniowej dyskretnej, ze szczególnym uwzględnieniem teorii grup obliczeniowych. GAP zapewnia język programowania, bibliotekę tysięcy funkcji, które implementują algebraiczne algorytmy napisane w języku GAP, jak również duże biblioteki danych z obiektami algebraicznymi. GAP stosowany jest w dziedzinie badań i nauczania do studiowania grup i ich reprezentacji, pierścieni, przestrzeni wektorowych, algebry, struktur kombinatorycznych itd.

Pakiet zawiera GAPDoc, "Metapakiet do Dokumentacji GAP" (autorstwa Franka Lubeka i Maksa Neunhöffera), służący do zarządzania dokumentacją GAP.

gap-io
low level C library IO bindings for GAP
Versions of package gap-io
ReleaseVersionArchitectures
buster4.5.4+ds-3amd64,arm64,armhf,i386
jessie4.4.2+ds-1amd64,armel,armhf,i386
stretch4.4.6+ds-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid4.9.0+ds-1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
trixie4.9.0+ds-1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
bookworm4.8.0+ds-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye4.7.0+ds-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 2 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

GAP is a system for computational discrete algebra with particular emphasis on computational group theory, but which has already proved useful also in other areas.

This package allows GAP to access UNIX I/O C-library functions.

gap-online-help
Komputerowy system algebraiczny GAP, pomoc online
Maintainer: Bill Allombert
Versions of package gap-online-help
ReleaseVersionArchitectures
sid4.13.1-1all
jessie4r7p5-2all
trixie4.13.1-1all
bookworm4.12.1-2all
bullseye4.11.0-4all
stretch4r8p6-2all
buster4r10p0-7all
Debtags of package gap-online-help:
fieldmathematics
made-oftex
roledocumentation
Popcon: 7 users (4 upd.)*
Versions and Archs
License: DFSG free

GAP jest systemem do algebry obliczeniowej dyskretnej, ze szczególnym uwzględnieniem teorii grup obliczeniowych. GAP zapewnia język programowania, bibliotekę tysięcy funkcji, które implementują algebraiczne algorytmy napisane w języku GAP, jak również duże biblioteki danych z obiektami algebraicznymi. GAP stosowany jest w dziedzinie badań i nauczania do studiowania grup i ich reprezentacji, pierścieni, przestrzeni wektorowych, algebry, struktur kombinatorycznych itd.

Pakiet zawiera dokumentację w formacie TeX, potrzebną do systemu pomocy online.

gap-scscp
SCSCP protocol in GAP
Versions of package gap-scscp
ReleaseVersionArchitectures
sid2.4.2+ds-2all
bookworm2.4.0+ds-1all
trixie2.4.2+ds-2all
jessie2.1.4+ds-1all
bullseye2.3.1+ds-2all
buster2.2.3+ds-2all
stretch2.1.4+ds-3all
upstream2.4.3
Popcon: 1 users (0 upd.)*
Newer upstream!
License: DFSG free
Git

GAP is a system for computational discrete algebra with particular emphasis on computational group theory, but which has already proved useful also in other areas.

This package implements the Symbolic Computation Software Composability Protocol (SCSCP) for GAP.

gmp-ecm
Factor integers using the Elliptic Curve Method
Versions of package gmp-ecm
ReleaseVersionArchitectures
jessie6.4.4-2amd64,armel,armhf,i386
bullseye7.0.4+ds-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster7.0.4+ds-5amd64,arm64,armhf,i386
stretch7.0.4+ds-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid7.0.6+ds-1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
trixie7.0.6+ds-1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
bookworm7.0.5+ds-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Debtags of package gmp-ecm:
fieldmathematics
interfacecommandline
roleprogram
scopeutility
Popcon: 33 users (75 upd.)*
Versions and Archs
License: DFSG free
Git

gmp-ecm is a free implementation of the Elliptic Curve Method (ECM) for integer factorization.

The original purpose of the ECMNET project was to make Richard Brent's prediction true, i.e. to find a factor of 50 digits or more by ECM. This goal was attained on September 14, 1998, when Conrad Curry found a 53-digit factor of 2^677-1 c150 using George Woltman's mprime program. The new goal of ECMNET is now to find other large factors by ecm, mainly by contributing to the Cunningham project, most likely the longest, ongoing computational project in history according to Bob Silverman. A new record was set by Nik Lygeros and Michel Mizony, who found in December 1999 a prime factor of 54 digits using GMP-ECM.

See http://www.loria.fr/~zimmerma/records/ecmnet.html for more information about ecmnet.

This package provides the command line utility.

libspectra-dev
library for large scale eigenvalue problems (development files)
Versions of package libspectra-dev
ReleaseVersionArchitectures
bookworm1.0.1-2all
sid1.0.1-3all
trixie1.0.1-3all
Popcon: 2 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

Spectra stands for Sparse Eigenvalue Computation Toolkit as a Redesigned ARPACK. It is a C++ library for large scale eigenvalue problems, built on top of Eigen, an open source linear algebra library.

Spectra is implemented as a header-only C++ library, whose only dependency, Eigen, is also header-only. Hence Spectra can be easily embedded in C++ projects that require calculating eigenvalues of large matrices.

Spectra is designed to calculate a specified number of eigenvalues of a large square matrix. Usually this number of eigenvalues is much smaller than the size of the matrix, so that only a few eigenvalues and eigenvectors are computed, which in general is more efficient than calculating the whole spectral decomposition. Users can choose eigenvalue selection rules to pick the eigenvalues of interest, such as the largest k eigenvalues, or eigenvalues with largest real parts, etc.

netgen-doc
Automatyczny generator trójwymiarowych, czworościennych siatek - dokumentacja
Versions of package netgen-doc
ReleaseVersionArchitectures
trixie6.2.2404+dfsg1-4all
buster6.2.1804+dfsg1-3all
bookworm6.2.2006+really6.2.1905+dfsg-5.1all
bullseye6.2.2006+really6.2.1905+dfsg-2.1all
sid6.2.2404+dfsg1-4all
upstream6.2.2405
Debtags of package netgen-doc:
roledocumentation
Popcon: 0 users (0 upd.)*
Newer upstream!
License: DFSG free
Git

Netgen jest automatycznym generatorem trójwymiarowych, czworościennych siatek. Akceptuje on dane wejściowe z CSG (Constructive Solid Geometry) lub BRep (Boundary Representation) z plików w formacie STL. Netgen zawiera moduły do optymalizowania i hierarchicznego udoskonalania siatki.

Pakiet zawiera instrukcję obsługi (w formacie PDF) i przykładowe pliki.

primesieve
fast prime number generator C/C++ library
Versions of package primesieve
ReleaseVersionArchitectures
bullseye7.6+ds-1all
stretch5.7.2+ds-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
trixie12.4+ds-1all
bookworm11.0+ds-2all
buster7.3+ds-1amd64,arm64,armhf,i386
sid12.4+ds-1all
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

primesieve is a free software program and C/C++ library that generates primes using a highly optimized sieve of Eratosthenes implementation. primesieve can generate primes and prime k-tuplets up to nearly 2^64.

See http://primesieve.org/ for more information.

This dummy package provides the standard installation.

r-cran-evd
GNU R Functions for extreme value distributions
Versions of package r-cran-evd
ReleaseVersionArchitectures
bullseye2.3-3-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid2.3-7.1-1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
trixie2.3-7.1-1amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x
bookworm2.3-6.1-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster2.3-3-2amd64,arm64,armhf,i386
stretch2.3-2-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie2.3-0-1amd64,armel,armhf,i386
Popcon: 165 users (98 upd.)*
Versions and Archs
License: DFSG free
Git

Extends simulation, distribution, quantile and density functions to univariate and multivariate parametric extreme value distributions, and provides fitting functions which calculate maximum likelihood estimates for univariate and bivariate maxima models, and for univariate and bivariate threshold models.

Please cite: Alec G. Stephenson: evd: Extreme Value Distributions. R News 2(2):31-32 (2002)
sagetex
Embed Sage code and plots into LaTeX
Versions of package sagetex
ReleaseVersionArchitectures
bookworm3.6.1+ds-1all
sid3.6.1+ds-1all
bullseye3.5+ds-2all
buster3.2+ds-2all
stretch3.0+ds-4all
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

The SageTeX LaTeX package allows you to embed code, results of computations, and plots from the SageMath mathematics software suite into LaTeX documents. SageMath is an open-source Computer Algebra System (CAS).

This package provides the LaTeX package.

The package is enhanced by the following packages: sagetex-doc

Debian packages in contrib or non-free

matlab-support
distro integration for local MATLAB installations
Versions of package matlab-support
ReleaseVersionArchitectures
jessie0.0.19+nmu1 (contrib)all
sid0.1 (contrib)all
trixie0.1 (contrib)all
bookworm0.0.23 (contrib)all
bullseye0.0.22 (contrib)all
buster0.0.21 (contrib)all
stretch0.0.21 (contrib)all
Popcon: 16 users (10 upd.)*
Versions and Archs
License: DFSG free, but needs non-free components
Git

This package does not provide MATLAB. Instead, it configures an existing MATLAB installation to integrate more comfortably in a Debian installation.

Currently it provides /usr/bin/matlab through the alternatives system, offers to work around incompatibilities between the libraries bundled with MATLAB and system libraries, and provides a helper utility meant to be used by other packages to compile MEX extensions.

Install this if you would like your MATLAB installation to behave more like an ordinary Debian package. Other packages may depend on this one if they install MATLAB code, for example in order to compile MEX extensions.

Packaging has started and developers might try the packaging code in VCS

isabelle
generic theorem proving environment
Versions of package isabelle
ReleaseVersionArchitectures
VCS2008-4all
Versions and Archs
License: free
Debian package not available
Git
Version: 2008-4

Features a choice of several ready-to-use logics (Higher Order Logic, Higher Order Logic augmented with Scott's Logic for Computable Functions, First Order Logic, Zermello-Frankel, an extensional version of Martin-Löf Type Theory, Barendregt's Lambda Cube, a few sequent calculi (including modal and linear logics), ...) or defining your own logic / deductive system, a procedural and a declarative proof style, rich automation for classical reasoning, equational logic and algebra, LaTeX and X-Symbols notational support.

This package contains the isabelle toolchain.

Remark of Debian Science team: upstream prefers Isabelle not being packaged

There is an alternative software coq which is packaged in Debian (see above).

Unofficial packages built by somebody else

octaviz
3D visualization system for Octave
License: unknown

Octaviz is a visualization system for Octave. It is a wrapper that makes all VTK classes accessible from within Octave using the same object-oriented syntax as in C++ or Python. Octaviz also provides high-level functions for 2D and 3D visualization. Using those functions, most common visualization tasks (3D surface plots, contour plots etc) can be accomplished without any knowledge about VTK.

Remark of Debian Science team: Removed from Debian

This package was removed from Debian but some versions are available from http://snapshot.debian.org/

Reasons are given here: http://bugs.debian.org/535537

*Popularitycontest results: number of people who use this package regularly (number of people who upgraded this package recently) out of 244163