Debian Science Project
Summary
Mathematics
Debian Science: Mathematik-Pakete

Dieses Metapaket installiert Debian-Science-Pakete mit Bezug zur Mathematik. Vielleicht ist auch das Debtag field::mathematics und, je nach Ihrem Fokus, das Metapaket education-mathematics für Sie von Interesse.

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
mathematical tool suite for problems on linear spaces -- tools
Versions of package 4ti2
ReleaseVersionArchitectures
buster1.6.9+ds-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch1.6.7+ds-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid1.6.9+ds-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye1.6.9+ds-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 55 users (25 upd.)*
Versions and Archs
License: DFSG free
Git

4ti2 is a mathematical software package for algebraic, geometric and combinatorial problems on linear spaces.

This package provides the 4ti2 tool suite.

Agda
Abhängig typisierte, funktionale Programmiersprache
Versions of package agda
ReleaseVersionArchitectures
buster2.5.4.1-3all
bullseye2.6.0.1-1all
sid2.6.0.1-1all
jessie2.4.0.2-2all
wheezy2.3.0.1-2all
stretch2.5.1.1-3all
upstream2.6.1
Debtags of package agda:
rolemetapackage
Popcon: 0 users (0 upd.)*
Newer upstream!
License: DFSG free
Git

Agda ist eine abhängig typisierte, funktionale Programmiersprache: Sie besitzt induktive Familien, die wie Haskells GADTs sind, jedoch mit Werten und nicht nur mit Typen indiziert werden können. Zusätzlich besitzt sie parametrisierte Module, mixfix-Operatoren, Unicode-Kodierung und eine interaktive Emacs-Schnittstelle (die Typüberprüfung kann bei der Codeentwicklung hilfreich sein).

Agda ist auch ein Beweisassistent, ein interaktives System zum Schreiben und Überprüfen von Beweisen. Agda basiert auf der intuitionistischen Typentheorie, einem grundlegenden System für konstruktive Mathematik, entwickelt vom schwedischen Logiker Per Martin-Löf. Es ähnelt anderen Beweisassistenten, die auf abhängigen Typen basieren, wie Coq, Epigram und NuPRL.

Dieses Metapaket liefert den Emacs-Modus, die ausführbare Anwendung, die Standardbibliothek und die Dokumentation für Agda.

Auto-07p
software for continuation and bifurcation problems in ODE
Versions of package auto-07p
ReleaseVersionArchitectures
jessie0.9.1+dfsg-1amd64,armel,armhf,i386
buster0.9.1+dfsg-7amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid0.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
stretch0.9.1+dfsg-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Popcon: 12 users (5 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
Allzweck-Computeralgebrasystem: Hauptprogramme und Module
Maintainer: Camm Maguire
Versions of package axiom
ReleaseVersionArchitectures
wheezy20120501-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
sid20170501-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye20170501-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster20170501-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch20140801-12amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie20140801-6amd64,armel,armhf,i386
squeeze20100701-1.1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,powerpc,s390,sparc
Debtags of package axiom:
develcompiler, interpreter
fieldmathematics
interfacetext-mode
roleprogram
scopeutility
Popcon: 18 users (9 upd.)*
Versions and Archs
License: DFSG free

Axiom ist für die Erforschung und Entwicklung von mathematischen Algorithmen nützlich. Es definiert eine stark typisierte, mathematisch korrekte Typenhierarchie. Es hat eine Programmiersprache und einen eingebauten Compiler.

Axiom wird seit 1973 entwickelt und wurde als kommerzielles Produkt verkauft. Es wurde als Freie Software veröffentlicht.

Es laufen Bemühungen zur Erweiterung der Software:

 (a) Entwicklung einer besseren Nutzerschnittstelle
 (b) Nutzbarmachung als Lehrwerkzeug
 (c) Entwicklung eines Algebra-Serverprotokolls
 (d) Integration weiterer Mathematik
 (e) Neuaufbau der Algebra im »literate programming«-Stil
 (f) Integration logischer Programmierung
 (g) Entwicklung eines Axiom-Journals mit begutachteten Einreichungen.

Dieses Paket enthält das Hauptprogramm und alle vorkompilierten Algebra- und automatisch ladbaren Module.

The package is enhanced by the following packages: texmacs
Bliss
tool to compute graph automorphisms and labelings -- bin
Versions of package bliss
ReleaseVersionArchitectures
bullseye0.73-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster0.73-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch0.73-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
wheezy0.72-4amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie0.72-5amd64,armel,armhf,i386
sid0.73-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Debtags of package bliss:
interfacecommandline
roleprogram
Popcon: 19 users (11 upd.)*
Versions and Archs
License: DFSG free
Git

Bliss is a backtracking algorithm for computing automorphism groups and canonical forms of graphs, based on individualization and refinement. Its data structures, subroutines, and pruning heuristics are specially designed for fast handling of large and sparse graphs.

This package provides the command line tool bliss.

Cohomcalg
sheaf cohomology of line bundles on toric varieties
Versions of package cohomcalg
ReleaseVersionArchitectures
buster0.32+ds-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye0.32+ds-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid0.32+ds-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 11 users (4 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
Coin-or branch-and-cut mixed integer programming solver
Versions of package coinor-cbc
ReleaseVersionArchitectures
sid2.10.5+ds1-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
jessie2.8.12-1amd64,armel,armhf,i386
stretch2.8.12-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster2.9.9+repack1-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye2.10.5+ds1-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 101 users (71 upd.)*
Versions and Archs
License: DFSG free
Git

Cbc (Coin-or branch and cut) is an open-source mixed integer programming solver written in C++. It can be used as a callable library or as a stand-alone executable.

This package contains cbc executable.

Coinor-symphony
COIN-OR solver for mixed-integer linear programs
Maintainer: Debian QA Group
Versions of package coinor-symphony
ReleaseVersionArchitectures
stretch5.6.1-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster5.6.16+repack1-1.1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie5.6.1-1amd64,armel,armhf,i386
bullseye5.6.16+repack1-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid5.6.16+repack1-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
upstream5.6.17
Popcon: 23 users (8 upd.)*
Newer upstream!
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
Beweis-Assistent für Logik höherer Ordnung (Toplevel und Compiler)
Versions of package coq
ReleaseVersionArchitectures
wheezy8.3.pl4+dfsg-2amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
squeeze8.2.pl2+dfsg-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
experimental8.11.1~pre1-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el
stretch8.6-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye8.11.0-1amd64,arm64,ppc64el
sid8.11.0-1amd64,arm64,ppc64el
jessie8.4pl4dfsg-1amd64,armel,armhf,i386
buster8.9.0-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
upstream8.11.2
Debtags of package coq:
develcompiler
fieldmathematics
interfacecommandline, text-mode
roleprogram
scopeutility
uitoolkitncurses
Popcon: 47 users (12 upd.)*
Newer upstream!
License: DFSG free
Git

Coq ist ein Beweis-Assistent für Logik höherer Ordnung. Er ermöglicht die Entwicklung von Computerprogrammen, die konsistent mit ihrer formalen Spezifikation sind. Er wird mittels Objective Caml und Camlp5 entwickelt.

Dieses Paket enthält coqtop, eine Befehlszeilen-Schnittstelle zu Coq.

Eine grafische Oberfläche für Coq finden Sie im Paket coqide. Coq kann auch mit ProofGeneral verwendet werden, was die Bearbeitung der Beweise mit Emacs und XEmacs ermöglicht. Dies erfordert die Installation des Pakets proofgeneral.

The package is enhanced by the following packages: libaac-tactics-ocaml libssreflect-ocaml
Cryptominisat
SAT solver command line interface
Maintainer: Debian Science Team
Versions of package cryptominisat
ReleaseVersionArchitectures
bullseye5.7.1+dfsg1-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid5.7.1+dfsg1-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 2 users (5 upd.)*
Versions and Archs
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
sid20190909-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch20160720-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie2014-09-21-1amd64,armel,armhf,i386
buster20180815-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye20190909-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 45 users (31 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.

Feel++-apps
A library for the finite element method
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

Provides some applications codes(source and executables) such as laplacian with cG and dG methods, stokes, heat transfer, solid mechanics(static and dynamic).

Feel++ is a versatile finite element library to solve partial differential equations

Support 1D, 2D, 3D

Support the following basic entities: simplices (segment, triangle, tetrahedron) and product of simplices (quadrangle, hexahedron)

Support various point sets on these basic entities: equispaced points, quadrature points, interpolation points (Gauss-Lobatto, Fekete, WarpBlend?)

Support continuous and discontinuous Galerkin methods

Support various polynomial sets:

  • Lagrange(continuous,discontinuous,all dimensions,all interpolation point sets)

  • Dubiner(discontinuous), boundary adapted(continuous)

  • Legendre(discontinuous), boundary adapted(continuous)

Provide mathematical concept for higher order abstraction (Function spaces and associated elements, forms and operators)

Provide a language embedded in C++ for variational formulations, projection and numerical integration

Fenics
Automated Solution of Differential Equations
Maintainer: Debian Science Team
Versions of package fenics
ReleaseVersionArchitectures
stretch2016.2.0.1all
wheezy1.0.0-1all
sid2019.2.0.2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye2019.2.0.2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster2018.1.0.6amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie1.4.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
stretch1.0-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster1.0-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye1.0-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid1.0-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 46 users (25 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
Maintainer: Debian Science Team
Versions of package form
ReleaseVersionArchitectures
sid4.2.1+git20200217-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye4.2.1+git20200217-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster4.2.1-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch4.1-1amd64,i386,mips,mips64el,mipsel
Popcon: 13 users (5 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
Werkzeuge zur Berechnung von LLL-Reduktionen euklidischer Gitter
Versions of package fplll-tools
ReleaseVersionArchitectures
bullseye5.3.2-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid5.3.2-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
jessie4.0.4-2amd64,armel,armhf,i386
buster5.2.1-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch5.0.3-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Popcon: 11 users (5 upd.)*
Versions and Archs
License: DFSG free
Git

FpLLL ist eine Bibliothek zur Berechnung reduzierter (annähernd orthogonaler) Basen von euklidischen Gittern mittels des LLL-Algorithmus.

FpLLL enthält mehrere unterschiedliche Implementierungen des Fließkomma-LLL-Reduktionsalgorithmus, mit unterschiedlichen Verhältnissen von Geschwindigkeit/Sicherheit.

Dieses Paket enthält einen Wrapper, welcher automatisch die bestbewertete Sequenz aus den Variationen auswählt, mit dem Ziel schnellstmöglich eine sichere Ausgabe zu liefern. Im Falle des Wrappers ist die Reihenfolge der Variationen für den Anwender nicht einsehbar.

Dieses Paket enthält die grundlegende Werkzeuge, die libfpll nutzen.

Freefem
PDE-orientierte Sprache unter Verwendung der Finite-Elemente-Methode
Maintainer: Debian QA Group
Versions of package freefem
ReleaseVersionArchitectures
buster3.5.8-7amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid3.5.8-7amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye3.5.8-7amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch3.5.8-5.1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
wheezy3.5.8-5amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie3.5.8-5.1amd64,armel,armhf,i386
squeeze3.5.8-4.2amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
Debtags of package freefem:
develinterpreter
fieldphysics
interfacecommandline
roleprogram
scopeutility
Popcon: 21 users (9 upd.)*
Versions and Archs
License: DFSG free
Git

FreeFEM ist eine an partielle Differentialgleichungen angepasste Sprache. Ihr liegt die Finite-Elemente-Methode zugrunde. FreeFEM wurde erfolgreich in Lehre und Forschung eingesetzt.

Freefem++
Provides the binaries of the FreeFem++ FE suite
Versions of package freefem++
ReleaseVersionArchitectures
wheezy3.19.1-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
sid3.61.1+dfsg1-5.1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch3.47+dfsg1-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie3.31-2-1amd64,armel,armhf,i386
bullseye3.61.1+dfsg1-5.1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster3.61.1+dfsg1-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Popcon: 20 users (21 upd.)*
Versions and Archs
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++.

Screenshots of package freefem++
Freefem3d
Sprache und Löser für dreidimensionale partielle Differentialgleichungen
Maintainer: Debian Science Team
Versions of package freefem3d
ReleaseVersionArchitectures
jessie1.0pre10-3.2amd64,armel,armhf,i386
wheezy1.0pre10-3.1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
squeeze1.0pre10-2.1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
stretch1.0pre10-3.4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Debtags of package freefem3d:
develinterpreter
fieldphysics
interfacecommandline
roleprogram
scopeutility
uitoolkitqt
works-with3dmodel
Popcon: 8 users (1 upd.)*
Versions and Archs
License: DFSG free
Svn

FreeFEM3D (alias ff3d) löst dreidimensionale partielle Differentialgleichungen (partial differential equations, PDE). Es ist ein Mitglied der Familie der freefem-Programme (siehe http://www.freefem.org).

ff3d, ebenso wie seine Vettern, ist ein von einer benutzerfreundlichen Sprache gesteuerter PDE-Löser. Er löst viele Arten von Problemen wie Elastizität, Verhalten von Flüssigkeiten (Stokes und Navier-Stokes) und vieles mehr. Der Benutzer muss die das Problem beschreibende PDE in starker oder schwacher Formulierung (variational) eingeben.

ff3d kann entweder die Finite-Elemente-Methode (das Netz/die Geometrie werden vom Benutzer vorgegeben) oder einen Ansatz mit berechneten Bereichen wie in der konstruktiven Festkörpergeometrie (Constructive Solid Geometry, CSG) verwenden. Die Beschreibung erfolgt mit Hilfe der Sprache von POV-Ray. Aber auch andere, wie zum Beispiel VRML könnten hinzugefügt werden.

Die Verarbeitung der Ergebnisse bleibt dem Benutzer überlassen. Es können verschiedene Grafikwerkzeuge benutzt werden: die Ausgabe in die Formate mesh von MEdit oder VTK werden unterstützt. An der Realisierung eines VTK-Basis-Moduls für die Visualisierung wird gearbeitet.

Das Ziel von ff3d ist es, ein gutes Lehrmittel und einen Werkzeugsatz für die Forschung zu schaffen. (Der Code ist in C++ geschrieben und die Struktur erleichtert die Implementierung neuer Methoden.)

Freemat
Mathematik-Framework (größtenteils zu MATLAB kompatibel)
Versions of package freemat
ReleaseVersionArchitectures
buster4.2+dfsg1-6amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
squeeze4.0-3amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy4.0-5amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
jessie4.0-5amd64,armel,armhf,i386
stretch4.2+dfsg1-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Debtags of package freemat:
fieldmathematics
interfacecommandline, x11
roleprogram
scopeapplication
uitoolkitqt
x11application
Popcon: 24 users (9 upd.)*
Versions and Archs
License: DFSG free
Git

FreeMat ist eine freie Umgebung zum schnellen Entwickeln, Erstellen von wissenschaftlichen Prototypen sowie zur Datenverarbeitung. Es ist mit kommerziellen Systemen wie MATLAB von Mathworks und IDL von Research Systems vergleichbar, aber es ist Open Source. FreeMat ist unter der GPL-Lizenz verfügbar.

Screenshots of package freemat
Frobby
Computations with monomial ideals
Versions of package frobby
ReleaseVersionArchitectures
bullseye0.9.0-6amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster0.9.0-5amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch0.9.0-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid0.9.1-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 12 users (15 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 large 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
Computeralgebra-System für Gruppen, Algorithmen und Programmierung (GAP)
Maintainer: Bill Allombert
Versions of package gap
ReleaseVersionArchitectures
bullseye4.11.0-4all
buster4r10p0-7all
sid4.11.0-4all
jessie4r7p5-2all
wheezy4r4p12-2all
stretch4r8p6-2all
squeeze4r4p12-2all
Debtags of package gap:
fieldmathematics
rolemetapackage
Popcon: 4 users (6 upd.)*
Versions and Archs
License: DFSG free

GAP ist ein System für diskrete Computeralgebra, mit besonderem Schwerpunkt auf rechnergestützter Gruppentheorie. GAP bietet eine Programmiersprache, eine in der GAP-Sprache geschriebene Bibliothek mit tausenden von Funktionen, die algebraische Algorithmen umsetzen sowie große Datenbibliotheken von algebraischen Objekten. GAP wird in Forschung und Lehre für die Untersuchung von Gruppen und ihren Darstellungen, Ringen, Vektorräumen, Algebren, kombinatorischen Strukturen und vielem mehr verwendet.

Dieses Pseudopaket hängt von den GAP-Standardkomponenten ab.

Gap-character-tables
GAP Library of character tables
Maintainer: Bill Allombert
Versions of package gap-character-tables
ReleaseVersionArchitectures
squeeze1r1p3-5all
sid1r2p2.dfsg.0-3all
bullseye1r2p2.dfsg.0-3all
buster1r2p2.dfsg.0-3all
stretch1r2p2.dfsg.0-3all
jessie1r2p2.dfsg.0-2all
wheezy1r1p3-5all
Debtags of package gap-character-tables:
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. GAP provides a programming language, a library of thousands of functions implementing algebraic algorithms written in the GAP language as well as large data libraries of algebraic objects. GAP is used in research and teaching for studying groups and their representations, rings, vector spaces, algebras, combinatorial structures, and more.

This package contains the Character Table Library by Thomas Breuer.

Gap-design
block designs for GAP
Versions of package gap-design
ReleaseVersionArchitectures
buster1r6+ds-2all
sid1.7+ds-2all
bullseye1.7+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 constructing, classifying, partitioning and studying block designs.

Gap-factint
advanced methods for factoring integers for GAP
Versions of package gap-factint
ReleaseVersionArchitectures
buster1.6.2+ds-1all
bullseye1.6.3+ds-1all
sid1.6.3+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 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
jessie0.6.3+ds-1amd64,armel,armhf,i386
buster0.9.1+ds-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye0.9.1+ds-6amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid0.9.1+ds-6amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch0.7.4+ds-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,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
bullseye4.8.3+ds-1all
sid4.8.3+ds-1all
stretch4r7+ds-3all
buster4.8.1+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 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
wheezy3.6-2amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
buster3.14+ds-1all
bullseye3.15+ds-2all
sid3.15+ds-2all
stretch3.13+ds-2all
jessie3.12+ds1-2all
squeeze3.6-2amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
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
stretch3.7.0+ds-1all
bullseye3.9.3+ds-2all
buster3.9.1+ds-1all
sid3.9.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.

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
bullseye11.5.0+ds-1all
sid11.5.0+ds-1all
buster11.4.2+ds-3all
stretch11.3.1+ds-2all
jessie11.2.0+ds-1all
Popcon: 1 users (1 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
buster4r8p5-2all
jessie4r7p3-1all
wheezy4r4p10-1all
squeeze4r4p10-1all
stretch4r8p5-1all
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
jessie4r7p3-1all
squeeze4r4p10-1all
stretch4r8p5-1all
wheezy4r4p10-1all
buster4r8p5-2all
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
wheezy4r4p10-1all
jessie4r7p3-1all
buster4r8p5-2all
squeeze4r4p10-1all
stretch4r8p5-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
Systems Of Nearrings And Their Applications for GAP
Versions of package gap-sonata
ReleaseVersionArchitectures
bullseye2.9.1+ds-3all
buster2.9.1+ds-2all
sid2.9.1+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 package provides to GAP methods for the construction and analysis of finite nearrings.

Gap-table-of-marks
GAP TomLib - The GAP Library of Tables of Marks
Maintainer: Bill Allombert
Versions of package gap-table-of-marks
ReleaseVersionArchitectures
stretch1r2p5-2all
jessie1r2p2-1all
wheezy1r1p4-1all
squeeze1r1p4-1all
bullseye1.2.9-1all
buster1.2.7-2all
sid1.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 is a system for computational discrete algebra, with particular emphasis on Computational Group Theory. GAP provides a programming language, a library of thousands of functions implementing algebraic algorithms written in the GAP language as well as large data libraries of algebraic objects. GAP is used in research and teaching for studying groups and their representations, rings, vector spaces, algebras, combinatorial structures, and more.

This package contains the GAP Library of Tables of Marks by L. Naughton and G. Pfeiffer.

Gap-toric
toric variety for GAP
Versions of package gap-toric
ReleaseVersionArchitectures
buster1.9.4+ds-1all
bullseye1.9.5+ds-1all
sid1.9.5+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 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
wheezy4r4p10-1all
squeeze4r4p10-1all
buster4r8p5-2all
jessie4r7p3-1all
stretch4r8p5-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
Versions of package geneagrapher
ReleaseVersionArchitectures
bullseye1.0c2+git20180919-2all
buster1.0c2+git20180919-1all
stretch1.0c2+git20120704-2all
sid1.0c2+git20180919-2all
upstream1.0c2+git20181012
Popcon: 14 users (4 upd.)*
Newer upstream!
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.

Geogebra
Dynamische Mathematiksoftware für die Lehre
Versions of package geogebra
ReleaseVersionArchitectures
jessie4.0.34.0+dfsg1-3all
wheezy4.0.34.0+dfsg1-1all
squeeze3.2.44.0+dfsg1-2all
bullseye4.0.34.0+dfsg1-7all
sid4.0.34.0+dfsg1-7all
buster4.0.34.0+dfsg1-7all
stretch4.0.34.0+dfsg1-3all
Debtags of package geogebra:
fieldmathematics
interfacex11
roleprogram
scopeapplication
uitoolkitxlib
uselearning
works-withimage, image:raster, image:vector
works-with-formatpng, svg
x11applet, application
Popcon: 253 users (74 upd.)*
Versions and Archs
License: DFSG free
Git

GeoGebra ist ein dynamisches Geometrieprogramm. Sie können aus Punkten, Vektoren, Segmenten, Linien, Kegelabschnitten sowie Funktionen Konstruktionen erstellen und diese anschließend dynamisch verändern. Gleichzeitig können Gleichungen und Koordinaten direkt eingegeben werden.

Es unterstützt viele geometrische Konstruktionen und viele Aufgaben der Infinitesimalrechnung (Ableitungen, oskulierende Kreise, …).

GeoGebra-Dateien lassen sich in viele verschiedene Formate exportieren oder als interaktive Applets in Webseiten einbinden.

Screenshots of package geogebra
Geomview
Interaktiver Geometriebetrachter
Maintainer: Debian Science Team
Versions of package geomview
ReleaseVersionArchitectures
buster1.9.5-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie1.9.4-4.1amd64,armel,armhf,i386
wheezy1.9.4-3amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
sid1.9.5-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
squeeze1.9.4-2amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
bullseye1.9.5-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch1.9.5-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Debtags of package geomview:
fieldmathematics
interface3d, x11
roleprogram
scopeapplication
uitoolkitmotif
uselearning, viewing
works-with3dmodel
x11application
Popcon: 65 users (23 upd.)*
Versions and Archs
License: DFSG free
Git

Geomview ist ein interaktiver Geometriebetrachter, der besonders für mathematische Forschung und Ausbildung geeignet ist. Insbesondere kann geomview Dinge in hyperbolischen, sphärischen und Euklidischen Räumen darstellen.

Geomviev erlaubt mehrere, unabhängig kontrollierbare Objekte und Kameras. Es bietet eine interaktive Kontrolle für Bewegung, Erscheinung (einschließlich Beleuchtung, Schatten und Beschaffenheit der Materialien), Aufnehmen eines Objektes, Kanten oder Eckpunkte, Schnappschüsse im SGI-Bild-Format oder Renderman-RIB-Format. Das Hinzufügen und Löschen von Objekten wird über direkte Bearbeitung mit der Maus, Kontrollleisten und Tastenkürzel bereitgestellt. Externe Programme können gewünschte Aspekte des Betrachters (wie kontinuierliches Laden wechselnder Geometrie oder Kontrolle der Bewegungen bestimmter Objekte) steuern, während die interaktive Kontrolle des Restes weiter möglich ist.

Screenshots of package geomview
Gerris
Löst Strömungsprobleme von Flüssigkeiten
Versions of package gerris
ReleaseVersionArchitectures
jessie20131206+dfsg-5amd64,armel,armhf,i386
sid20131206+dfsg-19amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch20131206+dfsg-17amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster20131206+dfsg-18amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
squeeze20091109-dfsg.1-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
bullseye20131206+dfsg-19amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Debtags of package gerris:
fieldmathematics, physics
roleprogram
Popcon: 22 users (10 upd.)*
Versions and Archs
License: DFSG free
Git

Gerris ist ein System für die Lösung partieller Differentialgleichungen, die strömende Flüssigkeiten beschreiben.

Eine kurze Zusammenfassung der (derzeit) wichtigsten Möglichkeiten:

  • Löst die zeitabhängigen, nicht komprimierbaren Euler-, Stokes- oder Navier-Stokes-Gleichungen mit variabler Dichte
  • Adaptive Gitterverfeinerung: die Auflösung wird dynamisch der Strömung angepasst
  • Komplett automatische Erstellung von Gittern in komplexer Geometrie
  • Zweiter Ordnung in Raum und Zeit
  • Unbeschränkte Anzahl von advektierten/diffundierten passiven Markern
  • Flexible Spezifikation von zusätzlichen Quelltermen
  • Portable Unterstützung für parallele Berechnungen durch die MPI-Bibliothek
  • Mehrphasenströmungs-Methode (Volume-of-Fluid) für Strömungen zwischen zwei Flächen

Dieses Paket besitzt eingebaute MPI-Unterstützung.

Getdp
general environment for the treatment of discrete problems
Maintainer: Debian Science Team
Versions of package getdp
ReleaseVersionArchitectures
stretch2.9.2+dfsg1-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster3.0.4+dfsg1-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye3.2.0+dfsg1-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid3.2.0+dfsg1-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
upstream3.3.0
Popcon: 14 users (24 upd.)*
Newer upstream!
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
stretch0.5+dfsg-6amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie0.5+dfsg-5amd64,armel,armhf,i386
sid0.6.2-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye0.6.2-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
wheezy0.3dfsg-1.1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
squeeze0.3dfsg-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
buster0.6.2-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Popcon: 55 users (29 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
Das symbolische Rahmenwerk GiNaC (Werkzeuge)
Versions of package ginac-tools
ReleaseVersionArchitectures
squeeze1.5.8-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
bullseye1.7.9-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid1.7.10-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
wheezy1.6.2-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
buster1.7.5-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch1.7.2-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie1.6.2-1amd64,armel,armhf,i386
Debtags of package ginac-tools:
devellang:c++
fieldmathematics
interfaceshell, text-mode
roleprogram
scopeutility
uitoolkitncurses
useviewing
Popcon: 22 users (11 upd.)*
Versions and Archs
License: DFSG free

GiNaC (das bedeutet »GiNaC is not a CAS (Computer Algebra System)«) ist eine Bibliothek für die Ausführung symbolischer (d.h. nicht numerischer) Berechnungen direkt in der Programmiersprache C++.

Dieses Paket beinhaltet einige zusätzliche Werkzeuge wie das beliebte ginsh (GiNaC interactive shell) und viewgar (für das Betrachten von GiNaC-Archivdateien).

Gmsh
Generator für dreidimensionale Finite-Elemente-Netze
Versions of package gmsh
ReleaseVersionArchitectures
bullseye4.5.6+ds1-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster4.1.5+really4.1.3+ds1-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid4.5.6+ds1-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
jessie2.8.5+dfsg-1.1amd64,armel,armhf,i386
stretch2.15.0+dfsg1-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
squeeze2.4.2.dfsg-5amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
upstream4.6.0
Debtags of package gmsh:
interfacex11
roleprogram
scopeapplication
useediting
works-with3dmodel
x11application
Popcon: 74 users (30 upd.)*
Newer upstream!
License: DFSG free
Git

Gmsh ist ein Generator für 3D-Finite-Elemente-Netze mit integrierter CAD-Engine und Postprozessor. Sein Entwurfsziel ist die Bereitstellung eines schnellen, leichtgewichtigen Netz-Werkzeugs mit parametrischer Eingabe und hochentwickelten Visualisierungsmöglichkeiten. Gmsh wurde um vier Module herum gebaut: Geometrie, Netzgenerierung, Gleichungslöser und Nachbearbeitung. Die Festlegung der Eingabewerte für diese Module wird entweder interaktiv über eine graphische Benutzeroberfläche oder über ASCII-Textdateien in der Gmsh-eigenen Skriptsprache realisiert.

Ein Blick in das Gmsh-Handbuch gibt Ihnen einen tieferen Einblick in die Leistungsfähigkeit von Gmsh.

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
Große Sammlung von Werkzeugen für das Graphzeichnen
Versions of package graphviz
ReleaseVersionArchitectures
squeeze2.26.3-5+squeeze2amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
bullseye2.42.2-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid2.42.2-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch2.38.0-17amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie2.38.0-7amd64,armel,armhf,i386
wheezy-security2.26.3-14+deb7u2amd64,armel,armhf,i386
wheezy2.26.3-14+deb7u2amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
squeeze-security2.26.3-5+squeeze2amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
buster2.40.1-6amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
upstream2.44.0
Debtags of package graphviz:
fieldmathematics
interfacecommandline, x11
roleprogram
sciencevisualisation
scopeutility
uitoolkitathena, tk
useviewing
works-withgraphs, image, image:raster, image:vector
x11application
Popcon: 2658 users (1280 upd.)*
Newer upstream!
License: DFSG free

Graphzeichnen widmet sich dem Problem der Visualisierung von strukturierter Information durch konstruieren geometrischer Darstellungen von abstrakten Graphen und Netzwerken. Automatische Generierung von Graphzeichnungen sind wichtige Anwendungen in Schlüsseltechnologien wie Datenbankdesign, Softwaretechnik, VLSI und Netzwerkdesign sowie visuelle Schnittstellen in anderen Bereichen. Situationen in denen diese Werkzeuge besonders nützlich sind, sind unter anderem:

  • Sie würden gerne ein Programm neu strukturieren und müssen erst die Beziehungen zwischen dessen Typen, Prozeduren und Quelldaten verstehen.
  • Sie müssen die Flaschenhälse in einem Internet-Backbone finden - nicht nur die individuellen Verknüpfungen, sondern deren Beziehungen.
  • Sie debuggen ein Protokoll oder eine Mikroarchitektur, dargestellt als endlicher Automat und müssen zuerst herausfinden, wie ein bestimmter Fehlerstatus zustande kommt.
  • Sie würden gerne ein Datenbankschema, eine Wissensdatenbank oder ein verteiltes Programm durchsehen, die grafisch dargestellt sind.
  • Sie möchten eine Übersicht einer Sammlung von verknüpften Dokumenten sehen.
  • Sie möchten Muster und Interessensgebiete in einer Datenbank von Telefonanrufen oder E-Mail-Nachrichten entdecken.

Dieses Paket enthält die Werkzeuge für die Kommandozeile.

Screenshots of package graphviz
Hol-light
HOL Light theorem prover
Versions of package hol-light
ReleaseVersionArchitectures
sid20190729-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
wheezy20120602-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie20131026-1amd64,armel,armhf,i386
stretch20170109-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye20190729-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 2 users (2 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
Leistungsstarke Programmiersprache für technische Berechnungen
Maintainer: Debian Julia Team
Versions of package julia
ReleaseVersionArchitectures
sid1.4.1+dfsg-1amd64,arm64,i386
bullseye1.4.1+dfsg-1amd64,arm64,i386
stretch0.4.7-6amd64,arm64,armhf,i386,mips64el,ppc64el
jessie0.3.2-2amd64,i386
buster1.0.3+dfsg-4amd64,arm64,armhf,i386,ppc64el
upstream1.4.2
Debtags of package julia:
uitoolkitncurses
Popcon: 135 users (49 upd.)*
Newer upstream!
License: DFSG free
Git

Julia ist eine leistungsstarke, dynamische höhere Programmiersprache für technische Berechnungen mit einer Syntax, die Benutzern von anderen Umgebungen für technische Berechnungen vertraut sein wird. Sie stellt einen fortgeschrittenen Compiler, verteilte parallele Ausführungen, numerische Genauigkeit und eine umfangreiche Bibliothek für mathematische Funktionen bereit. Die Bibliothek, hauptsächlich in Julia geschrieben, integriert außerdem reife, ausgeklügeltsten C- und Fortran-Bibliotheken für lineare Algebra, Zufallszahlengeneration, FFTs und String-Verarbeitung. Julia-Programme werden um das Definieren von Funktionen und Überladen dieser Funktionen für verschiedene Kombinationen an Argumenttypen (die auch benutzerdefiniert sein können) organisiert.

Dieses Paket stellt eine vollständige Julia-Installation bereit (JIT-Compiler, Standardbibliothek, textbasierte Benutzerschnittstelle).

Screenshots of package julia
Kseg
Sketchpad for planar Euclidean geometry
Versions of package kseg
ReleaseVersionArchitectures
squeeze0.4.0.3-3amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
Debtags of package kseg:
fieldmathematics
interfacex11
roleprogram
uitoolkitqt
uselearning, viewing
x11application
Popcon: 1 users (0 upd.)*
Versions and Archs
License: DFSG free

KSEG allows you to interactively create a geometrical construction, similar to what you can do with a straight edge and compass. Points may be inserted on the page with right mouse-button clicks, and then used to form segments, lines, circles, or other geometrical objects. At any time you can drag existing points around, and watch how the constructed objects respond.

Screenshots of package kseg
Lcalc
Programm zum Rechnen mit L-Funktionen
Maintainer: Debian Science Team
Versions of package lcalc
ReleaseVersionArchitectures
bullseye1.23+dfsg-11amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid1.23+dfsg-11amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
squeeze0.0.20080205-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy0.0.20080205-1.2amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie1.23+dfsg-3amd64,armel,armhf,i386
stretch1.23+dfsg-6amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster1.23+dfsg-11amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Debtags of package lcalc:
roleprogram
Popcon: 47 users (23 upd.)*
Versions and Archs
License: DFSG free
Git

Lcalc ist ein Programm zum Berechnen von Nullstellen und Werten von L-Funktionen. Im Leistungsumfang befinden sich die L-Funktionen der Riemannschen Zeta-Funktion, der Ramanujan-Delta-Funktion und von elliptischen Kurven über die rationalen Zahlen.

Libmatheval1
GNU-Bibliothek zur Bewertung symbolischer mathematischer Ausdrücke (Laufzeit)
Versions of package libmatheval1
ReleaseVersionArchitectures
squeeze1.1.7-1+nmu1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy1.1.8-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie1.1.11+dfsg-2amd64,armel,armhf,i386
stretch1.1.11+dfsg-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster1.1.11+dfsg-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye1.1.11+dfsg-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid1.1.11+dfsg-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Debtags of package libmatheval1:
devellang:c, library
fieldmathematics
roledevel-lib, shared-lib
suitegnu
Popcon: 7 users (7 upd.)*
Versions and Archs
License: DFSG free
Git

Die GNU-Bibliothek libmatheval enthält mehrere Verfahren, die es ermöglichen, im Speicher eine Baumdarstellung mathematischer Funktionen über einzelne oder mehrere Variablen zu erstellen. Diese Darstellung kann in der Folge verwendet werden, die Werte der Funktionen für bestimmte Variablenwerte zu bestimmen, die entsprechenden Bäume für die Ableitung der Funktionen nach angegebenen Variablen zu erstellen oder die im Speicher befindlichen Bäume als Zeichenfolge auszugeben. Die Bibliothek unterstützt beliebige Variablennamen in Ausdrücken, dezimale Konstanten, grundlegende unäre und binäre Operatoren und elementare mathematische Funktionen.

Dieses Paket enthält die Laufzeitbibliothek.

Lp-solve
Lösung (gemischt-ganzzahliger) linearer Optimierungsprobleme
Versions of package lp-solve
ReleaseVersionArchitectures
buster5.5.0.15-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie5.5.0.13-7amd64,armel,armhf,i386
wheezy5.5.0.13-7amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
squeeze5.5.0.13-7amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
bullseye5.5.0.15-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid5.5.0.15-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch5.5.0.15-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Debtags of package lp-solve:
fieldmathematics
roleprogram
scopeapplication
Popcon: 3514 users (12669 upd.)*
Versions and Archs
License: DFSG free

Ein lineares Optimierungsproblem (linear programming problem, LP) kann wie folgt formuliert werden: Löse A.x >= V1, mit maximalem V2.x. A ist eine Matrix, x ist ein Vektor von (nichtnegativen) Variablen, V1 ist ein die »rechte Seite« genannter Vektor, und der Vektor V2 beschreibt die Zielfunktion.

Ein ganzzahliges Optimierungsproblem (integer linear programming problem, ILP) ist ein LP mit der Nebenbedingung, dass alle Variablen ganze Zahlen sind. In einem gemischt-ganzzahligen Optimierungsproblem (mixed integer linear programming problem, MILP) sind einige der Variablen ganze Zahlen, andere reell.

Das Programm lp_solve löst LP-, ILP-, und MILP-Aufgaben. Es ist allgemeiner als oben beschrieben, denn für jede einzelne Zeile von A (also für jede Randbedingung) ist die Angabe der (Un-)Gleichheit <=, >= oder = möglich. Das Ergebnis gibt Werte für alle Variablen an.

lp_solve nutzt den Simplex-Algorithmus und Methoden für dünn besetzte Matrizen für reine LP-Probleme. Wenn eine oder mehrere Variablen als ganze Zahlen erklärt sind, wird der Simplex-Algorithmus wiederholt in einem Branch-And-Bound-Verfahren angewendet, bis eine optimale Lösung gefunden wird. lp_solve kann Dateien im MPS-Format einlesen.

Lrcalc
Programme zur Berechnung von Littlewood-Richardson-Koeffizienten
Maintainer: Debian Science Team
Versions of package lrcalc
ReleaseVersionArchitectures
sid1.2-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster1.2-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie1.2-1amd64,armel,armhf,i386
stretch1.2-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye1.2-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 10 users (4 upd.)*
Versions and Archs
License: DFSG free
Git

Der »Littlewood-Richardson Calculator« ist ein Paket, bestehend aus C-Programmen, zur Berechnung von Littlewood-Richardson-Koeffizienten. Es ermöglicht eine schnelle Berechnung einzelner LR-Koeffizienten, Produkten von Schur-Funktionen und schiefer Schur-Funktionen. Die Schnittstelle nutzt die gleiche Notation wie das SF-Paket von John Stembridge, um eine gleichzeitige Verwendung beider Pakete zu vereinfachen.

Dieses Paket enthält die Befehlszeilenprogramme.

Lrslib
Paket für das Zählen von Ecken und Extremalstrahlen eines konvexen Polyeders
Maintainer: David Bremner
Versions of package lrslib
ReleaseVersionArchitectures
squeeze0.42c-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
buster0.70-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
experimental0.71-4amd64,arm64,mips64el,ppc64el,s390x
sid0.70-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye0.70-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch0.51-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie0.43-1amd64,armel,armhf,i386
wheezy0.42c-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
upstream0.71
Debtags of package lrslib:
roleprogram
Popcon: 11 users (15 upd.)*
Newer upstream!
License: DFSG free
Git

Ein konvexer Polyeder ist die Menge von Punkten, die eine endliche Menge von linearen Ungleichungen erfüllt. Die Untersuchung der Ecken und Extremalstrahlen solcher Systeme ist z.B. für Mathematik und Optimierung wichtig und nützlich. In der Interpretation des Dualraums ist das Ermitteln der Ecken eines (begrenzten) Polyeders gleichwertig mit der Feststellung der konvexen Hülle (Ungleichungen an den Grenzflächen) einer Punktmenge (beliebiger Dimension). Lrs (umgekehrte lexikographische Suche) hat zwei wichtige Merkmale, die für bestimmte Anwendungen sehr wichtig sein können: sie arbeitet mit exakter Arithmetik und der Speicherverbrauch ist proportional zur Größe der Eingangsdaten und nicht zur Größe des Ergebnisses.

Magnus
Computational group theory software with GUI
Maintainer: Ben Burton (Richard Darst)
Versions of package magnus
ReleaseVersionArchitectures
bullseye1.0.3-1all
squeeze20060324-5.2amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
sid1.0.3-1all
Popcon: 8 users (2 upd.)*
Versions and Archs
License: DFSG free

The MAGNUS computational group theory package is an innovative symbolic algebra package providing facilities for doing calculations in and about infinite groups. Almost all symbolic algebra systems are oriented toward finite computations that are guaranteed to produce answers, given enough time and resources. By contrast, MAGNUS is concerned with experiments and computations on infinite groups which in some cases are known to terminate, while in others are known to be generally recursively unsolvable.

MAGNUS features an intuitive graphical user interface, facilities for running different algorithms on the same problem in parallel, generation of approximations for working on otherwise infeasible problems, genetic algorithms and a plug-in package manager.

Mathicgb
Compute Groebner bases (command line tool)
Versions of package mathicgb
ReleaseVersionArchitectures
sid1.0~git20181123-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch1.0~git20170104-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el
bullseye1.0~git20181123-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
upstream1.0~git20200526
Popcon: 8 users (10 upd.)*
Newer upstream!
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
Portables Computeralgebrasystem (CAS)
Maintainer: tony mancill
Versions of package mathomatic
ReleaseVersionArchitectures
sid16.0.5-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch15.8.2-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye16.0.5-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster16.0.5-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
squeeze15.1.1-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy15.8.2-2amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie15.8.2-2amd64,armel,armhf,i386
Debtags of package mathomatic:
fieldmathematics
interfacetext-mode
roleprogram
scopeapplication
uitoolkitncurses
usecalculating, learning
Popcon: 39 users (8 upd.)*
Versions and Archs
License: DFSG free
Git

Mathomatic implementiert die meisten algebraischen Regeln der mathematischen Operatoren +, -, *, /, % (Modulus) und Potenz (inklusive Wurzelfunktion).

Mathomatic kann symbolisch:

  • Gleichungen kombinieren und auflösen,
  • Ausdrücke und Gleichungen vollständig vereinfachen und vergleichen,
  • einfache Transformationen und Reihen berechnen,
  • Standard-, komplexe Zahlen-, Kongruenz- und Polynomarithmetik durchführen,
  • aus vereinfachten Gleichungen optimierten Quelltext in den Programmiersprachen C, Java und Python erstellen,
  • Ausdrücke mit gnuplot in zwei oder drei Dimensionen ausgeben,
  • schnell Berechnungen ausführen, Ausdrücke einfärben, usw.
Other screenshots of package mathomatic
VersionURL
14.5.3-1https://screenshots.debian.net/screenshots/000/002/311/large.png
Screenshots of package mathomatic
Matita
Interaktiver Beweiser von Lehrsätzen
Versions of package matita
ReleaseVersionArchitectures
wheezy0.99.1-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
sid0.99.3-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
squeeze0.5.8-2amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
jessie0.99.1-3amd64,armel,armhf,i386
stretch0.99.3-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Debtags of package matita:
fieldmathematics
interfacecommandline, x11
roleprogram
uitoolkitgtk
usechecking
x11application
Popcon: 8 users (2 upd.)*
Versions and Archs
License: DFSG free
Git

Matita ist ein grafischer, interaktiver Theorem-Beweiser auf der Grundlage des Calculus of (Co)Inductive Constructions.

Screenshots of package matita
Maxima-sage
Computer algebra system -- base system
Maintainer: Debian Science Team
Versions of package maxima-sage
ReleaseVersionArchitectures
stretch5.35.1-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid5.42.2-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye5.42.2-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster5.41.0+ds-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
upstream5.44.0
Popcon: 58 users (24 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
Markov-Cluster-Algorithmus
Versions of package mcl
ReleaseVersionArchitectures
stretch14-137-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid14-137+ds-8amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye14-137+ds-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
squeeze10-148-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy12-068-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie14-137-1amd64,armel,armhf,i386
buster14-137+ds-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Debtags of package mcl:
fieldmathematics
roleprogram
Popcon: 21 users (25 upd.)*
Versions and Archs
License: DFSG free
Git

Das Paket MCL ist eine Implementierung des MCL-Algorithmus. Es stellt Werkzeuge zur Manipulation dünn besetzter Matrizen (der essentiellen Datenstruktur im MCL-Algorithmus) und zur Durchführung von Cluster-Experimenten zur Verfügung.

MCL wird derzeit in Wissenschaften wie Biologie (Erkennung von Proteinfamilien, Genomforschung), Informatik (Clustering von Knoten in Peer-to-Peer-Netzwerken) und Sprachwissenschaften (Textanalyse) verwendet.

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
wheezy2.2.1-3amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
buster2.2.1-5amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch2.2.1-5amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid2.2.1-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye2.2.1-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
jessie2.2.1-5amd64,armel,armhf,i386
Debtags of package minisat:
fieldmathematics
roleprogram
Popcon: 155 users (75 upd.)*
Versions and Archs
License: DFSG free
Git

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
Grafischer Simulator für gewöhnliche Differentialgleichungen
Maintainer: Varun Hiremath
Versions of package model-builder
ReleaseVersionArchitectures
wheezy0.4.1-6all
stretch0.4.1-6.2all
buster0.4.1-6.2all
squeeze0.4.1-5all
jessie0.4.1-6.2all
Debtags of package model-builder:
roleprogram
Popcon: 4 users (2 upd.)*
Versions and Archs
License: DFSG free
Svn

Model Builder ist ein grafisches Werkzeug für das Entwerfen, Simulieren und Analysieren mathematischer Modelle, die aus einem System von gewöhnlichen Differentialgleichungen (ordinary differential equations, ODEs) bestehen.

Mumps-test
Beispiel-/Testprogramme mit MUMPS
Versions of package mumps-test
ReleaseVersionArchitectures
stretch4.10.0.dfsg-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
squeeze4.9.2.dfsg-4amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
bullseye5.3.1-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid5.3.1-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
wheezy4.10.0.dfsg-3amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie4.10.0.dfsg-3amd64,armel,armhf,i386
buster5.1.2-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Popcon: 9 users (20 upd.)*
Versions and Archs
License: DFSG free
Git

MUMPS führt eine direkte Lösung für große, dünn besetzte, lineare Gleichungssysteme ein, mit Schwerpunkt auf symmetrisch positiv definiten Matrizen. Es kann auf verteilten Matrizen operieren, z.B. über einen Cluster. Es hat Fortran- und C-Schnittstellen und kann an Ordnungswerkzeuge wie z.B. Scotch anschließen.

Nauty
library for graph automorphisms -- interface and tools
Versions of package nauty
ReleaseVersionArchitectures
wheezy2.4r2-1 (non-free)amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
sid2.6r10+ds-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye2.6r10+ds-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster2.6r10+ds-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch2.6r7+ds-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie2.5r9+ds-1 (non-free)amd64,i386
squeeze2.4-2 (non-free)amd64,armel,i386,ia64,mips,mipsel,powerpc,s390,sparc
upstream2.7r1
Debtags of package nauty:
interfacecommandline
roleprogram
Popcon: 54 users (28 upd.)*
Newer upstream!
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
Netgen
Generator zur automatischen Erzeugung von 3D-Tetraedergittern
Versions of package netgen
ReleaseVersionArchitectures
sid6.2.1804+dfsg1-3.1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
squeeze4.9.12.dfsg-3amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
buster6.2.1804+dfsg1-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye6.2.1804+dfsg1-3.1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
upstream6.2.2006
Debtags of package netgen:
roleprogram
Popcon: 20 users (22 upd.)*
Newer upstream!
License: DFSG free
Git

NETGEN erzeugt automatisch 3D-Tetraedergitter. Es akzeptiert geometrisch-konstruktive (constructive solid geometry, CSG) und durch Grenzen bestimmte (boundary representation, BRep) Eingaben im STL-Format. NETGEN beinhaltet Module zur Optimierung und hierarchischen Verfeinerung der Gitter.

Screenshots of package netgen
Normaliz
math computing tools for affine monoids, rational polytopes and cones
Versions of package normaliz
ReleaseVersionArchitectures
sid3.8.5+ds-1all
stretch3.1.1+ds-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster3.6.3+ds-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye3.8.5+ds-1all
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

Normaliz is a mathematical tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.

This dummy package provides the standard installation.

Octave
GNU Octave language for numerical computations
Versions of package octave
ReleaseVersionArchitectures
wheezy3.6.2-5+deb7u1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
bullseye5.2.0-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch4.0.3-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie3.8.2-4amd64,armel,armhf,i386
sid5.2.0-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster4.4.1-5amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Debtags of package octave:
fieldmathematics
roleprogram
suitegnu
Popcon: 725 users (569 upd.)*
Versions and Archs
License: DFSG free
Git

Octave is a (mostly MATLAB® compatible) high-level language, primarily intended for numerical computations. It provides a convenient command-line interface for solving linear and nonlinear problems numerically.

Octave can be dynamically extended with user-supplied C++ files.

The package is enhanced by the following packages: liboctave-dev octave-doc texmacs
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
Paket zum Analysieren von Gitterpolytopen
Versions of package palp
ReleaseVersionArchitectures
bullseye2.11-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
wheezy1.1-1.2amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie2.1-2amd64,armel,armhf,i386
stretch2.1-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster2.1-5amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid2.11-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
squeeze1.1-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
Debtags of package palp:
roleprogram
useanalysing
Popcon: 55 users (39 upd.)*
Versions and Archs
License: DFSG free
Git

Dieses Paket enthält verschiedene Hilfsprogramme um mit Gitterpolytopen zu arbeiten:

  • mori.x berechnet Stern-Triangulationen eines Polytops
  • cws.x erzeugt Gewichtungssysteme und kombinierte Gewichtungssysteme
  • class.x klassifiziert reflexive Polytope
  • poly.x berechnet Daten eines Polytops
  • nef.x berechnet Hodge-Zahlen einer nef-Partition
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-extra
Computeralgebrasystem PARI/GP - zusätzliche Datendateien
Maintainer: Bill Allombert
Versions of package pari-extra
ReleaseVersionArchitectures
wheezy3-1all
squeeze2.1-1all
Debtags of package pari-extra:
fieldmathematics
roleapp-data, documentation
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free

PARI/GP ist ein weit verbreitetes Computeralgebrasystem. Ausgelegt für schnelle Berechnungen aus der Zahlentheorie (Faktorisierungen, algebraische Zahlentheorie, elliptische Kurven,...), enthält es auch eine große Anzahl anderer nützlicher Funktionen zur Manipulation mathematischer Objekte wie Matrizen, Polynome, Potenzreihen, algebraische Zahlen usw. sowie eine Reihe transzendenter Funktionen. PARI steht auch als C-Bibliothek zur Implementierung schneller Berechnungen zur Verfügung.

Ursprünglich von Henri Cohen und seinen Mitarbeitern (Universität Bordeaux I, Frankreich) entwickelt, steht PARI jetzt unter der GPL und wird von Karim Belabas mit der Hilfe vieler freiwilliger Beitragender gewartet.

Dieses Übergangspaket hängt ab von:

 pari-galdata: die Galois-Lösungen für die Funktion polgalois
 pari-elldata: die Datenbank elliptischer Kurven für die Funktion ellsearch
 pari-seadata: die modularen Polynome für die Funktion ellap
Nach dem Upgrade kann es gefahrlos entfernt werden.
Pari-gp
PARI/GP Computeralgebrasystem
Maintainer: Bill Allombert
Versions of package pari-gp
ReleaseVersionArchitectures
stretch2.9.1-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid2.11.4-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye2.11.4-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster2.11.1-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie2.7.2-1amd64,armel,armhf,i386
wheezy2.5.1-2amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
squeeze2.3.5-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
Debtags of package pari-gp:
fieldmathematics
roledocumentation
uitoolkitncurses
Popcon: 85 users (125 upd.)*
Versions and Archs
License: DFSG free

PARI/GP ist ein weit verbreitetes Computeralgebrasystem. Ausgelegt für schnelle Berechnungen aus der Zahlentheorie (Faktorisierungen, Algebraische Zahlentheorie, Elliptische Kurven,...), enthält es auch eine große Anzahl anderer nützlicher Funktionen zur Manipulation mathematischer Objekte wie Matrizen, Polynome, Potenzreihen, algebraische Zahlen usw. sowie eine Reihe transzendenter Funktionen. PARI steht auch als C-Bibliothek zur Implementierung schneller Berechnungen zur Verfügung.

Ursprünglich von Henri Cohen und seinen Mitarbeitern (Universität Bordeaux I, Frankreich) entwickelt, steht PARI jetzt unter der GPL und wird von Karim Belabas mit der Hilfe vieler freiwilliger Beitragender gewartet.

Dieses Paket enthält den GP-Rechner.

The package is enhanced by the following packages: texmacs
Planarity
Program for planarity-related graph algorithms
Versions of package planarity
ReleaseVersionArchitectures
bullseye3.0.0.5-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid3.0.0.5-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch3.0.0.5-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster3.0.0.5-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Popcon: 10 users (8 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
Verschiedene Werkzeuge, die libpolylib nutzen
Versions of package polylib-utils
ReleaseVersionArchitectures
squeeze5.22.5-1+dfsgamd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
sid5.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
buster5.22.5-4+dfsgamd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch5.22.5-3+dfsgamd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie5.22.5-3+dfsgamd64,armel,armhf,i386
wheezy5.22.5-3+dfsgamd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
Debtags of package polylib-utils:
roleprogram
Popcon: 11 users (4 upd.)*
Versions and Archs
License: DFSG free
Git

PolyLib ist eine freie C-Bibliothek für Berechnungen auf Polyedern. Die Bibliothek bearbeitet Objekte wie Vektoren, Matrizen, Gitter, Polyeder, Z-Polyeder, Vereinigungsmengen von Polyedern und andere dazwischen liegende Strukturen. Sie stellt Funktionen für alle wichtigen Operationen auf diesen Strukturen bereit.

Dieses Paket enthält verschiedene Werkzeuge für die Arbeit mit Polyedern.

Proofgeneral
Generisches Frontend für Beweisassistenten
Maintainer: Hendrik Tews
Versions of package proofgeneral
ReleaseVersionArchitectures
bullseye4.4.1~pre170114-1.2all
jessie4.3~pre131011-0.2all
sid4.4.1~pre170114-1.2all
squeeze3.7-4all
wheezy4.2~pre120605-2all
stretch4.4.1~pre170114-1all
Debtags of package proofgeneral:
fieldmathematics
interfacetext-mode, x11
roleplugin
suiteemacs
useediting
Popcon: 23 users (3 upd.)*
Versions and Archs
License: DFSG free

Der »Major Mode« Proof General verwandelt Emacs in einen interaktiven Beweisassistenten, um mithilfe verschiedener Theorembeweiser formale mathematische Beweise zu schreiben.

Mit diesem Paket unterstützt Proof General Coq. (Es gibt keinen anderen Beweisassistenten, den man sinnvoll unterstützen kann.)

Other screenshots of package proofgeneral
VersionURL
4.2~pre120605-2 -https://screenshots.debian.net/screenshots/000/009/621/large.png
Screenshots of package proofgeneral
Proofgeneral-coq
generic interface for proof assistants - coq support
Versions of package proofgeneral-coq
ReleaseVersionArchitectures
squeeze3.7-4all
Debtags of package proofgeneral-coq:
fieldmathematics
interfacecommandline
roleplugin
suiteemacs
usechecking
Popcon: 3 users (0 upd.)*
Versions and Archs
License: DFSG free

Proof General is a major mode to turn Emacs into an interactive proof assistant to write formal mathematical proofs using a variety of theorem provers. It works with either XEmacs or GNU Emacs.

This package provides the Proof General support for the Coq theorem prover which is available as another package. The package is however not required to just edit Coq files.

Prover9
theorem prover and countermodel generator
Maintainer: Debian QA Group
Versions of package prover9
ReleaseVersionArchitectures
stretch0.0.200911a-2.1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster0.0.200911a-2.1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
squeeze0.0.200902a-2amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy0.0.200902a-2.1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie0.0.200911a-2.1amd64,armel,armhf,i386
Popcon: 29 users (8 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
PYthon Optimization Modeling Objects
Maintainer: Daniel Stender
Versions of package pyomo
ReleaseVersionArchitectures
stretch4.3.11388+git20160622.d3e3f0a-1all
Popcon: 150 users (0 upd.)*
Versions and Archs
License: DFSG free
Svn

Pyomo is a tool for formulating and analyzing mathematical models that represent real-world systems for complex optimization applications as applied in different areas of business, engineering, research, and administration. It's used to define symbolic problems, create concrete problem instances, and solve this instances with standard solvers. Pyomo provides a capability that is commonly associated with algebraic modeling languages (AML) and applications like AMPL, AIMMS, or GAMS, but has its modeling objects within the Python environment. Pyomo features a versatile set of modeling components, and supports concrete models (defined with data) as well as abstract models (defined without data).

For the processing of instantiated models Pyomo supports a wide range of independent solvers that could be written either in Python or other languages. Pyomo supports the general ASL (AMPL Solver Library) compatible interface, and has invidividual backends for solvers which some of them are available within Debian (GLPK, COIN-OR CPC, OPENOPT). Pyomo's solver manager could also employ the public NEOS Server to remotely optimize models if network access is available.

Pyomo was formerly released as the Coopr software library, and includes the PySP package (Pyomo Stochastic Programming) which provides generic solvers for stochastic programming.

Registry entries: Bioconda 
Python3-deap
Verteilte evolutionäre Algorithmen in Python3
Maintainer: Miriam Ruiz
Versions of package python3-deap
ReleaseVersionArchitectures
sid1.3.1-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye1.3.1-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster1.0.2.post2-6all
stretch1.0.2.post2-2all
jessie1.0.1-3+deb8u1all
Popcon: 54 users (15 upd.)*
Versions and Archs
License: DFSG free
Git

DEAP ist ein neuartiges evolutionäres rechnergestütztes Rahmenwerk für Rapid Prototyping und zum Testen von Ideen. Es versucht Algorithmen klar zu formulieren und Datenstrukturen transparent zu machen. Es arbeitet in perfekter Harmonie mit Parallelisierungsmechanismen wie Multiprocessing und SCOOP.

Dieses Paket enthält die Module für Python3.

Python3-dolfin
Python interface for DOLFIN (Python 3)
Maintainer: Debian Science Team
Versions of package python3-dolfin
ReleaseVersionArchitectures
buster2018.1.0.post1-16amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid2019.2.0~git20200218.027d9cc-6amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye2019.2.0~git20200218.027d9cc-6amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 23 users (18 upd.)*
Versions and Archs
License: DFSG free
Git

DOLFIN is the Python and C++ interface of the FEniCS project for the automated solution of differential equations, providing a consistent PSE (Problem Solving Environment) for solving ordinary and partial differential equations. Key features include a simple, consistent and intuitive object-oriented API; automatic and efficient evaluation of variational forms; automatic and efficient assembly of linear systems; and support for general families of finite elements.

This package contains the Python interface for DOLFIN (Python 3).

This is the legacy version of DOLFIN, you may want to install the next-generation python3-dolfinx (DOLFIN-X) instead.

Python3-ffc
compiler for finite element variational forms (Python 3)
Maintainer: Debian Science Team
Versions of package python3-ffc
ReleaseVersionArchitectures
sid2019.2.0~git20200123.6b621eb-2all
buster2018.1.0-5all
bullseye2019.2.0~git20200123.6b621eb-2all
Popcon: 29 users (20 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
stretch0.50.3+dfsg1-5amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster0.50.3+dfsg1-8amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye0.50.3+dfsg1-12amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid0.50.3+dfsg1-12amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 40 users (14 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
experimental1.11-2amd64,arm64,i386,mips64el,ppc64el,s390x
sid1.10-5arm64,i386,ppc64el,s390x
stretch1.7-3amd64,arm64,armel,armhf,i386,mips64el,ppc64el,s390x
sid1.14-1amd64,armel,armhf,mips64el
upstream1.15
Popcon: 2 users (3 upd.)*
Newer upstream!
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-sagenb-export
Convert SageNB Notebooks (Python 3)
Maintainer: Debian Science Team
Versions of package python3-sagenb-export
ReleaseVersionArchitectures
bullseye3.2-4all
buster3.2-3all
sid3.2-4all
stretch2.0-2all
Popcon: 13 users (8 upd.)*
Versions and Archs
License: DFSG free
Git

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

This package installs the library for Python 3.

Python3-ufl
unified language for form-compilers (Python 3)
Versions of package python3-ufl
ReleaseVersionArchitectures
sid2019.2.0~git20200610.3492e72-1all
buster2018.1.0-5all
bullseye2019.2.0~git20200610.3492e72-1all
stretch2016.2.0-2all
Popcon: 27 users (35 upd.)*
Versions and Archs
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.

Qhull-bin
Berechnung konvexer Hüllen und verwandter Strukturen (Kommandos)
Versions of package qhull-bin
ReleaseVersionArchitectures
wheezy2009.1-3amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
bullseye2020.1-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid2020.1-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
squeeze2009.1-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
jessie2012.1-5amd64,armel,armhf,i386
stretch2015.2-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster2015.2-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Debtags of package qhull-bin:
fieldmathematics
roleprogram
scopeutility
Popcon: 209 users (386 upd.)*
Versions and Archs
License: DFSG free
Git

Qhull berechnet konvexe Hüllen, Delauny-Triangulierungen, Halbraumschnittmengen um einen Punkt, Voronoi-Diagramme, »weitester Nachbar«-Delaunay-Triangulierungen und »weitester Nachbar«-Voronoi-Diagramme. Es arbeitet in 2, 3, 4 und mehr Dimensionen.

Diese Paket enthält die qhull-Kommandos, die eine pipe-Schnittstelle zu einigen Funktionen der Bibliothek bieten. Ebenso enthalten ist rbox. rbox ist ein nützliches Werkzeug zum Erzeugen von Eingaben für Qhull. Es erzeugt Hypercubes, Diamanten, Kegel, Kreise, Simplices, Spiralen, Gitter und Zufallspunkte.

Qhull erzeugt graphische Ausgaben für Geomview. Dies hilft die Ausgaben zu verstehen (http://www.geomview.org).

Qsopt-ex
Exact linear programming solver
Versions of package qsopt-ex
ReleaseVersionArchitectures
buster2.5.10.3-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye2.5.10.3-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid2.5.10.3-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch2.5.10.3-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Popcon: 15 users (6 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
wheezy4.93-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie4.96-2amd64,armel,armhf,i386
stretch5.1-1amd64,arm64,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster5.1-6amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
squeeze4.6-1.1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
sid5.1-6amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Debtags of package regina-normal:
fieldmathematics
interfacecommandline, x11
roleprogram
scopeutility
suitekde
uitoolkitqt
x11application
Popcon: 13 users (6 upd.)*
Versions and Archs
License: DFSG free

Regina is a software package for 3-manifold and 4-manifold topologists, with a focus on triangulations, 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.

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, and the MPI-enabled utilities for high-performance clusters are in the separate package regina-normal-mpi.

Rheolef
efficient Finite Element environment
Versions of package rheolef
ReleaseVersionArchitectures
bullseye7.1-1amd64,arm64,i386,ppc64el,s390x
wheezy6.1-2.1amd64,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie6.5-1amd64,i386
stretch6.7-1amd64,i386,mips,mipsel,ppc64el
buster7.0-2amd64,arm64,i386,mips,mips64el,mipsel,ppc64el,s390x
sid7.1-1amd64,arm64,i386,ppc64el,s390x
Debtags of package rheolef:
fieldmathematics
roleprogram
Popcon: 9 users (10 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.

Other screenshots of package rheolef
VersionURL
https://screenshots.debian.net/screenshots/000/008/710/large.png
Screenshots of package rheolef
Rubiks
Small collection of Rubik's cube solvers
Versions of package rubiks
ReleaseVersionArchitectures
bullseye20070912-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch20070912-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid20070912-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster20070912-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Popcon: 47 users (23 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
Open Source Mathematical Software
Maintainer: Debian Science Team
Versions of package sagemath
ReleaseVersionArchitectures
stretch7.4-9amd64,i386
sid9.0-4amd64,arm64,i386,ppc64el,s390x
buster8.6-6amd64,arm64,armhf,i386,ppc64el
bullseye9.0-4amd64,arm64,i386,ppc64el,s390x
upstream9.1
Popcon: 54 users (33 upd.)*
Newer upstream!
License: DFSG free
Git

SageMath is a free open-source mathematics software system licensed under the GPL. It builds on top of many existing open-source packages: NumPy, SciPy, matplotlib, Sympy, Maxima, GAP, FLINT, R and many more. Access their combined power through a common, Python-based language or directly via interfaces or wrappers.

Mission: Creating a viable free open source alternative to Magma, Maple, Mathematica and Matlab.

This package contains the main SageMath installation.

Other screenshots of package sagemath
VersionURL
7.4-4https://screenshots.debian.net/screenshots/000/015/273/large.png
Screenshots of package sagemath
Sagemath-database-conway-polynomials
Database of Conway polynomials
Versions of package sagemath-database-conway-polynomials
ReleaseVersionArchitectures
buster0.5-4all
stretch0.4.p0+dfsg-2all
sid0.5-7all
jessie0.4.p0+dfsg-1all
bullseye0.5-7all
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

This package contains a small database of Conway polynomials, for primes up to 109987 and a various number of exponents.

It is part of the sagemath software suite.

Sagemath-database-elliptic-curves
Databases for elliptic curves
Versions of package sagemath-database-elliptic-curves
ReleaseVersionArchitectures
sid0.8.1-4all
jessie0.7+dfsg-1all
bullseye0.8.1-4all
buster0.8-2all
stretch0.8-1all
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

This package contains in fact two databases: - the subset of John Cremona's database of elliptic curves up to conductor at most 10000 - William Stein's database of interesting elliptic curves

It is part of the sagemath software suite.

Sagemath-database-graphs
Datenbank von Graphen
Versions of package sagemath-database-graphs
ReleaseVersionArchitectures
jessie20120404.p4+dfsg-1all
stretch20161026+dfsg-1all
buster20161026+dfsg-2all
bullseye20161026+dfsg-4all
sid20161026+dfsg-4all
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

Dieses Paket enthält eine Datenbank von Graphen, die von Emily Kirkman basierend auf der Arbeit von Jason Grout erstellt wurde. Es enthält auch die ISGCI-Graphendatenbank.

Es ist ein Teil der Softwaresuite SageMath.

Sagemath-database-mutually-combinatorial-designs
Databases of combinatorial designs
Versions of package sagemath-database-mutually-combinatorial-designs
ReleaseVersionArchitectures
stretch20140630-2all
sid20140630-5all
bullseye20140630-5all
buster20140630-3all
jessie20140630-1all
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
Polytopendatenbank
Versions of package sagemath-database-polytopes
ReleaseVersionArchitectures
buster20170220-2all
jessie20120220+dfsg-1all
bullseye20170220-4all
sid20170220-4all
stretch20120220+dfsg-2all
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

Dieses Paket beinhaltet eine Datenbank mit 2- und 3-dimensionalen reflexiven Polytopen.

Es ist ein Teil der Softwaresuite SageMath.

Science-statistics
»Debian Science« Statistik-Pakete
Maintainer: Debian Science Team
Versions of package science-statistics
ReleaseVersionArchitectures
squeeze0.12all
buster1.10all
jessie1.4all
stretch1.7all
bullseye1.13all
sid1.13all
wheezy1.0all
Debtags of package science-statistics:
rolemetapackage
suitedebian
Popcon: 13 users (4 upd.)*
Versions and Archs
License: DFSG free
Git

Dieses Metapaket ist Teil des Debian Pure Blend »Debian Science« und installiert Pakete im Zusammenhang zum Begriff Statistiken. Dieser Task ist ein allgemeiner Task, welcher nützlich ist für alle wissenschaftlichen Arbeiten. Das Paket hängt von einer Reihe von R-Paketen ab, genau so wie von anderen Werkzeugen, die nützlich für die Anwendung von Statistik sind. Des weiteren ist der Task Mathematik-Wissenschaften empfohlen, um optionale Mathematik-Software zu installieren.

Scilab
Wissenschaftliches Softwarepaket für numerische Berechnungen
Versions of package scilab
ReleaseVersionArchitectures
squeeze5.2.2-9all
bullseye6.1.0+dfsg1-4all
sid6.1.0+dfsg1-4all
stretch5.5.2-4all
jessie5.5.1-7all
wheezy5.3.3-10all
buster6.0.1-10+deb10u1all
Debtags of package scilab:
fieldelectronics, mathematics, physics, statistics
interfacex11
roleprogram
scopeutility
uitoolkittk
useanalysing, learning
works-withimage
x11application
Popcon: 122 users (126 upd.)*
Versions and Archs
License: DFSG free
Git

Scilab ist ein matrixorientiertes, wissenschaftliches Softwarepaket. Es enthält hunderte integrierte mathematische Funktionen und reichhaltige Datenstrukturen (einschließlich Polynome, Brüche, lineare Systeme, Listen usw.). Beigelegt sind auch diverse spezifische Werkzeugsätze für Steuerung, Signalverarbeitung, …

Dieses Paket enthält außerdem Xcos, einen grafischen Editor zur Erstellung von Modellen für dynamische Hybridsysteme. Modelle können erstellt, geladen, abgespeichert, kompiliert und simuliert werden. Als stabile und effiziente Lösung für industrielle und akademische Anforderungen stellt Xcos Funktionalitäten zum Modellieren von mechanischen Systemen (Fahrzeug-, Flugtechnik, …), Hydraulikkreisläufen (Damm-, Rohrmodelle, …), Steuerungssystemen usw. bereit. Die Verwendung von Modelica ist möglich.

Das Paket »scilab-cli« installiert eine Minimalversion von Scilab.

Other screenshots of package scilab
VersionURL
5.5.0-2https://screenshots.debian.net/screenshots/000/011/809/large.png
Screenshots of package scilab
Scilab-ann
Scilab module for artificial neural networks
Versions of package scilab-ann
ReleaseVersionArchitectures
stretch0.4.2.4-1all
squeeze0.4.2.3-3all
jessie0.4.2.4-1all
wheezy0.4.2.4-1all
Debtags of package scilab-ann:
devellibrary
roledevel-lib, shared-lib
Popcon: 9 users (1 upd.)*
Versions and Archs
License: DFSG free
Svn

This module implements artificial neural networks capabilities into the Scilab language. Current features are:

  • Only layered feedforward networks are supported directly at the moment (for others use the "hooks" provided)
  • Unlimited number of layers
  • Unlimited number of neurons per each layer separately
  • User defined activation function (defaults to logistic)
  • User defined error function (defaults to SSE)
  • Algorithms implemented so far:
  • standard (vanilla) with or without bias, on-line or batch
  • momentum with or without bias, on-line or batch
  • SuperSAB with or without bias, on-line or batch
  • Conjugate gradients
  • Jacobian computation
  • Computation of result of multiplication between "vector" and Hessian
  • Some helper functions provided
Scilab-scimax
Symbolic computations for Scilab based on Maxima
Versions of package scilab-scimax
ReleaseVersionArchitectures
squeeze2.1.1-1amd64,armel,i386,ia64,mipsel,powerpc,s390,sparc
Popcon: 1 users (0 upd.)*
Versions and Archs
License: DFSG free
Svn

This toolbox is providing symbolic capabilities with the Scilab languages.

It is based on Maxima which 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.

Scotch
Programme und Bibliotheken für Graph-, Intervall- und Hypergraphpartitionierung
Versions of package scotch
ReleaseVersionArchitectures
sid6.0.9-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster6.0.6-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie5.1.12b.dfsg-2amd64,armel,armhf,i386
wheezy5.1.12b.dfsg-1.2amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
squeeze5.1.8a.dfsg-2amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
stretch5.1.12b.dfsg-2.1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye6.0.9-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Debtags of package scotch:
roleprogram
Popcon: 14 users (10 upd.)*
Versions and Archs
License: DFSG free
Git

Der Zweck ist die Anwendung der Graphentheorie mit einem Teile-und-herrsche-Ansatz auf wissenschaftliche Berechnungsprobleme wie Graph- und Intervallpartitionierung, statisches Abbilden und sortieren dünnbesetzter Matrizen. Dies geschieht in Anwendungsbereichen von Strukturmechanik bis Betriebssystemen oder Biochemie.

SCOTCH ist eine Programm- und Bibliothekssammlung, die Algorithmen für statisches Graphzeichnen und Neusortieren dünnbesetzter Matrizen implementiert. Diese Algorithmen wurden innerhalb des Projekts SCOTCH entwickelt.

SCOTCH hat viele interessante Merkmale:

  • Die Fähigkeiten können über eine Anzahl an eigenständigen Programmen verwendet werden als auch über die Bibliothek libSCOTCH, die C- und Fortran-Schnittstellen anbietet.

  • Es enthält Algorithmen zur Partitionierung von Graph- als auch Intervallstrukturen, die als Knotenelement bipartiter Graphen definiert sind als auch Hypergraphen darstellen können.

  • Es kann jeden gewichteten Quellgraphen auf jeden gewichteten Zielgraphen abbilden. Die Quell- und Zielgraphen können jede beliebige Topologie besitzen und deren Knoten und Kanten können gewichtet sein. Außerdem können sowohl Quell- als auch Zielgraphen unterbrochen sein. Dadurch können Programme auf die unterbrochenen Subteile einer parallelen Architektur, die aus heterogenen Prozessoren und Kommunikationslinks besteht, abgebildet werden.

  • Es berechnet amalgamierte Blocksortierungen von dünnbesetzten Matrizen, bei denen zur effizienten Lösung BLAS-Routinen verwendet werden.

  • Bei Abbildungsberechnungen läuft es zeitlich linear zur Anzahl der Kanten des Quellgraphs und logarithmisch zur Anzahl der Knoten des Zielgraphs.

  • Es kann Graph- und Intervallstrukturen, die in C- oder Fortran-Programmen erstellt wurden, indifferent behandeln, wobei die Array-Indizes bei 0 oder 1 beginnen.

  • Es bietet Unterstützung für adaptive Graphen und Intervalle, durch Behandlung der disjunkten Kanten-Arrays.

  • Es ist dank »strategy strings«, die zur Laufzeit interpretiert werden, dynamisch parametrisierbar.

  • Es verwendet den Systemspeicher effizient, um große Graphen und Intervalle zu verarbeiten, ohne Speichermangel-Fehler auszulösen.

  • Es ist hochmodular und dokumentiert. Weil es unter der Open-Source-Lizenz CeCILL-C veröffentlicht wurde, kann es als Testumgebung für einfache und schnelle Entwicklung sowie Testen von neuen Partitionierungs- und Sortiermethoden verwendet werden.

  • Es kann leicht mit anderen Programmen zusammenarbeiten. Die Programme, aus denen das Projekt SCOTCH besteht, wurden für die Befehlszeile ohne interaktive Fragen erstellt, damit sie leicht von anderen Programmen oder Instanzen von system() oder popen() oder mittels Pipes auf einer einzigen Befehlszeile aufgerufen werden können. Außerdem können Knoten (Vertices) leicht neu nummeriert werden.

  • Es enthält viele Werkzeuge zur Erstellung, Überprüfung und Anzeigen von Graphen-, Intervall- und Matrixmustern.

  • Es ist in C geschrieben und verwendet die POSIX-Schnittstelle, wodurch es leicht portierbar ist. PT-SCOTCH verwendet die MPI-Schnittstelle und optional die POSIX-Threads.

Screenshots of package scotch
Singular
Computer Algebra System for Polynomial Computations
Versions of package singular
ReleaseVersionArchitectures
experimental4.1.2-p1+ds-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
squeeze3-0-4-3.dfsg-3.1amd64,armel,i386,ia64,mips,mipsel,powerpc,s390,sparc
stretch4.0.3-p3+ds-5amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster4.1.1-p2+ds-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye4.1.1-p2+ds-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid4.1.1-p2+ds-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
upstream4.1.3-p2
Debtags of package singular:
fieldmathematics
roleprogram
uitoolkitncurses
Popcon: 0 users (3 upd.)*
Newer upstream!
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
Programm zur Erzeugung und Untersuchung hyperbolischer 3-Mannigfaltigkeiten
Maintainer: Debian QA Group
Versions of package snappea
ReleaseVersionArchitectures
stretch3.0d3-24amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster3.0d3-24amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie3.0d3-23amd64,armel,armhf,i386
wheezy3.0d3-22amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
squeeze3.0d3-20.1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
Debtags of package snappea:
devellang:python
fieldmathematics
interfacex11
uitoolkittk
x11application
Popcon: 10 users (2 upd.)*
Versions and Archs
License: DFSG free

SnapPea ist ein Werkzeug von Jeff Week für Mathematiker, die mit niedrigdimensionalen Topologien arbeiten. Es wird verwendet, um hyperbolische 3-Mannigfaltigkeiten zu erzeugen und zu untersuchen. Außerdem ist es sowohl mit Python-Skripten als auch mit einer traditionellen grafischen Benutzeroberfläche bedienbar.

Screenshots of package snappea
Surf-alggeo
visualization of real algebraic geometry
Versions of package surf-alggeo
ReleaseVersionArchitectures
bullseye1.0.6+ds-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid1.0.6+ds-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster1.0.6+ds-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch1.0.6+ds-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,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
mathematical program for SYMmetric POWer elliptic curve L-functions -- program
Versions of package sympow
ReleaseVersionArchitectures
sid2.023.6-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
squeeze1.019-4amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
jessie1.019-4amd64,armel,armhf,i386
wheezy1.019-4amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
buster2.023.5-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye2.023.6-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch1.023-8amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Debtags of package sympow:
roleprogram
Popcon: 46 users (31 upd.)*
Versions and Archs
License: DFSG free
Git

SYMPOW is a mathematical program to compute special values of symmetric power elliptic curve L-functions; it can compute up to about 64 digits of precision.

This package provides the SYMPOW program itself.

Tachyon
Parallel/Multiprocessor Standalone Ray Tracer - metapackage
Versions of package tachyon
ReleaseVersionArchitectures
stretch0.99~b6+dsx-8all
wheezy0.99~b2+dfsg-0.4amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
squeeze0.98~beta.dfsg-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
jessie0.99~b2+dfsg-0.4amd64,armel,armhf,i386
sid0.99~b6+dsx-9all
buster0.99~b6+dsx-9all
bullseye0.99~b6+dsx-9all
Debtags of package tachyon:
roleprogram
works-with3dmodel
Popcon: 0 users (0 upd.)*
Versions and Archs
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
Maintainer: Debian Science Team
Versions of package tetgen
ReleaseVersionArchitectures
bullseye1.5.0-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
wheezy1.4.3-1 (non-free)amd64,i386
squeeze1.4.2-3 (non-free)i386
stretch1.5.0-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster1.5.0-5amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid1.5.0-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
jessie1.5.0-3amd64,armel,armhf,i386
Debtags of package tetgen:
roleprogram
Popcon: 12 users (4 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.

Toulbar2
Exact combinatorial optimization for Graphical Models
Versions of package toulbar2
ReleaseVersionArchitectures
sid1.0.0+dfsg3-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster1.0.0+dfsg3-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye1.0.0+dfsg3-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 15 users (26 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
Grafische Oberfläche für das Computer-Algebrasystem Maxima
Maintainer: Gunter Königsmann
Versions of package wxmaxima
ReleaseVersionArchitectures
squeeze0.8.5-2amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
jessie13.04.2-4+deb8u1amd64,armel,armhf,i386
stretch16.04.2-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster19.01.2-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye19.07.0-1.1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid19.07.0-1.1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
wheezy12.04.0-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
upstream20.06.6
Debtags of package wxmaxima:
fieldmathematics
interfacex11
roleprogram
scopeapplication
uitoolkitwxwidgets
x11application
Popcon: 161 users (36 upd.)*
Newer upstream!
License: DFSG free
Git

WxMaxima ist eine grafische Benutzeroberfläche für das Computer-Algebrasystem Maxima. Sie vereinfacht die Nutzung von Maxima dadurch, dass dessen Befehle über ein Menüsystem verfügbar sind und durch die Bereitstellung von Eingabedialogen für Befehle, die mehr als ein Argument benötigen. Ebenso implementiert sie ein eigenes Zeichenprogramm, das mathematische Symbole direkt ausgibt, statt diese mit ASCII-Zeichen darzustellen.

WxMaxima bietet außerdem eingebettete Funktionsgrafen in 2D und 3D, einfache Animationen, Kombinieren von Text und mathematischen Berechnungen zum Erstellen von Dokumenten, Exportieren der Ein- und Ausgabe ins TeX-Format und einen Browser für Maximas Handbuch, inklusive Befehlsindex und Volltextsuche.

Xcas
Computer Algebra System - console and graphical calculator
Versions of package xcas
ReleaseVersionArchitectures
bullseye1.5.0.87+dfsg1-7amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid1.5.0.87+dfsg1-7amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster1.4.9.69+dfsg1-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el
Popcon: 61 users (85 upd.)*
Versions and Archs
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.

Xmaxima
Computeralgebrasystem -- X-Oberfläche
Maintainer: Camm Maguire
Versions of package xmaxima
ReleaseVersionArchitectures
buster5.42.1-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye5.43.2-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid5.43.2-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
jessie5.34.1-2amd64,armel,armhf,i386
stretch5.38.1-8amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
wheezy5.27.0-3amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
squeeze5.21.1-2squeezeamd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
upstream5.44.0
Debtags of package xmaxima:
fieldmathematics
interfacex11
roleprogram
scopeapplication
uitoolkittk
x11application
Popcon: 57 users (25 upd.)*
Newer upstream!
License: DFSG free

Maxima ist ein Programm für Symbolisches Rechnen. Es bietet alle Möglichkeiten der symbolischen Manipulation von Polynomen, Matrizen, rationalen Funktionen, Integration, Todd-Coxeter-Methoden zur Analyse von finiten Gruppen, Zeichnen von Graphen und Berechnung von Fließkommazahlen mehrfacher Genauigkeit. Es enthält einen symbolischen Debugger auf Quellcode-Ebene für Maxima-Programmcode. Maxima beruht auf dem in den 1970ern am MIT entwickelten Macsyma. Es ist weitgehend verlässlich, verfügt über eine gute Speicherbereinigung und ist frei von Speicherlecks. Es ist mit Hunderten von Selbsttests ausgestattet.

Dieses Paket enthält eine X-Windows-Oberfläche für X unter Verwendung der Tcl/Tk-Bibliotheken.

Screenshots of package xmaxima
Xmds
eXtensible multi-dimensional Simulator - löst Differentialgleichungen
Versions of package xmds
ReleaseVersionArchitectures
squeeze1.6.6-4amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy1.6.6-7amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie1.6.6-7amd64,armel,armhf,i386
Debtags of package xmds:
roleprogram
Popcon: 7 users (0 upd.)*
Versions and Archs
License: DFSG free
Svn

XmdS erzeugt Code, der Gleichungen integriert, die von gewöhnlichen Differentialgleichungen bis zu stochastischen partiellen Differentialgleichungen reichen. Man schreibt diese in einer für Menschen lesbaren Form in eine XML-Datei, aus der XmdS ein C++-Programm schreibt und kompiliert, das diese Gleichungen so schnell integriert, wie es auf der vorliegenden Architektur möglich ist.

Screenshots of package xmds
Xmds2
eXtensible Multi-Dimensional Simulator (XMDS) - erweiterbarer multidimensionaler Simulator
Maintainer: Debian Science Team
Versions of package xmds2
ReleaseVersionArchitectures
stretch2.2.2+dfsg-3all
buster2.2.3+dfsg-15all
bullseye3.0.0+dfsg-3all
jessie2.2.2+dfsg-1all
sid3.0.0+dfsg-3all
Popcon: 10 users (4 upd.)*
Versions and Archs
License: DFSG free
Git

XMDS erzeugt Code, der Gleichungen integriert, die von gewöhnlichen Differentialgleichungen bis zu stochastischen partiellen Differentialgleichungen reichen. Man schreibt diese in einer für Menschen lesbaren Form in eine XML-Datei, aus der XMDS ein C++-Programm schreibt und kompiliert. Mithilfe dieses C++-Programmes werden die Gleichungen anschließend integriert. Die Geschwindigkeit für die auszuführende Rechenoperation ist abhängig von der vorliegenden Architektur.

XMDS 2 ist ein bedeutendes, in Python geschriebenes Upgrade, welches das Programm schneller und bei weitem vielseitiger als vorherige Versionen macht. Es ermöglicht die effiziente Integration fast jedes Anfangswertproblems in regulären Definitionsbereichen.

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«-Suchbibliothek (Werkzeuge)
Versions of package ann-tools
ReleaseVersionArchitectures
squeeze1.1.1+doc-2.2amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
buster1.1.2+doc-7amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
wheezy1.1.2+doc-3amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
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-7amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye1.1.2+doc-7amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Debtags of package ann-tools:
roleprogram
Popcon: 0 users (1 upd.)*
Versions and Archs
License: DFSG free
Git

Approximate Nearest Neighbor (ANN) ist eine C++-Bibliothek, die Datenstrukturen und -algorithmen für Exact- und Approximate-Nearest-Neighbor-Suchen in beliebig hohen Dimensionen unterstützt. ANN nimmt an, dass die Messung aller Abstände mit Distanzfunktionen erfolgt, die zu den Minkowski-Metriken gehören. Das schließt den bekannten euklidischen Abstand, die Manhattan- sowie die Maximum-Distanz ein. ANN arbeitet ziemlich effizient mit Datensätzen in der Größenordnung von tausenden bis hunderttausenden Punkten und bis zu 20 Dimensionen.

Dieses Paket enthält die Programme ann2fig und ann_sample. Ersteres zeigt die Ausgabe von ANN im fig-Format an, letzteres ist ein beispielhaftes Demonstrationsprogramm für ANN.

Evolver-nox
Surface Evolver - with no X support
Versions of package evolver-nox
ReleaseVersionArchitectures
sid2.70+ds-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch2.70+ds-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,s390x
bullseye2.70+ds-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster2.70+ds-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Popcon: 4 users (1 upd.)*
Versions and Archs
License: DFSG free
Git

The Surface Evolver is an interactive program for the modelling of liquid surfaces shaped by various forces and constraints.

This package provides evolver variants built with different floating point formats (double, long double, quadruple) but with no X support.

The package is enhanced by the following packages: evolver-doc
Evolver-ogl
Surface Evolver - with OpenGL display
Versions of package evolver-ogl
ReleaseVersionArchitectures
sid2.70+ds-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster2.70+ds-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch2.70+ds-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,s390x
bullseye2.70+ds-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 1 users (1 upd.)*
Versions and Archs
License: DFSG free
Git

The Surface Evolver is an interactive program for the modelling of liquid surfaces shaped by various forces and constraints.

This package provides evolver variants built with different floating point formats (double, long double, quadruple) and with an OpenGL/GLUT display.

The package is enhanced by the following packages: evolver-doc
Gap-gapdoc
GAPDoc - A Meta Package for GAP Documentation
Maintainer: Bill Allombert
Versions of package gap-gapdoc
ReleaseVersionArchitectures
sid1.6.3-1all
jessie1.5.1-1all
buster1.6.2-1all
bullseye1.6.3-1all
stretch1.5.1-3all
Popcon: 29 users (44 upd.)*
Versions and Archs
License: DFSG free

GAP is a system for computational discrete algebra, with particular emphasis on Computational Group Theory. GAP provides a programming language, a library of thousands of functions implementing algebraic algorithms written in the GAP language as well as large data libraries of algebraic objects. GAP is used in research and teaching for studying groups and their representations, rings, vector spaces, algebras, combinatorial structures, and more.

This package contains GAPDoc, "A Meta Package for GAP Documentation", by Frank Lübeck and Max Neunhöffer, which is used to manage GAP documentation.

Gap-io
low level C library IO bindings for GAP
Versions of package gap-io
ReleaseVersionArchitectures
buster4.5.4+ds-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid4.7.0+ds-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
jessie4.4.2+ds-1amd64,armel,armhf,i386
bullseye4.7.0+ds-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch4.4.6+ds-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Popcon: 2 users (1 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
Computeralgebra-System GAP, Onlinehilfe
Maintainer: Bill Allombert
Versions of package gap-online-help
ReleaseVersionArchitectures
buster4r10p0-7all
squeeze4r4p12-2all
wheezy4r4p12-2all
sid4.11.0-4all
stretch4r8p6-2all
jessie4r7p5-2all
bullseye4.11.0-4all
Debtags of package gap-online-help:
fieldmathematics
made-oftex
roledocumentation
Popcon: 4 users (6 upd.)*
Versions and Archs
License: DFSG free

GAP ist ein System für diskrete Computeralgebra, mit besonderem Schwerpunkt auf rechnergestützter Gruppentheorie. GAP bietet eine Programmiersprache, eine in der GAP-Sprache geschriebene Bibliothek mit tausenden von Funktionen, die algebraische Algorithmen umsetzen sowie große Datenbibliotheken von algebraischen Objekten. GAP wird in Forschung und Lehre für die Untersuchung von Gruppen und ihren Darstellungen, Ringen, Vektorräumen, Algebren, kombinatorischen Strukturen und vielem mehr verwendet.

Dieses Paket enthält die Dokumentation im TeX-Format, die für das Online-Hilfssystem benötigt wird.

Gap-scscp
SCSCP protocol in GAP
Versions of package gap-scscp
ReleaseVersionArchitectures
buster2.2.3+ds-2all
jessie2.1.4+ds-1all
sid2.3.1+ds-1all
bullseye2.3.1+ds-1all
stretch2.1.4+ds-3all
Popcon: 1 users (1 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 the Symbolic Computation Software Composability Protocol (SCSCP) for GAP.

Gmp-ecm
Factor integers using the Elliptic Curve Method
Versions of package gmp-ecm
ReleaseVersionArchitectures
stretch7.0.4+ds-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye7.0.4+ds-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid7.0.4+ds-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster7.0.4+ds-5amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie6.4.4-2amd64,armel,armhf,i386
wheezy6.4.2-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
squeeze6.3-4amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
Debtags of package gmp-ecm:
fieldmathematics
interfacecommandline
roleprogram
scopeutility
Popcon: 48 users (26 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.

Netgen-doc
Generator zur automatischen Erzeugung von 3D-Tetraedergittern - Dokumentation
Versions of package netgen-doc
ReleaseVersionArchitectures
buster6.2.1804+dfsg1-3all
squeeze4.9.12.dfsg-3all
sid6.2.1804+dfsg1-3.1all
bullseye6.2.1804+dfsg1-3.1all
upstream6.2.2006
Debtags of package netgen-doc:
roledocumentation
Popcon: 0 users (0 upd.)*
Newer upstream!
License: DFSG free
Git

NETGEN erzeugt automatisch 3D-Tetraedergitter. Es akzeptiert geometrisch-konstruktive (constructive solid geometry, CSG) oder durch Grenzflächen bestimmte (boundary representation, BRep) Eingaben im STL-Format. NETGEN beinhaltet Module zur Optimierung und hierarchischen Verfeinerung der Gitter.

Dieses Paket enthält das Benutzerhandbuch (im PDF-Format) und Beispieldateien.

Primesieve
fast prime number generator C/C++ library
Versions of package primesieve
ReleaseVersionArchitectures
buster7.3+ds-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch5.7.2+ds-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye7.5+ds-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid7.5+ds-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
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-Funktionen für Extremwertverteilungen
Versions of package r-cran-evd
ReleaseVersionArchitectures
jessie2.3-0-1amd64,armel,armhf,i386
bullseye2.3-3-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster2.3-3-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch2.3-2-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
squeeze2.2-4-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy2.2-4-2amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
sid2.3-3-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 35 users (24 upd.)*
Versions and Archs
License: DFSG free
Git

Erweitert Simulations-, Verteilungs-, Quantil- und Dichtefunktionen auf ein- und mehrdimensionale parametrische Extremwertverteilungen. Außerdem stellt das Paket passende Funktionen bereit, die Maximum-Likelihood-Schätzungen für ein- und zweidimensionale Maxima- und Grenzwertmodelle berechnen.

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
sid3.4+ds-2all
buster3.2+ds-2all
stretch3.0+ds-4all
bullseye3.4+ds-2all
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
wheezy0.0.18 (contrib)all
jessie0.0.19+nmu1 (contrib)all
stretch0.0.21 (contrib)all
buster0.0.21 (contrib)all
bullseye0.0.21.1 (contrib)all
sid0.0.21.1 (contrib)all
Popcon: 15 users (7 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

Eprover
Theorem prover for first-order logic with equality
Versions of package eprover
ReleaseVersionArchitectures
VCS1.0.004-2all
Versions and Archs
License: free
Git
Version: 1.0.004-2

E is a fully automatic theorem prover for full first-order logic with equality. It accepts a mathematical specification and, optionally, a hypothesis, and tries to prove the hypothesis and/or find a saturation representing a (counter-)model for the specification.

E is based on a purely equational problem representation and implements a variant of the superposition calculus. Proof search can be guided with a multitude of options or a powerful automatic configuration mode. The system can process input in a number of different formats, including the standard TPTP-2 and TPTP-3 formats. It can generate proof objects in PCL2 or TPTP-3/TSTP format.

E is considered one of the most powerful and friendly automated theorem provers for first-order logic. It has consistently been among the top system in the major categories of the CASC system competition, and usually been the strongest free software system.

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

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 198243