Debian Science Project
Summary
Mathematics
Debians videnskabelige matematikpakker

Denne metapakke vil installere Debians videnskabelige pakker relateret til matematik. Du vil måske også være interesseret i field::mathematics debtag og, afhængig af dit fokusområde, i education-mathematics-metapakken.

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
Matematisk værktøjspakke for problemer i lineære rum - værktøjer
Versions of package 4ti2
ReleaseVersionArchitectures
stretch1.6.7+ds-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster1.6.9+ds-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye1.6.9+ds-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid1.6.9+ds-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 55 users (30 upd.)*
Versions and Archs
License: DFSG free
Git

4ti2 er en matematisk pakke for algebraiske, geometriske og kombinatoriske problemer i lineære rum.

Denne pakke tilbyder værktøjspakken for 4ti2.

Agda
Afhængighedsindtastet funktionelt programmeringssprog
Versions of package agda
ReleaseVersionArchitectures
sid2.6.0.1-1all
sid2.6.1-1all
jessie2.4.0.2-2all
stretch2.5.1.1-3all
buster2.5.4.1-3all
wheezy2.3.0.1-2all
upstream2.6.1.1
Debtags of package agda:
rolemetapackage
Popcon: 0 users (0 upd.)*
Newer upstream!
License: DFSG free
Git

Agda er et afhængighedsindtastet funktionelt programmeringssprog: Det har induktive familier, som fungerer som Haskells GADT'er, men de kan indekseres af værdier og ikke kun af typer. Programmet har også parameteropsatte moduler, mixfix-operatører, Unicodetegn og en interaktiv grænseflade for Emacs (indtastningskontrollen kan hjælpe med udvikling af din kode).

Agda er også en bevisassistent: Programmet er et interaktivt system for skrivning og kontrol af beviser. Agda er baseret på intuitionistisk typeteori, et fundamentsystem for konstruktiv matematik udviklet af den svenske logiker Per Martin-Löf. Programmet har mange ligheder med andre bevisassistenter baseret på afhængighedstyper, såsom Coq, Epigram og NuPRL.

Dette er en metapakke, som tilbyder Agdas tilstand for Emacs, kørbar fil, standardbibliotek og programmets dokumentation.

Auto-07p
Program til kontinuations- og bifurkationsproblemer i ODE'er
Versions of package auto-07p
ReleaseVersionArchitectures
sid0.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
jessie0.9.1+dfsg-1amd64,armel,armhf,i386
buster0.9.1+dfsg-7amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye0.9.2+dfsg-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 15 users (4 upd.)*
Versions and Archs
License: DFSG free
Git

AUTO kan udføre en begrænset bifurkationsanalyse af algebraiske systemer på formen

   f(u, p) = 0,  med f,u i Rn
og af systemer af ordinære differentialligninger på formen
   u '(t) = f (u (t), p),    f, u i Rn
underlagt begyndelsesbetingelser, randbetingelser samt betingelser udtrykt

ved integraler. Her angiver p en eller flere parametre. AUTO kan også udføre bestemte kontinuations- og evolutionsberegninger for parabolske PDE'er (partielle differentialligninger). Det omfatter også programmet HOMCONT til bifurkationsanalyse af homokline baner. AUTO er ganske hurtigt og kan drage fordel af flere processorer; derfor kan det bruges til ret så store systemer af differentialligninger.

Axiom
Alment computeralgebrasystem - vigtigste binære fil samt moduler
Maintainer: Camm Maguire
Versions of package axiom
ReleaseVersionArchitectures
buster20170501-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
squeeze20100701-1.1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,powerpc,s390,sparc
jessie20140801-6amd64,armel,armhf,i386
stretch20140801-12amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid20170501-6amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye20170501-6amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
wheezy20120501-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
Debtags of package axiom:
develcompiler, interpreter
fieldmathematics
interfacetext-mode
roleprogram
scopeutility
Popcon: 19 users (37 upd.)*
Versions and Archs
License: DFSG free

Axiom er anvendeligt til forskning og udvikling af matematiske algoritmer. Det definerer et med stærkt typede, matematisk korrekt typehierarki. Det har et programmeringssprog og en indbygget kompiler.

Axiom har været udviklet siden 1973 og blev solgt som et kommercielt produkt. Det er blevet frigivet som et frit program.

Der er indsats undervejs for udvidelse af programmet til (a) udvikle en bedre brugergrænseflade (b) gøre det anvendeligt som undervisningsværktøj (c) udvikle en algebraisk serverprotokol (d) integrere yderligere matematik (e) ombygge algebraen i en litterær programmeringsstil (f) integrere logisk programmering (g) udvikle en Axiom Journal med godkendte bidrag.

Denne pakke indeholder hovedprogrammets binære filer og alle præ- kompilerede algebra og moduler der automatisk kan indlæses.

The package is enhanced by the following packages: texmacs
Bliss
Værktøj til at beregne grafautomorfismer og etikettering - binær fil
Versions of package bliss
ReleaseVersionArchitectures
wheezy0.72-4amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
sid0.73-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
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
jessie0.72-5amd64,armel,armhf,i386
Debtags of package bliss:
interfacecommandline
roleprogram
Popcon: 18 users (7 upd.)*
Versions and Archs
License: DFSG free
Git

Bliss er en tilbagesporingsalgoritme for beregning af automorfismegrupper og kanoniske former for grafer, baseret på individualisering og forfining. Dets datastrukturer, underrutiner og udtyndet heuristik er specielt designet til hurtig håndtering af store og tynde (»sparse«) grafer.

Denne pakke tilbyder kommandolinjeværktøjet bliss.

Cohomcalg
Sheaf-cohomologi for linjesamlinger af toriske variationer
Versions of package cohomcalg
ReleaseVersionArchitectures
bullseye0.32+ds-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid0.32+ds-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster0.32+ds-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Popcon: 11 users (4 upd.)*
Versions and Archs
License: DFSG free
Git

Algoritmen for beregningen af sheaf-cohomologier for linjesamlinger af toriske variationer præsenteret i »Cohomology af Line Bundles: A Computational Algorithm« af Ralph Blumenhagen, Benjamin Jurke, Thorsten Rahn og Helmut Roschy er blevet implementeret i et nemt og højtydende C/C++-program kaldt cohomCalg.

Den valgfrie cohomCalg Koszul-udvidelse fungerer som en Mathematica 7-brugerflade og gør det muligt nemt at beregne hyperoverflade og fuldstændig intersektionscohomoliger, der følger materialet præsenteret i »Cohomology of Line Bundles: Applications« af de samme forfattere.

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 blandet heltals programmeringsløser
Versions of package coinor-cbc
ReleaseVersionArchitectures
stretch2.8.12-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye2.10.5+ds1-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster2.9.9+repack1-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid2.10.5+ds1-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
jessie2.8.12-1amd64,armel,armhf,i386
Popcon: 46 users (127 upd.)*
Versions and Archs
License: DFSG free
Git

Cbc (Coin-or branch and cut) er en blandet heltals programmeringsløser udviklet i åben kildekode og skrevet i C++. Den kan bruges som et bibliotek, der kan kaldes eller som en uafhængig kørbar fil.

Denne pakke indeholder kørbare filer for cbc.

Coinor-csdp
Software package for semidefinite programming (binaries)
Versions of package coinor-csdp
ReleaseVersionArchitectures
squeeze6.1.1-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
sid6.2.0-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye6.2.0-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster6.1.1-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch6.1.1-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie6.1.1-1amd64,armel,armhf,i386
wheezy6.1.1-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
Popcon: 6 users (2 upd.)*
Versions and Archs
License: DFSG free
Git

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

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

This package contains the binaries.

Please cite: Borchers, Brian: CSDP, AC library for semidefinite programming. (eprint) Optimization methods and Software 11(1-4):612-623 (1999)
Coinor-symphony
COIN-OR-løser for blandede-heltals lineære programmer
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
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
jessie5.6.1-1amd64,armel,armhf,i386
upstream5.6.17
Popcon: 18 users (9 upd.)*
Newer upstream!
License: DFSG free
Git

SYMPHONY er en generisk blandet-heltals lineær programløser (MILP). Udviklet i åben kildekode som et kaldbart bibliotek og med en udvidelig ramme for implementering af tilpassede løsere. SYMPHONY har et antal avancerede funktioner, inklusiv evnen til at løse fler-objektive MILP'er, evnen til at forvarme sine løsningsprocedure og evnen til at udføre grundlæggende følsomhedsanalyser.

SYMPHONY er en del af det større COIN-OR-initiativ (Computational Infrastructure for Operations Research).

Denne pakke indeholder symphony's kørbare fil.

Coq
Bevisassistent for højere ordens logik - topniveau og kompiler
Versions of package coq
ReleaseVersionArchitectures
stretch8.6-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye8.11.0-1amd64,arm64,ppc64el
sid8.12.0-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el
squeeze8.2.pl2+dfsg-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy8.3.pl4+dfsg-2amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie8.4pl4dfsg-1amd64,armel,armhf,i386
buster8.9.0-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Debtags of package coq:
develcompiler
fieldmathematics
interfacecommandline, text-mode
roleprogram
scopeutility
uitoolkitncurses
Popcon: 39 users (32 upd.)*
Versions and Archs
License: DFSG free
Git

Coq er en bevisassistent for højere ordens logik, som tillader udviklingen af computerprogrammer som overholder deres formelle specifikationer. Det udvikles med brug af Objective Caml og Camlp5.

Denne pakke tilbyder coqtop, en kommandolinjegrænseflade til Coq.

En grafisk grænseflade for Coq tilbydes i pakken coqide. Coq kan også bruges med ProofGeneral, som tillader at beviser redigeres med emacs og xemacs. Dette kræver at pakken proofgeneral er installeret.

The package is enhanced by the following packages: libaac-tactics-ocaml libssreflect-ocaml
Cryptominisat
SAT-løser - grænseflade for kommandolinjen
Versions of package cryptominisat
ReleaseVersionArchitectures
sid5.8.0+dfsg1-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye5.8.0+dfsg1-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 5 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

CryptoMiniSat er en moderne, flertrådet, forenklende SAT-løser.

Denne pakke tilbyder en grænseflade til kommandolinjen, som læser SAT-formler i konjunktiv normal form i DIMACS-formatet med udvidelse af XOR-klausuler og bestemmer om de kan tilfredsstilles.

Eclib-tools
Programmer for modulære symboler og elliptiske kurver over Q
Versions of package eclib-tools
ReleaseVersionArchitectures
stretch20160720-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid20190909-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
jessie2014-09-21-1amd64,armel,armhf,i386
bullseye20190909-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster20180815-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Popcon: 45 users (26 upd.)*
Versions and Archs
License: DFSG free
Git

Denne pakke inkluderer flere programmer til at beregne med elliptiske kurver over Q; mest bemærkelsesværdigt mwrank (for 2-descent på elliptiske kurver over Q) og de modulære symbolværktøjer brugt til at oprette den elliptiske kurvedatabase.

Feel++-apps
Et bibliotek for metoden »finite element«
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

Denne pakke tilbyder lidt programkoder (kilde og kørbare filer) såsom laplacian med cG- og dG-metoder, stokes, heat transfer, solid- mekanismer (statisk og dynamisk).

Feel++ er et alsidigt finitte elementbibliotek til løsning af delvise differentialligninger.

Understøtter 1D, 2D og 3D.

Understøtter de følgende basiselementer: Simplex (segment, trekant, tetraeder) og produkter af simplex såsom heksaeder.

Understøtter forskellige punktsæt på disse grundlæggende elementer: ækvidistante punkter, kvadraturpunkter, interpolationspunkter (Gauss- Lobatto, Fekete, WarpBlend?).

Understøtter kontinuerte og diskontinuerte Galerkinmetoder.

Understøtter forskellige polynomiumssæt:

  • Lagrange (kontinuert, diskontinuert, alle dimensioner, alle interpolationspunktmængder)

  • Dubiner (diskontinuert), randtilpasset (kontinuert)

  • Legendre (diskontinuert), randtilpasset (kontinuert)

Indeholder matematiske begreber for abstraktioner af højere orden (funktionsrum og associerede elementer, former og operatorer).

Tilbyder et sprog indlejret i C++ til variationelle formuleringer, projektion og numerisk integration.

Fenics
Automated Solution of Differential Equations
Versions of package fenics
ReleaseVersionArchitectures
sid2019.2.0.4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
wheezy1.0.0-1all
jessie1.4.0.1all
stretch2016.2.0.1all
bullseye2019.2.0.4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster2018.1.0.6amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
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 der bruger kvadratisk sieve til faktorheltal
Versions of package flintqs
ReleaseVersionArchitectures
bullseye1.0-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid1.0-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch1.0-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster1.0-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Popcon: 45 users (25 upd.)*
Versions and Archs
License: DFSG free
Git

Denne pakke inkluderer William Harts program til at finde primtalsfaktorer for store heltal (mindst 40 cifre).

Det gøres med højoptimerede flerpolynomium kvadratisk sieve.

Form
Symbolic Manipulation System
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: 11 users (3 upd.)*
Versions and Archs
License: DFSG free
Git

Dette er et Symbolic Manipulation System. Det læser symbolske udtryk fra filer og afvikler symbolske/algebraiske transformationer på dem. Svarene returneres på en i tekst matematisk repræsentation. Som dets væsentligste funktion er størrelsen for udtrykkene i FORM kun begrænset af den tilgængelige diskplads og ikke af den tilgængelige RAM.

Fplll-tools
Værktøjer til at beregne LLL-reduktion af Euclidian-gitre
Versions of package fplll-tools
ReleaseVersionArchitectures
bullseye5.3.3-2amd64,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
sid5.3.3-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch5.0.3-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Popcon: 10 users (17 upd.)*
Versions and Archs
License: DFSG free
Git

fpLLL er et bibliotek for beregning af reducerede (næsten retvinklede) baser for Euclidean-gitre med brug af flydende tal LLL-algoritmen.

fpLLL indeholder flere forskellige implementeringer af flydende tal LL-reduktionsalgoritmen, der tilbyder flere forskellige hastigheds/garanti forhold.

Biblioteket indeholder et »omslag«, som vælger den estimerede bedste sekvens af varianter for at tilbyde et garanteret resultat så hurtigt som muligt. I tilfældet med omslaget, er rækkefølgen af varianter ukendt for brugeren.

Denne pakke indeholder basisværktøjerne, der bruger libfplll.

Freefem
PDE-orienteret sprog der bruger den finitte elementmetode
Versions of package freefem
ReleaseVersionArchitectures
squeeze3.5.8-4.2amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
sid3.5.8-7amd64,arm64,armel,armhf,i386,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
bullseye3.5.8-7amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster3.5.8-7amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch3.5.8-5.1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Debtags of package freefem:
develinterpreter
fieldphysics
interfacecommandline
roleprogram
scopeutility
Popcon: 19 users (7 upd.)*
Versions and Archs
License: DFSG free
Git

FreeFEM er et sprog tilpasset til partielle differentialligninger. Den underliggende metode der bruges er den finitte elementmetode. Dette værktøj er med succes blevet brugt som undervisningsværktøj og endda som et videnskabeligt værktøj.

Freefem++
Indeholder de binære filer for FreeFem++ FE-programpakken
Versions of package freefem++
ReleaseVersionArchitectures
jessie3.31-2-1amd64,armel,armhf,i386
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
buster3.61.1+dfsg1-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch3.47+dfsg1-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Popcon: 22 users (8 upd.)*
Versions and Archs
License: DFSG free
Git

FreeFem++ er en implementering af et sprog dedikeret til den finitte elementmetode. Du kan dermed nemt løse Partial Differential Equations (PDE).

Problemer der involverer PDE fra specielle grene af fysikken såsom LUID-strukturinteraktioner kræver interpolationer af data på flere masker og deres manipulation inden i et program. FreeFe ++ inkluderer en hurtig quadtree-baseret interpolationsalgoritme og et sprog til manipulation af disse oplysninger på flere masker. Det indeholder også en stærk mesh-oprettelse og et tilpasningsværktøj integreret problemfrit i FreeFem++ kaldet bamg.

FreeFem++ er skrevet i C++ og sproget FreeFem++ er et C++-idiom, der giver en blød indlæringskurve.

Denne pakke indeholder de kørbare filer for FreeFem++.

Screenshots of package freefem++
Freefem3d
Sprog- og løsningsprogram for delvise differentialligninger i 3D
Versions of package freefem3d
ReleaseVersionArchitectures
squeeze1.0pre10-2.1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
jessie1.0pre10-3.2amd64,armel,armhf,i386
stretch1.0pre10-3.4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
wheezy1.0pre10-3.1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
Debtags of package freefem3d:
develinterpreter
fieldphysics
interfacecommandline
roleprogram
scopeutility
uitoolkitqt
works-with3dmodel
Popcon: 11 users (2 upd.)*
Versions and Archs
License: DFSG free
Svn

FreeFEM3D (aka ff3d) er et 3D-løsningsprogram for delvise differentialligninger (PDE). Det er et medlem af familien af freefem-programmer (se http://www.freefem.org).

ff3d, samt sine fætre, er et PDE-løsningsprogram drevet af et brugervenligt sprog. Programmet løser mange slags problemer såsom elasticitet, fluider (Stokes og Navier-Stokes) og mange flere. Brugeren skal indtaste ligningen forbundet med problemet, angivet i enten stærk eller svag PDE-formulering (variational princip).

ff3d kan enten bruge metoden for finitte elementer (geometrilaget angives af brugeren) eller en fiktiv domænelignende fremgangsmetode. Denne beskrivelse udføres med POV-Ray-sproget men andre såsom VRML kan tilføjes.

Behandlingen af resultaterne overlades til brugeren. Der kan bruges forskellige grafiske værktøjer: Resultat i MEdit-mesh-formatet eller VTK er understøttet. Implementeringen af en visualiseringsmodel for VTK-basis er undervejs.

Formålet med ff3d er at tilbyde et godt læringsværktøj og en værktøjskasse til forskning (koden er skrevet i C++ og designet er udført, så at nye metoder nemt kan implementeres).

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

FreeMat er et frit miljø for hurtig ingeniørmæssig og videnskabelig prototype- og databehandling. Programmet ligner kommercielle systemer såsom MATLAB fra Mathworks og IDL fra Research Systems, men er udarbejdet i åben kildekode. FreeMat er tilgængelig under GPL-licensen.

Screenshots of package freemat
Frobby
Beregninger med monomale idealer
Versions of package frobby
ReleaseVersionArchitectures
sid0.9.1-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch0.9.0-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster0.9.0-5amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye0.9.1-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 11 users (5 upd.)*
Versions and Archs
License: DFSG free
Git

Frobby er et programsystem og projekt for beregninger med monomale idealer. Frobby er et frit program og er lavet som et skib for beregning og matematisk forskning vedrørende monomale idealer.

Den nuværende funktionalitet inkluderer Euler-karakteristik, Hilbertserier, maksimale standardmonomier, kombinatorisk optimering på monomiale idealer, primær nedbrydning, irreducible nedbrydning, Alexander dual, associerede primer, minimering og kryds af monomiale idealer såvel som beregning af Frobeniusproblemer (ved hjælp af 4ti2) med meget store tal. Frobby er også i stand til at oversætte mellem formater, som kan bruges sammen med flere forskellige computersystemer, såsom Macaulay 2, Monos, 4ti2, CoCoA4 og Singular. Således kan Frobby bruges med et hvilket som helst af disse systemer.

Gap
Computeralgebrasystem for Grupper, algoritmer og programmering
Maintainer: Bill Allombert
Versions of package gap
ReleaseVersionArchitectures
buster4r10p0-7all
stretch4r8p6-2all
jessie4r7p5-2all
squeeze4r4p12-2all
wheezy4r4p12-2all
sid4.11.0-4all
bullseye4.11.0-4all
Debtags of package gap:
fieldmathematics
rolemetapackage
Popcon: 5 users (0 upd.)*
Versions and Archs
License: DFSG free

GAP er et system til computerstyret diskret algebra med særlig vægt på computerstyret gruppeteori. GAP tilbyder et programmeringssprog, et bibliotek med tusinder af funktioner, der implementerer algebraiske algoritmer skrevet i GAP-sproget samt store databiblioteker med algebraiske objekter. GAP bruges indenfor videnskab og undervisning til studering af grupper og deres repræsentation, ringe, vektorrum, algebraer, kombinatoriske strukturer med mere.

Dette er en dummy-pakke som forudsætter standard GAP-komponenter.

Gap-character-tables
GAP-bibliotek for tegntabeller
Maintainer: Bill Allombert
Versions of package gap-character-tables
ReleaseVersionArchitectures
wheezy1r1p3-5all
sid1r2p2.dfsg.0-4all
bullseye1r2p2.dfsg.0-4all
buster1r2p2.dfsg.0-3all
stretch1r2p2.dfsg.0-3all
jessie1r2p2.dfsg.0-2all
squeeze1r1p3-5all
Debtags of package gap-character-tables:
devellibrary
fieldmathematics
roleapp-data
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free

GAP er et system til computerstyret diskret algebra med særlig vægt på computerstyret gruppeteori. GAP tilbyder et programmeringssprog, et bibliotek med tusinder af funktioner, der implementerer algebraiske algoritmer skrevet i GAP-sproget samt store databiblioteker med algebraiske objekter. GAP bruges indenfor videnskab og undervisning til studering af grupper og deres repræsentation, ringe, vektorrum, algebraer, kombinatoriske strukturer med mere.

Denne pakke indeholder Character Table Library af Thomas Breuer.

Gap-design
Blokdesign for GAP
Versions of package gap-design
ReleaseVersionArchitectures
sid1.7+ds-2all
buster1r6+ds-2all
bullseye1.7+ds-2all
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

GAP er et system for beregning af diskret algebra med bestemt vægt på beregningsmæssig gruppeteori, men har allerede vist sig nyttig også indenfor andre områder.

Denne pakke tilbyder GAP-rutiner for konstruktion, klassifikation, partitionering og studie af blokdesign.

Gap-factint
Avancerede metoder for faktorisering af heltal 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 er et system for beregning af diskret algebra med bestemt vægt på beregningsmæssig gruppeteori, men har allerede vist sig nyttig også indenfor andre områder.

Denne pakke bringer til GAP rutiner for faktorisering af heltal, specielt:

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

Det tilbyder også adgang til Richard P. Brents tabeller for heltalsfaktorer i formen b^k +/- 1.

Gap-float
Flerpræcist kommatalsberegning for GAP
Versions of package gap-float
ReleaseVersionArchitectures
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
buster0.9.1+ds-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch0.7.4+ds-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie0.6.3+ds-1amd64,armel,armhf,i386
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

GAP er et system for beregning af diskret algebra med bestemt vægt på beregningsmæssig gruppeteori, men har allerede vist sig nyttig også indenfor andre områder.

Denne GAP-pakke giver GAP kommatal med arbitrær præcision; den er baseret på MPFR, MPFI, MPC, CXSC og FPLLL.

Gap-grape
GRaph-algoritmer der bruger PErmutation-grupper for GAP
Versions of package gap-grape
ReleaseVersionArchitectures
stretch4r7+ds-3all
buster4.8.1+ds-3all
sid4.8.3+ds-1all
bullseye4.8.3+ds-1all
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

GAP er et system for beregning af diskret algebra med bestemt vægt på beregningsmæssig gruppeteori, men har allerede vist sig nyttig også indenfor andre områder.

Denne pakke implementerer beregning med grafer og grupper for GAP. GRAPE er primært designet til konstruktion og analyse af grafer relateret til grupper, finitte geometrier og design; speciel vægt er placeret på bestemmelse af regelmæssighedsegenskaber og delgraf-struktur.

Gap-guava
Teoribibliotek til kodning for GAP
Versions of package gap-guava
ReleaseVersionArchitectures
buster3.14+ds-1all
stretch3.13+ds-2all
squeeze3.6-2amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy3.6-2amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie3.12+ds1-2all
sid3.15+ds-2all
bullseye3.15+ds-2all
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

GAP er et system for beregning af diskret algebra med bestemt vægt på beregningsmæssig gruppeteori, men har allerede vist sig nyttig også indenfor andre områder.

Denne GAP-pakke fører beregning med fejlkorrigerende koder til GAP.

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

GAP er et system for beregning af diskret algebra med bestemt vægt på beregningsmæssig gruppeteori, men har allerede vist sig nyttig også indenfor andre områder.

LAGUNA står for »Lie AlGebras and UNits of group Algebras«.

Denne pakke tilbyder GAP med funktionalitet for beregning af den normaliserede enhedsgruppe for den modulære gruppealgebra for finitte p-gruppe og for undersøgelse af Lie-algebra associeret med gruppealgebraer og andre associative algebraer.

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

GAP er et system for beregning af diskret algebra med bestemt vægt på beregningsmæssig gruppeteori, men har allerede vist sig nyttig også indenfor andre områder.

Denne pakke tillader at GAP importerer og eksporterer matematiske objekter kodet i OpenMath til udveksling af dem med andre programmer, som er OpenMath-aktiveret.

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

GAP er et system til computerstyret diskret algebra med særlig vægt på computerstyret gruppeteori, men som allerede har vist sig anvendelig på andre områder. I teksteksemplet er gap anvendt til at analysere Rubiks Kube ved brug af gruppeteori. En kerne implementerer et Pascal-lignende sprog.

Denne pakke indeholder databasen for primitive grupper.

Dette er en overgangspakke. Den kan fjernes igen, når installationen er færdig.

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

GAP er et system til computerstyret diskret algebra med særlig vægt på computerstyret gruppeteori, men som allerede har vist sig anvendelig på andre områder. I teksteksemplet er gap anvendt til at analysere Rubiks Kube ved brug af gruppeteori. En kerne implementerer et Pascal-lignende sprog.

Small Groups Library er et katalog med grupper i »small«-orden. Denne pakke indeholder gruppernes data og identifikationsrutiner for grupper op til 1000 undtagen 512, 768 og og grupper, hvis orden faktoriseres ind på de fleste 3 primtal.

Bemærk at data for orden 512, 768 og mellem 1000 og 2000 undtagen 1024 er tilgængelige separat i pakken gap-small-groups-extra.

Dette er en overgangspakke. Den kan fjernes igen, når installationen er færdig.

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

GAP er et system til computerstyret diskret algebra med særlig vægt på computerstyret gruppeteori, men som allerede har vist sig anvendelig på andre områder. I teksteksemplet er gap anvendt til at analysere Rubiks Kube ved brug af gruppeteori. En kerne implementerer et Pascal-lignende sprog.

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.

Dette er en overgangspakke. Den kan fjernes igen, når installationen er færdig.

Gap-sonata
Nearrings-systemer og deres anvendelse for GAP
Versions of package gap-sonata
ReleaseVersionArchitectures
sid2.9.1+ds-3all
buster2.9.1+ds-2all
bullseye2.9.1+ds-3all
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

GAP er et system for beregning af diskret algebra med bestemt vægt på beregningsmæssig gruppeteori, men har allerede vist sig nyttig også indenfor andre områder.

Denne pakke tilbyder for GAP metoder til konstruktion og analyse af finitte »nearrings«.

Gap-table-of-marks
GAP Tomlib - table of marks-GAP-biblioteket
Maintainer: Bill Allombert
Versions of package gap-table-of-marks
ReleaseVersionArchitectures
sid1.2.9-1all
squeeze1r1p4-1all
wheezy1r1p4-1all
jessie1r2p2-1all
stretch1r2p5-2all
buster1.2.7-2all
bullseye1.2.9-1all
Debtags of package gap-table-of-marks:
devellibrary
fieldmathematics
roleapp-data
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free

GAP er et system til computerstyret diskret algebra med særlig vægt på computerstyret gruppeteori. GAP tilbyder et programmeringssprog, et bibliotek med tusinder af funktioner, der implementerer algebraiske algoritmer skrevet i GAP-sproget samt store databiblioteker med algebraiske objekter. GAP bruges indenfor videnskab og undervisning til studering af grupper og deres repræsentation, ringe, vektorrum, algebraer, kombinatoriske strukturer med mere.

Denne pakke indeholder GAP-biblioteket for Marks-tabeller af L. Naughton og G. Pfeiffer.

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

GAP er et system for beregning af diskret algebra med bestemt vægt på beregningsmæssig gruppeteori, men har allerede vist sig nyttig også indenfor andre områder.

Denne pakke tilbyder GAP-rutiner til arbejde med toric-variationer og håndtering af kegler og relateret kombinatorisk geometrisk objekt.

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

GAP er et system til computerstyret diskret algebra med særlig vægt på computerstyret gruppeteori, men som allerede har vist sig anvendelig på andre områder. I teksteksemplet er gap anvendt til at analysere Rubiks Kube ved brug af gruppeteori. En kerne implementerer et Pascal-lignende sprog.

Denne pakke indeholder databasen for transitive grupper.

Dette er en overgangspakke. Den kan fjernes igen, når installationen er færdig.

Geneagrapher
Opret et træ fra Mathematics Genealogy Project
Versions of package geneagrapher
ReleaseVersionArchitectures
buster1.0c2+git20180919-1all
stretch1.0c2+git20120704-2all
bullseye1.0c2+git20180919-2all
sid1.0c2+git20180919-2all
upstream1.0c2+git20200719
Popcon: 14 users (5 upd.)*
Newer upstream!
License: DFSG free
Git

Mathematics Genealogy Grapher (Geneagrapher) er et værktøj til at indsamle informationen fra bygning af matematiske træer med data fra Mathematics Genealogy Project. Den udtrukne information lagres i et dot-filformat, som kan sendes til Graphviz for oprettelse af en graf.

Geogebra
Dynamisk matematikprogram til undervisningsformål
Versions of package geogebra
ReleaseVersionArchitectures
bullseye4.0.34.0+dfsg1-8all
squeeze3.2.44.0+dfsg1-2all
wheezy4.0.34.0+dfsg1-1all
sid4.0.34.0+dfsg1-8all
buster4.0.34.0+dfsg1-7all
stretch4.0.34.0+dfsg1-3all
jessie4.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: 219 users (104 upd.)*
Versions and Archs
License: DFSG free
Git

GeoGebra er et dynamisk geometriprogram. Du kan udføre konstruktioner med punkter, vektorer, segmenter, linjer, koniske afsnit samt funktioner og ændre dem dynamisk efterfølgende. På den anden side kan ligninger og koordinater indtastes direkte.

Understøttelse for mange geometriske konstruktioner tilbydes samt understøttelse for mange værktøjer baseret på infinitesimalregning (deriviater, oskulerende cirkel, ...).

GeoGebra-filer kan eksporteres til mange forskellige formater, eller som interaktive programstumper for internetsider.

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

Geomview er et program til interaktiv geometri, der er særligt egnet inden for forskning og undervisning i matematik. Helt specifikt kan geomview fremstille ting fra det hyperbolske og sfæriske rum, såvel som fra det euklidiske rum.

Geomview tillader flere, uafhængigt kontrollerbare objekter og kameraer. Det tilbyder en interaktiv kontrol for bevægelse, udseender (inklusive lys, skygger, kant- eller hjørneniveau, øjebliksbilleder i billedformatet SGI eller Renderman RIB, og tilføjelse og fjernelse af objekter tilbydes gennem direkte manipulation med mus, kontrolpaneler og tastaturgenveje. Eksterne programmer kan drive ønskede aspekter på fremviseren (såsom kontinuerlig indlæsning af geometri som ændrer sig, eller kontrol af bevægelsen for visse objekter), mens der tillades interaktiv kontrol af alt andet.

Screenshots of package geomview
Gerris
Væskestrømsberegner
Versions of package gerris
ReleaseVersionArchitectures
bullseye20131206+dfsg-19amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster20131206+dfsg-18amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch20131206+dfsg-17amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie20131206+dfsg-5amd64,armel,armhf,i386
sid20131206+dfsg-19amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
squeeze20091109-dfsg.1-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
Debtags of package gerris:
fieldmathematics, physics
roleprogram
Popcon: 17 users (14 upd.)*
Versions and Archs
License: DFSG free
Git

Gerris er et program til at løse partielle differentialligninger for væskestrømme.

Et kort referat af dets nuværende hovedfunktioner:

  • Løser de tidsafhængige inkompressible Euler-, Stokes-

    eller Navier-Stokes-ligninger for variabel tæthed. * Adaptiv netfinhed: opløsningen tilpasses dynamisk

    strømmens egenskaber Fuldautomatisk netgenerering for komplekse geometrier Anden orden i rum og tid Ubegrænset antal af passive advektions-/diffusionstracere Fleksibel specifikation af yderligere kildetermer Flytbar understøttelse af parallelitet med brug af MPI-biblioteket Fluidvolumen-advektionsmetode (VOF) til grænsefladestrømme

Denne pakke har indbygget MPI-understøttelse.

Getdp
Generelt miljø til behandling af discrete-problemer
Versions of package getdp
ReleaseVersionArchitectures
sid3.2.0+dfsg1-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
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
upstream3.3.0
Popcon: 12 users (10 upd.)*
Newer upstream!
License: DFSG free
Git

GetDP er en generel endelig elementløser der bruger blandede elementer til at discretize de Rham-type-komplekser i en, to og tre dimensioner.

Den vigtigste funktion i GetDP er nærhed mellem inddata, der definerer discrete-problemer (skrevet af brugeren i ASCII-datafiler) og de symbolske matematiske udtryk af disse problemer.

Se GetDP's referencemanual for en grundig oversigt over GetDP's funktioner: 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
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
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
Popcon: 56 users (24 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
Understøttelsesværktøjer for symbolske rammeværktøjer for GiNaC
Versions of package ginac-tools
ReleaseVersionArchitectures
wheezy1.6.2-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
sid1.7.11-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye1.7.11-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
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
squeeze1.5.8-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
Debtags of package ginac-tools:
devellang:c++
fieldmathematics
interfaceshell, text-mode
roleprogram
scopeutility
uitoolkitncurses
useviewing
Popcon: 24 users (13 upd.)*
Versions and Archs
License: DFSG free

GiNaC (som står for »GiNaC is Not a CAS (Computer Algebra System)«) er et bibliotek for symbolsk (det vil sige ikkenumerisk) beregning direkte i C++- programmeringssproget.

Denne pakke tilbyder nogle yderligere værktøjer, som den populære ginsh (GiNaC interaktiv skal) og viwegar (for inspektion af GiNaC-arkivfiler).

Gmsh
Tredimensionel finitte elementgenerator for mesh
Versions of package gmsh
ReleaseVersionArchitectures
bullseye4.6.0+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
jessie2.8.5+dfsg-1.1amd64,armel,armhf,i386
squeeze2.4.2.dfsg-5amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
sid4.6.0+ds1-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch2.15.0+dfsg1-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Debtags of package gmsh:
interfacex11
roleprogram
scopeapplication
useediting
works-with3dmodel
x11application
Popcon: 76 users (45 upd.)*
Versions and Archs
License: DFSG free
Git

Gmsh er en automatisk 3D finitte elementgenerator med indbygget CAD-motor og efterbehandlingsfaciliteter. Dets designmål er at tilbyde et hurtigt, let og brugervenligt meshingværktøj med parametriske inddata og avancerede visualiseringsmuligheder. Gmsh er bygget omkring fire moduler: Geometri, mesh, solver og efterbehandling. Specifikationen af alle inddata til disse moduler udføres enten interaktivt med brug af den grafiske brugerflade eller i ASCII-tekstfiler, der bruger Gmsh's eget skriptsprog.

Se Gmsh's referencemanual for et mere gennemarbejdet overblik over Gmsh's funktioner.

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
rigt sæt af graftegneværktøjer
Versions of package graphviz
ReleaseVersionArchitectures
wheezy2.26.3-14+deb7u2amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
sid2.42.2-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
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
jessie2.38.0-7amd64,armel,armhf,i386
wheezy-security2.26.3-14+deb7u2amd64,armel,armhf,i386
stretch2.38.0-17amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster2.40.1-6amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
squeeze-security2.26.3-5+squeeze2amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
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: 2519 users (1287 upd.)*
Newer upstream!
License: DFSG free

Graftegninger håndterer problemet med at visualisere strukturel information ved at konstruere geometriske repræsentationer af abstrakte grafer og netværk. Automatisk oprettelse af graftegninger har en vigtig funktion i nøgleteknologier såsom databasedesign, programudvikling, VLSI og netværksdesign og i visuelle grænseflader i andre domæner. Situationer hvor disse værktøjer kan være specielt nyttige er:

  • du ønsker at restrukturere et program og først skal du forstå relationerne mellem dets typer, procedurer og kildefiler
  • du skal finde flaskehalse i en Internetmotor - ikke kun individuelle lænker, men deres relationer
  • du fejlsøger en protokol eller mikroarkitektur repræsenteret som en endelig tilstandsmaskine og har brug for at regne ud hvordan en bestemt fejltilstand opstår
  • du ønsker at gennemse et databaseskema, videndatabase eller distribueret program repræsenteret grafisk
  • du ønsker at se et overblik over en samling af lænkede dokumenter
  • du ønsker at se mønstre og interessefællesskaber i en database over telefonopkald eller e-post-beskeder

Denne pakke indeholder værktøjerne for kommandolinjen.

Screenshots of package graphviz
Hol-light
HOL Light - læresætningsbevis
Versions of package hol-light
ReleaseVersionArchitectures
sid20190729-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch20170109-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye20190729-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
Popcon: 3 users (11 upd.)*
Versions and Archs
License: DFSG free
Git

HOL Light en interaktivt læresætningsbeviser for Higer-Order Logic med en meget simpel logisk kerne kørende i et OCaml-topniveau. HOL Light er kendt for verifikation af kommatalsaritmetik samt for projektet Flyspeck, der forsøger at formalisere Tom Hales' bevis for Keplerformodningen.

Julia
Højtydende programmeringssprog for teknisk beregning
Versions of package julia
ReleaseVersionArchitectures
stretch0.4.7-6amd64,arm64,armhf,i386,mips64el,ppc64el
sid1.4.1+dfsg-1amd64,arm64,i386
jessie0.3.2-2amd64,i386
buster1.0.3+dfsg-4amd64,arm64,armhf,i386,ppc64el
upstream1.5.1
Debtags of package julia:
uitoolkitncurses
Popcon: 114 users (29 upd.)*
Newer upstream!
License: DFSG free
Git

Julia er et højtydende dynamisk programmeringssprog på højt niveau for teknisk beregning, med syntaks som er kendt af brugere fra andre tekniske beregningsmiljøer. Det tilbyder en sofistikeret kompiler, distribueret parallel kørsel, numerisk præcision, og et omfattende matematisk funktionsbibliotek. Biblioteket, hovedsagelig skrevet i selve Julia, integrerer også de modne samt bedste C- og Fortranbiblioteker for lineær algebra, vilkårlig taloprettelse, FFT'er og strengbehandling. Juliaprogrammer er organiseret omkring definering af funktioner og overbelastning af dem for forskellige kombinationer af parametertyper (som også kan være brugerdefineret).

Denne pakke tilbyder en fuldstændig Juliainstallation (JIT-kompiler, standardbibliotek, tekstbaseret brugergrænseflade).

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
Program til beregning med L-funktioner
Versions of package lcalc
ReleaseVersionArchitectures
squeeze0.0.20080205-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
sid1.23+dfsg-11amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye1.23+dfsg-11amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster1.23+dfsg-11amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch1.23+dfsg-6amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie1.23+dfsg-3amd64,armel,armhf,i386
wheezy0.0.20080205-1.2amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
Debtags of package lcalc:
roleprogram
Popcon: 45 users (25 upd.)*
Versions and Archs
License: DFSG free
Git

lcalc er et program til at beregne nulpunkter og værdier for L-funktioner. Understøttede L-funktioner inkluderer Riemann zeta-funktionen, L-funktionen for Ramanujans deltafunktion og L-funktioner for elliptiske kurver defineret over de rationelle.

Libmatheval1
GNU-bibliotek for evaluering af symbolske matematiske udtryk - kørselstid
Versions of package libmatheval1
ReleaseVersionArchitectures
wheezy1.1.8-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
buster1.1.11+dfsg-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid1.1.11+dfsg-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye1.1.11+dfsg-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch1.1.11+dfsg-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
squeeze1.1.7-1+nmu1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
jessie1.1.11+dfsg-2amd64,armel,armhf,i386
Debtags of package libmatheval1:
devellang:c, library
fieldmathematics
roledevel-lib, shared-lib
suitegnu
Popcon: 5 users (3 upd.)*
Versions and Archs
License: DFSG free
Git

GNU libmatheval er et bibliotek, der omfatter flere procedurer, som gør det muligt at oprette en trærepræsentation i hukommelsen af matematiske funktioner over enkelte eller flere variabler og senere brug af denne repræsentation til at evaluere funktioner for specificerede variabelværdier, til at oprette tilsvarende træer for funktionsudledninger over specificerede variabler eller til at udskrive tekstmæssig repræsentation af træer i hukommelsen til en specificeret streng. Biblioteket understøtter arbitrære variabelnavne i udtryk, decimalkonstanter, grundlæggende unary og binære operatorer og elementære matematiske funktioner.

Denne pakke indeholder det delte kørselstidsbibliotek.

Lp-solve
Løs lineære (blandede helttal-) programmeringsproblemer
Versions of package lp-solve
ReleaseVersionArchitectures
sid5.5.2.5-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster5.5.0.15-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch5.5.0.15-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie5.5.0.13-7amd64,armel,armhf,i386
squeeze5.5.0.13-7amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy5.5.0.13-7amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
bullseye5.5.2.5-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Debtags of package lp-solve:
fieldmathematics
roleprogram
scopeapplication
Popcon: 3418 users (13524 upd.)*
Versions and Archs
License: DFSG free

Det lineære programmeringsproblem (linear programming problem, LP) kan formuleres som: Løs Ax> = V1, med v2.x maksimal. A er en matrix, x er en vektor af (ikke-negative) variabler, V1 er en vektor kaldet højre side, og V2 er en vektor som angiver den objektive funktion.

Et lineært heltal-programmeringsproblem (integer linear programming, ILP) er et LP med den begrænsning, at alle variable er heltal. I et blandet lineært blandet heltal-programmeringsproblem (mixed integer linear programming problem, MILP), er nogle af variablerne heltal og andre reelle.

Programmet lp_solve løser LP-, ILP-, og MILP-problemer. Det er lidt mere generelt end antydet ovenfor, idet hver række A (med angivelse af en begrænsning) kan have sin egen (u)lighed, <=,> = eller =. Resultatet angiver værdier for alle variabler.

lp_solve bruger "Simplex"-algoritmen og sparsomme matrix-metoder til rene LP-problemer. Hvis en eller flere af variablerne er erklæret heltal, gentages Simplex-algoritmen med en forgrening og bundet algoritme, indtil den ønskede optimale løsning er fundet. lp_solve kan læse input-filer i MPS-formatet.

Lrcalc
programs for calculating Littlewood-Richardson coefficients
Versions of package lrcalc
ReleaseVersionArchitectures
buster1.2-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie1.2-1amd64,armel,armhf,i386
bullseye1.2-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid1.2-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch1.2-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Popcon: 11 users (5 upd.)*
Versions and Archs
License: DFSG free
Git

The "Littlewood-Richardson Calculator" is a package of C programs for computing Littlewood-Richardson coefficients, providing fast calculation of single LR coefficients, products of Schur functions, and skew Schur functions. Its interface uses the same notation as the SF package of John Stembridge, to make it easier to use both packages at the same time.

This package contains the command-line programs.

Lrslib
Pakke til at optælle toppunkter og ekstreme stråler for et konveks polyede
Maintainer: David Bremner
Versions of package lrslib
ReleaseVersionArchitectures
squeeze0.42c-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
sid0.71-6amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye0.71-6amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster0.70-3amd64,arm64,armel,armhf,i386,mips,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
Debtags of package lrslib:
roleprogram
Popcon: 13 users (16 upd.)*
Versions and Archs
License: DFSG free
Git

Et konveks polyeder er sættet af punkter der tilfredsstiller en begrænset familie af lineære uligheder. Studiet af toppunkter og ekstreme stråler for sådanne systemer er vigtigt og brugbart i f.eks. matematik og optimering. I en fælles fortolkning svarer det at finde toppunkter på en (bundet) polyeder til at finde det konvekse skrog (bundede uligheder) på et (arbitrær dimensionelt) punktsæt. Lrs (omvendt leksikografisk søgning) har to vigtige funktioner som kan være meget vigtige for bestemte programmer: Det virker i præcis aritmetik, og det forbruger hukommelse proportionalt med inddata, uanset hvor stort uddata er.

Magnus
Computational group theory software with GUI
Maintainer: Ben Burton (Richard Darst)
Versions of package magnus
ReleaseVersionArchitectures
squeeze20060324-5.2amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
bullseye1.0.3-1all
sid1.0.3-1all
Popcon: 15 users (4 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
bullseye1.0~git20200526-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch1.0~git20170104-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el
sid1.0~git20200526-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
upstream1.0~git20200709
Popcon: 9 users (2 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
portabelt Computer Algebra System (CAS)
Maintainer: tony mancill
Versions of package mathomatic
ReleaseVersionArchitectures
buster16.0.5-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye16.0.5-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid16.0.5-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
wheezy15.8.2-2amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
squeeze15.1.1-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
stretch15.8.2-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie15.8.2-2amd64,armel,armhf,i386
Debtags of package mathomatic:
fieldmathematics
interfacetext-mode
roleprogram
scopeapplication
uitoolkitncurses
usecalculating, learning
Popcon: 39 users (12 upd.)*
Versions and Archs
License: DFSG free
Git

Mathomatic implementerer regnereglerne for matematiske operatører +, -, *, /, % (modulus) og potens (inklusive rødder).

Mathomatic kan symbolsk:

  • kombinere og løse ligninger
  • fuldstændig forenkle og sammenligne udtryk og ligninger
  • udføre simple beregningstranformationer og serier
  • udføre standard, komplekse tal, modulær og polynomial aritmetik
  • oprette optimeret C-, Java- og Pythonsprogkode fra forenklede ligninger
  • plotte udtryk med gnuplot i to eller tre dimensioner
  • udføre hurtige beregninger, farvelægge udtryk etc.
Other screenshots of package mathomatic
VersionURL
14.5.3-1https://screenshots.debian.net/screenshots/000/002/311/large.png
Screenshots of package mathomatic
Matita
Interaktiv læresætningsbeviser
Versions of package matita
ReleaseVersionArchitectures
stretch0.99.3-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
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
wheezy0.99.1-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
Debtags of package matita:
fieldmathematics
interfacecommandline, x11
roleprogram
uitoolkitgtk
usechecking
x11application
Popcon: 12 users (2 upd.)*
Versions and Archs
License: DFSG free
Git

Matita er en grafisk interaktiv læresætningsbeviser baseret på Calculus of (Co)Inductive Constructions.

Screenshots of package matita
Maxima-sage
Computeralgrebasystem - grundlæggende system
Versions of package maxima-sage
ReleaseVersionArchitectures
stretch5.35.1-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster5.41.0+ds-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye5.44.0-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid5.44.0-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 56 users (61 upd.)*
Versions and Archs
License: DFSG free
Git

Maxima er et fuldt ud symbolsk computerprogram. Det er fuldt udrustet til symbolsk manipulation af polynomier, matricer, rationelle funktioner, integration, Todd-coxeter-metoder til analyse af begrænsede grupper, at danne graf, foretage beregninger med flere præcise flydepunkter. Det kan fejlsøge maxima-kode på et symbolsk kildeniveau. Maxima er baseret på det oprindelige Macsyma, som blev udviklet ved MIT i 1970'erne. Det er ganske pålideligt, indeholder en god spilopsamler og ingen hukommelseslæk. Der medfølger hundreder af selvtest.

Pakkerne maxima-sage er lavet til brug med SageMath. De indeholder versionen af Maxima, der fungerer med SageMath-versionen i Debian og bruger ECL i stedet for GCL som Lisp-kompiler. For at bruge selve Maxima anbefales den mere fuldstændige og opdaterede maximapakke.

Denne pakke indeholder de primære eksekvérbare filer og de grundlæggende systemfiler.

Mcl
Markov Cluster-algoritmen
Versions of package mcl
ReleaseVersionArchitectures
stretch14-137-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie14-137-1amd64,armel,armhf,i386
wheezy12-068-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
squeeze10-148-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
sid14-137+ds-9amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye14-137+ds-9amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster14-137+ds-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Debtags of package mcl:
fieldmathematics
roleprogram
Popcon: 29 users (13 upd.)*
Versions and Archs
License: DFSG free
Git

Pakken MCL er en implementering af MCL-algoritmen, og tilbyder redskaber til manipulation af matricer med spredning (på engelsk »sparse matrices«, den essentielle datastruktur i MCL-algoritmen) og til at foretage eksperimenter med klynger.

MCL anvendes på nuværende tidspunkt i videnskaber som biologi (detektering af proteinfamilier, arvemasseforskning), datalogi (knudepunktklynger i »vært til vært«-netværk) og lingvistik (tekstanalyse).

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
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
jessie2.2.1-5amd64,armel,armhf,i386
wheezy2.2.1-3amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
bullseye2.2.1-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster2.2.1-5amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Debtags of package minisat:
fieldmathematics
roleprogram
Popcon: 147 users (118 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
grafisk ODE-simulator
Maintainer: Varun Hiremath (Olly Betts)
Versions of package model-builder
ReleaseVersionArchitectures
squeeze0.4.1-5all
wheezy0.4.1-6all
jessie0.4.1-6.2all
stretch0.4.1-6.2all
buster0.4.1-6.2all
Debtags of package model-builder:
roleprogram
Popcon: 3 users (0 upd.)*
Versions and Archs
License: DFSG free
Svn

Model Builder er et grafisk værktøj for design, simulering og analyse af matematiske modeller, der består af et system af ordinære differentialligninger (ODE'er).

Mumps-test
Eksempel/test binære filer der bruger MUMPS
Versions of package mumps-test
ReleaseVersionArchitectures
squeeze4.9.2.dfsg-4amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
stretch4.10.0.dfsg-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster5.1.2-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye5.3.1-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
experimental5.3.3-1exp2amd64,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
sid5.3.1-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
jessie4.10.0.dfsg-3amd64,armel,armhf,i386
Popcon: 6 users (5 upd.)*
Versions and Archs
License: DFSG free
Git

MUMPS implementerer en direkte løser for store tynde (sparse) lineære systemer, med specifik fokus på symmetriske positive bestemte matricer. Det kan fungere på distribuerede matricer f.eks. over en klynge. Det har Fortran og C-grænseflader og kan have en grænseflade med rækkefølgeværktøjer såsom Scotch.

Nauty
Bibliotek for grafautomorfismer - grænseflade og værktøjer
Versions of package nauty
ReleaseVersionArchitectures
bullseye2.7r1+ds-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
wheezy2.4r2-1 (non-free)amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
squeeze2.4-2 (non-free)amd64,armel,i386,ia64,mips,mipsel,powerpc,s390,sparc
buster2.6r10+ds-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid2.7r1+ds-1amd64,arm64,armel,armhf,i386,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
Debtags of package nauty:
interfacecommandline
roleprogram
Popcon: 56 users (106 upd.)*
Versions and Archs
License: DFSG free
Git

Nauty (No AUTomorphisms, Yes?) er et sæt af procedurer for beregning af automorfismegrupper for grafer og digrafer. Denne matematiske programpakke er udviklet af Brendan McKay og Adolfo Piperno: http://pallini.di.uniroma1.it

Nauty beregner grafinformation i form af et sæt af oprettere, størrelsen af gruppen og gruppens bane; kan også fremstille en kanonisk etiket. Programpakken nauty er skrevet i C og har en grænseflade for kommandolinjen, en samling af værktøjer for kommandolinjen og en Application Programming Interface (API).

Denne pakke tilbyder grænsefladen dreadnaut og en lille samling af redskaber kaldt for gtools.

The package is enhanced by the following packages: nauty-doc
Netgen
Automatisk 3d-tetrahedral meshoprettelse
Versions of package netgen
ReleaseVersionArchitectures
bullseye6.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
sid6.2.1804+dfsg1-3.1arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid6.2.2006+dfsg-1amd64
upstream6.2.2008
Debtags of package netgen:
roleprogram
Popcon: 20 users (20 upd.)*
Newer upstream!
License: DFSG free
Git

NETGEN er et automatisk 3d-tetrahedral meshoprettelsesprogram. Programmet accepterer inddata fra konstruktiv solid geometri (CSG) eller bundet repræsentation (BRep) fra STL-filformat. NETGEN indeholder moduler for meshoptimering og hierarkisk meshforbedring.

Screenshots of package netgen
Normaliz
Matematikberegningsværktøjer for affine monoider, rationelle polyedre og kegler
Versions of package normaliz
ReleaseVersionArchitectures
buster3.6.3+ds-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye3.8.5+ds-1all
sid3.8.5+ds-1all
stretch3.1.1+ds-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
upstream3.8.8
Popcon: 0 users (0 upd.)*
Newer upstream!
License: DFSG free
Git

Normaliz er et matematisk værktøj til beregninger i affine monoider, vektorkonfigurationer, gitteropbyggede polyedre og rationelle kegler.

Denne tomme pakke tilbyder standardinstallationen.

Octave
GNU Octave language for numerical computations
Versions of package octave
ReleaseVersionArchitectures
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
experimental6.0.90-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
wheezy3.6.2-5+deb7u1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie3.8.2-4amd64,armel,armhf,i386
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
Debtags of package octave:
fieldmathematics
roleprogram
suitegnu
Popcon: 693 users (153 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
Pakke for analyse af gitterpolytoper
Versions of package palp
ReleaseVersionArchitectures
buster2.1-5amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie2.1-2amd64,armel,armhf,i386
bullseye2.12-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
squeeze1.1-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
sid2.12-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch2.1-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Debtags of package palp:
roleprogram
useanalysing
Popcon: 59 users (83 upd.)*
Versions and Archs
License: DFSG free
Git

Denne pakke indeholder diverse værktøjer til at arbejde med gitterpolytoper:

  • mori.x beregner stjernetriangulationer for en polytop
  • cws.x opretter vægtsystemer og kombinerede vægtsystemer
  • class.x klassificerer refleksive polytoper
  • poly.x beregner data for en polytop
  • nef.x beregner Hodgetal for nef-partitioner
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
PARI/GP Computer Algebra System extra data files
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 is a widely used computer algebra system designed for fast computations in number theory (factorizations, algebraic number theory, elliptic curves...), but also contains a large number of other useful functions to compute with mathematical entities such as matrices, polynomials, power series, algebraic numbers, etc., and a lot of transcendental functions. PARI is also available as a C library to allow for faster computations.

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

This is a dummy package which depends on

 pari-galdata: the Galois resolvants for the polgalois function.
 pari-elldata: the elliptic curves database for the ellsearch function.
 pari-seadata: the modular polynomials for the ellap function.
It can be safely removed after the upgrade.
Pari-gp
PARI/GP Computer Algebra System-binære filer
Maintainer: Bill Allombert
Versions of package pari-gp
ReleaseVersionArchitectures
squeeze2.3.5-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy2.5.1-2amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
buster2.11.1-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye2.11.4-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid2.11.4-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
jessie2.7.2-1amd64,armel,armhf,i386
stretch2.9.1-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Debtags of package pari-gp:
fieldmathematics
roledocumentation
uitoolkitncurses
Popcon: 89 users (56 upd.)*
Versions and Archs
License: DFSG free

PARI/GP er et ofte anvendt system for computeralgebra designet for hurtige beregninger i talteori (faktoriseringer, algebraisk talteori, elliptiske kurver ...), men indeholder også en lang række andre nyttige funktioner til at beregne med matematiske enheder såsom matricer, polynomier, potensrækker, algebraiske tal osv., og en masse transcendente funktioner. PARI er også tilgængelig som et C-bibliotek for hurtigere beregninger.

Oprindeligt udviklet af Henri Cohen og hans medarbejdere (Bordeaux I Universitetet, Frankrig). PARI er nu under GPL og vedligeholdes af Karim Belabas med hjælp fra mange frivillige bidragydere.

Denne pakke indeholder GP-lommeregneren.

The package is enhanced by the following packages: texmacs
Planarity
Program for planhedsrelaterede grafalgoritmer
Versions of package planarity
ReleaseVersionArchitectures
stretch3.0.0.5-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye3.0.1.0-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster3.0.0.5-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid3.0.1.0-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 12 users (15 upd.)*
Versions and Archs
License: DFSG free
Git

Denne pakke indeholder en referenceimplementering for kommandolinjen for Edge Addition Planarity Algorithm,som er den bedste lineær-tid metode til at indlejre en plane graf og isolere planaritetsforhindringer.

Polylib-utils
Various tools using libpolylib
Versions of package polylib-utils
ReleaseVersionArchitectures
wheezy5.22.5-3+dfsgamd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,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
squeeze5.22.5-1+dfsgamd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
Debtags of package polylib-utils:
roleprogram
Popcon: 13 users (5 upd.)*
Versions and Archs
License: DFSG free
Git

Polylib is a free C library for doing computations on polyhedra. The library is operating on objects like vectors, matrices, lattices, polyhedra, Z-polyhedra, unions of polyhedra and other intermediary structures. It provides functions for all important operations on these structures.

This package contains various utilities to perform polyhedral operations.

Proofgeneral
Generisk brugerflade for bevisassistenter
Versions of package proofgeneral
ReleaseVersionArchitectures
wheezy4.2~pre120605-2all
bullseye4.4.1~pre170114-1.2all
stretch4.4.1~pre170114-1all
jessie4.3~pre131011-0.2all
squeeze3.7-4all
sid4.4.1~pre170114-1.2all
Debtags of package proofgeneral:
fieldmathematics
interfacetext-mode, x11
roleplugin
suiteemacs
useediting
Popcon: 15 users (3 upd.)*
Versions and Archs
License: DFSG free

Proof General er en major-tilstand til at omdanne Emacs til en interaktiv bevisassistent for skrivning af matematiske beviser med brug af en række læresætningsbevisere.

Denne pakke tilbyder Proof General-understøttelse for Coq. (Der er ingen andre bevisassistenter som man med fornuft kan understøtte).

Other screenshots of package proofgeneral
VersionURL
4.3~pre130510-1.1https://screenshots.debian.net/screenshots/000/012/105/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: 2 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
bevisudførelse for teoremer og oprettelsesmodel for modmodel
Versions of package prover9
ReleaseVersionArchitectures
buster0.0.200911a-2.1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie0.0.200911a-2.1amd64,armel,armhf,i386
stretch0.0.200911a-2.1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
wheezy0.0.200902a-2.1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
squeeze0.0.200902a-2amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
Popcon: 28 users (10 upd.)*
Versions and Archs
License: DFSG free
Bzr

Denne pakke tilbyder Prover9's bevissystem for resolutioner/paramodulation og Mace4's opretter af modbeviser.

Prover9 foretager automatiserede bevisudførelser for teoremer i prædikatlogik og ligningslogik. Det er efterfølgeren for Otter- bevissystemet for teoremer. Prover9 bruger de samme slutningsteknikker for ordnede resolutioner og paramodulering med udvælgelse af literaler.

Programmet Mace4 søger efter finitte strukturer, der tilfredsstiller prædikatlogik og ligningslogik, den samme slags udtryk som Prover9 accepterer. Hvis påstanden en afvisning af en antagelse, så vil alle strukturer som Mace4 finder, være modeksempler på antagelsen.

Mace4 kan være et værdifuldt tillæg til Prover9, der kigger efter modeksempler før (eller på samme tid som) brug af Prover9 til at søge efter et bevis. Programmet kan også bruges til at hjælpe med at fejlsøge inddata-klausuler og formler for Prover9.

Pyomo
PYthon Optimization Modeling Objects
Maintainer: Daniel Stender
Versions of package pyomo
ReleaseVersionArchitectures
stretch4.3.11388+git20160622.d3e3f0a-1all
Popcon: 147 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
Distributed Evolutionary Algorithms in Python3
Versions of package python3-deap
ReleaseVersionArchitectures
buster1.0.2.post2-6all
bullseye1.3.1-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
jessie1.0.1-3+deb8u1all
stretch1.0.2.post2-2all
sid1.3.1-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 48 users (8 upd.)*
Versions and Archs
License: DFSG free
Git

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

This package contains the modules for Python3.

Python3-dolfin
Base Python interface for DOLFIN (Python 3)
Versions of package python3-dolfin
ReleaseVersionArchitectures
buster2018.1.0.post1-16amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid2019.2.0~git20200629.946dbd3-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye2019.2.0~git20200629.946dbd3-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 30 users (10 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 is the base package depending on specific dolfin builds. By default the version built against the preferred version of PETSc in /usr/lib/petsc is selected (with 32-bit indexing, but the alternative version (64-bit PETSc) can be selected by setting the environment variable PETSC_DIR.

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)
Versions of package python3-ffc
ReleaseVersionArchitectures
sid2019.2.0~git20200123.6b621eb-3all
bullseye2019.2.0~git20200123.6b621eb-3all
buster2018.1.0-5all
Popcon: 37 users (16 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
buster0.50.3+dfsg1-8amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch0.50.3+dfsg1-5amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid0.50.3+dfsg1-12amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye0.50.3+dfsg1-12amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 52 users (2 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
Python 3-brugerflade for OpenTURNS (a.k.a. TUI)
Versions of package python3-openturns
ReleaseVersionArchitectures
sid1.14-1amd64,armel,armhf,mips64el
stretch1.7-3amd64,arm64,armel,armhf,i386,mips64el,ppc64el,s390x
experimental1.11-2amd64,arm64,i386,mips64el,ppc64el,s390x
sid1.10-5arm64,i386,ppc64el,s390x
upstream1.15
Popcon: 3 users (0 upd.)*
Newer upstream!
License: DFSG free
Git

OpenTURNS er et funktionsrigt og generisk værktøj til at behandle og kvantificere usikkerheder i numeriske simuleringer i design, optimering og kontrol. Den tillader både undersøgelser for sensitivitet og pålidelighed:

  • definering af resultaterne for rente- og beslutningskriterier
  • kvantificere og modellere kilden for usikkerheder
  • udbrede usikkerhed og/eller analysere følsomhed og
  • ranger kilderne for usikkerhed

Målrettede brugere er ingeniører, der ønsker at introducere den probabilistiske dimension i deres indtil nu deterministiske studier.

 .
Denne pakke tilbyder Python 3-bindingerne til biblioteket.
Python3-sagenb-export
Convert SageNB Notebooks (Python 3)
Versions of package python3-sagenb-export
ReleaseVersionArchitectures
buster3.2-3all
bullseye3.2-4all
sid3.2-4all
stretch2.0-2all
Popcon: 16 users (5 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
bullseye2019.2.0~git20200610.3492e72-2all
buster2018.1.0-5all
stretch2016.2.0-2all
sid2019.2.0~git20200610.3492e72-2all
Popcon: 38 users (17 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
Beregn konvekse hylstre og relaterede strukturer - redskaber
Versions of package qhull-bin
ReleaseVersionArchitectures
squeeze2009.1-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
stretch2015.2-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid2020.1-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
jessie2012.1-5amd64,armel,armhf,i386
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
buster2015.2-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Debtags of package qhull-bin:
fieldmathematics
roleprogram
scopeutility
Popcon: 238 users (118 upd.)*
Versions and Archs
License: DFSG free
Git

Qhull beregner konvekse hylstre, Delaunay-triangulationer, halvrumsskæringer omkring et punkt, Voronoi-diagrammer, »fjerneste punkt«-Delaunay-trianguleringer og »fjerneste punkt«-Voronoi-diagrammer. Programmet kører i 2-d, 3-d, 4-d og højere dimensioner.

Denne pakke indeholder den eksekverbare fil for qhull, som giver en datakanalbrugerflade til nogle af funktionerne i biblioteket. Også inkluderet er rbox, som er et nyttigt værktøj til oprettelse af inddata for Qhull; programmet opretter hyperkuber, diamanter, kegler, cirkler, simplicer, spiraler, gitre og vilkårlige punkter.

Qhull producerer grafisk uddata for Geomview. Dette hjælper med forståelsen af uddata (http://www.geomvies.org).

Qsopt-ex
Præcis lineær programmeringsløser
Versions of package qsopt-ex
ReleaseVersionArchitectures
stretch2.5.10.3-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid2.5.10.3-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
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
Popcon: 14 users (8 upd.)*
Versions and Archs
License: DFSG free
Git

QSopt-ex er en implementering af en simplex-baseret algoritme, som returnerer præcise rationelle løsninger, har fordel af hastigheden for flydende kommatalsberegninger og forsøger at minimere operationerne udført i rationel aritmetik.

Denne pakke indeholder redskaberne for kommandolinjen.

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
Matematisk program for lavdimensionel topologi
Maintainer: Ben Burton
Versions of package regina-normal
ReleaseVersionArchitectures
sid5.1-6amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster5.1-6amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch5.1-1amd64,arm64,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
squeeze4.6-1.1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy4.93-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie4.96-2amd64,armel,armhf,i386
Debtags of package regina-normal:
fieldmathematics
interfacecommandline, x11
roleprogram
scopeutility
suitekde
uitoolkitqt
x11application
Popcon: 16 users (5 upd.)*
Versions and Archs
License: DFSG free

Regina er en programpakke med matematiske programmer for 3- og 4-manifold topologister. Pakken fokuserer på studiet af trianguleringer, normale overflader og vinkelstrukturer.

For 3-manifolds er opgaver på højt niveau inkluderet såsom 3-sfære genkendelse, tilsluttet sum-nedbrydning og Hakenness-test. Regina har en rig database med census-manifolds og indarbejder SnapPea-kernen til arbejde med hyperbolske manifolds. For 4-manifolds tilbydes et udvalg af kombinatoriske og algebraiske værktøjer samt understøttelse for normale hyperoverflader.

Regina har en fuld grafisk brugerflade samt Pythonbindinger og en C++-programmeringsgrænseflade på lavt niveau.

Denne pakke inkluderer den grafiske brugerflade og Pythongrænsefladen for kommandolinjen. Brugerhåndbogen og API-dokumentationen er i pakken regina-normal-doc og de MPI-aktiverede redskaber for højtydende klynger er i pakken regina-normal-mpi.

Rheolef
Effektivt miljø for finitte elementer
Versions of package rheolef
ReleaseVersionArchitectures
sid7.1-1amd64,arm64,i386,ppc64el,s390x
buster7.0-2amd64,arm64,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch6.7-1amd64,i386,mips,mipsel,ppc64el
wheezy6.1-2.1amd64,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie6.5-1amd64,i386
Debtags of package rheolef:
fieldmathematics
roleprogram
Popcon: 11 users (6 upd.)*
Versions and Archs
License: DFSG free
Git

Rheolef er et computermiljø, som fungerer som et nemt laboratorie for beregninger i anvendt matematik, der involverer »finite element«-lignende metoder. Miljøet tilbyder et sæt af kommandoer og C++-algoritmer og containere.

Grundlæggende dækker containere først den klassiske grafdatastruktur for sjældne matrixformater og gitre for finitte elementer. På et højere abstraktionsniveau kan de håndtere omtrentlige finitte elementrum og diskrete felter. Fleksible og funktionsrige udtryk bruges til at specificere bilineære formularer.

Aktuelle programmer dækker:

  • massivt distribueret hukommelses finitte elementmiljø, baseret på MPI
  • elasticitet, Stokes- og Navier-Stokes-problemer i 2D og 3D
  • Komplekse væskeanvendelser: viskoplastisk, viskoelasticitet, vægglidning
  • ikkelineære problemer med enten fixpunkt algoritmer eller en tilbudt generisk dæmpet Newton-løsningsalgoritme
  • højordenspolynomier, blandede elementer og diskontinuerlige Galerkin- metoder
  • automatisk tilpassede gitterfremgangsmåder
  • aksesymmetriske problemer
  • flere regioner og variable koefficientproblemer

Denne pakke tilbyder kommandoerne for rheolef. Disse understøtter input og output i diverse filformater for gitter-generatorer og numeriske datavisualiseringssystemer såsom Paraview og 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
sid20070912-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster20070912-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch20070912-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye20070912-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 47 users (27 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
Matematisk program udviklet i åben kildekode
Versions of package sagemath
ReleaseVersionArchitectures
sid9.0-4arm64,ppc64el
stretch7.4-9amd64,i386
sid9.2~beta12-1amd64,i386,s390x
buster8.6-6amd64,arm64,armhf,i386,ppc64el
Popcon: 53 users (35 upd.)*
Versions and Archs
License: DFSG free
Git

SageMath er et matematikprogram med licens under GPL'en. Den bygger oven på mange eksisterende pakker udviklet under åben kildekode: NumPy, SciPy, matplotlib, Sympy, Maxima, GAP, FLINT, R og mange flere. Tilgå deres samlede funktioner via et fælles, Pythonbaseret sprog eller direkte via grænseflader eller omslag.

Mission: Oprettelse af et levedygtigt frit alternativ til Magma, Maple, Mathematica og Matlab.

Denne pakke indeholder hovedinstallationen for SageMath.

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

Denne pakke indeholder en lille database med Conway-polynomier, for primtal op til 109.987 og en række eksponenter.

Det er en del af programpakken Sagemath.

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

Denne pakke indeholder to databaser:

  • undersættet for John Cremonas database for elliptiske kurver op til conductor på næsten 10000
  • William Steins database med interessante elliptiske kurver

Pakken er en del af programpakken Sagemath.

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

Denne pakke indeholder en database med grafer, oprettet af Emily Kirkman baseret på arbejde af Jason Grout. Den indeholder også ISGCI-grafdatabasen.

Det er en del af programpakken Sagemath.

Sagemath-database-mutually-combinatorial-designs
Databaser for kombinatoriske design
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

Denne pakke indeholder en database med samtidige retvinklede latinske firkanter, som fundet i Handbook of Combinatorial Designs, 2ed.

Det er en del af programpakken Sagemath.

Sagemath-database-polytopes
Databaser med polyedre
Versions of package sagemath-database-polytopes
ReleaseVersionArchitectures
buster20170220-2all
sid20170220-4all
stretch20120220+dfsg-2all
jessie20120220+dfsg-1all
bullseye20170220-4all
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

Denne pakke indeholder en database med 2-dimensionale og 3-dimensionale refleksive polyedre.

Det er en del af programpakken Sagemath.

Science-statistics
Debians videnskabelige statistikpakker
Versions of package science-statistics
ReleaseVersionArchitectures
bullseye1.13all
buster1.10all
squeeze0.12all
wheezy1.0all
jessie1.4all
stretch1.7all
sid1.13all
Debtags of package science-statistics:
rolemetapackage
suitedebian
Popcon: 18 users (8 upd.)*
Versions and Archs
License: DFSG free
Git

Denne metapakke er en del af Debians Pure Blend »Debian Science« og installerer pakker relateret til statistik. Denne opgave er en generel opgave, som kan være nyttig for videnskabelig arbejde. Den afhænger af en masse R-pakker samt andre værktøjer, som er nyttige til at udføre statistik. Derudover foreslås Videnskabelig matematik-opgaven som valgfri installation af alle matematikrelaterede programmer.

Scilab
Videnskabelig softwarepakke til numeriske beregninger
Versions of package scilab
ReleaseVersionArchitectures
buster6.0.1-10+deb10u1all
bullseye6.1.0+dfsg1-6all
stretch5.5.2-4all
squeeze5.2.2-9all
sid6.1.0+dfsg1-6all
wheezy5.3.3-10all
jessie5.5.1-7all
Debtags of package scilab:
fieldelectronics, mathematics, physics, statistics
interfacex11
roleprogram
scopeutility
uitoolkittk
useanalysing, learning
works-withimage
x11application
Popcon: 126 users (69 upd.)*
Versions and Archs
License: DFSG free
Git

Scilab er en matricebaseret videnskabelig softwarepakke. Scilab indeholder hundreder af indbyggede matematiske funktioner, rige datastrukturer (inklusive polynomier, rationelle lineære systemer, lister etc...) og der medfølger et antal videnskabelige værktøjsbokse for kontrol, signalprocessering...

Denne pakke tilbyder også Xcos, et grafisk redigeringsprogram til at designe hybride dynamiske systemmodeller. Modeller kan designes, indlæses, gemmes, kompileres og simuleres. Stabil og effektiv løsning for industribehov og akademiske behov, Xcos tilbyder funktionaliteter for modellering af mekaniske systemer (bilproduktion, flyproduktion...), hydrauliske kredsløb (dæmning, datakanalmodeller...), kontrolsystemer etc. Mulighed for Modelica tilbydes også.

Installer pakken »scilab-cli« for en minimal version af scilab.

Other screenshots of package scilab
VersionURL
5.2.2-2https://screenshots.debian.net/screenshots/000/004/950/large.png
Screenshots of package scilab
Scilab-ann
Scilab module for artificial neural networks
Versions of package scilab-ann
ReleaseVersionArchitectures
wheezy0.4.2.4-1all
squeeze0.4.2.3-3all
stretch0.4.2.4-1all
jessie0.4.2.4-1all
Debtags of package scilab-ann:
devellibrary
roledevel-lib, shared-lib
Popcon: 5 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: 0 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
programs and libraries for graph, mesh and hypergraph partitioning
Versions of package scotch
ReleaseVersionArchitectures
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
sid6.0.10-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster6.0.6-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye6.0.9-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch5.1.12b.dfsg-2.1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
upstream6.1.0
Debtags of package scotch:
roleprogram
Popcon: 15 users (13 upd.)*
Newer upstream!
License: DFSG free
Git

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

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

SCOTCH has many interesting features:

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

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

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

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

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

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

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

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

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

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

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

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

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

Screenshots of package scotch
Singular
Computeralgebrasystem for polynomiale beregninger
Versions of package singular
ReleaseVersionArchitectures
stretch4.0.3-p3+ds-5amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
squeeze3-0-4-3.dfsg-3.1amd64,armel,i386,ia64,mips,mipsel,powerpc,s390,sparc
experimental4.1.2-p1+ds-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid4.1.1-p2+ds-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye4.1.1-p2+ds-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster4.1.1-p2+ds-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
upstream4.1.3-p2
Debtags of package singular:
fieldmathematics
roleprogram
uitoolkitncurses
Popcon: 1 users (5 upd.)*
Newer upstream!
License: DFSG free
Git

SINGULAR er et Computer Algebra System (CAS) for polynomiale beregninger med vægt på specielle behov indenfor kommutativ algebra, algebraisk geometri og singularitetsteori.

Denne tomme pakke tilbyder standardinstallationen.

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

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

Screenshots of package snappea
Surf-alggeo
Visualisering af reel algebraisk geometri
Versions of package surf-alggeo
ReleaseVersionArchitectures
sid1.0.6+ds-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch1.0.6+ds-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster1.0.6+ds-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye1.0.6+ds-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

Surf er et skriptdrevet værktøj til at visualisere noget reelt algebraisk geometri: plane algebraiske kurver, algebraiske overflader og hyperplane dele af overflader.

Algoritmerne bør være stabile nok til ikke at blive forvekslet med kurve/overflade singulariteter i codimension større end en og graden af overfladen eller kurven. Kurver med grader op til 30 og overflader op til 20 er blevet tegnet med succes. Der er dog eksempler på kurver/overflader med lavere grad, hvor surf mislykkes i at fremstille perfekte billeder. Dette sker specielt når ligningen for kurven/overfladen ikke er reduceret. De bedste resultater opnås via brug af reducerede ligninger. På den anden hånd så viser surf Fermat- kurver præcist for grader op til 98.

Surf er et frit program distribueret under GNU General Public License (GPL).

Denne overgangspakke er lavet for at tillade fler-variant understøttelse for surf.

Sympow
Matematisk program for SÝMmetric POWer elliptiske kurve-L-funktioner - program
Versions of package sympow
ReleaseVersionArchitectures
wheezy1.019-4amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
stretch1.023-8amd64,arm64,armel,armhf,i386,mips,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
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
sid2.023.6-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Debtags of package sympow:
roleprogram
Popcon: 48 users (25 upd.)*
Versions and Archs
License: DFSG free
Git

SYMPOW er et matematisk program til beregning af specielle værdier for symmetriske kraft elliptiske kurve-L-funktioner; det kan beregne op til cirka 64-cifres præcision.

Denne pakke tilbyder selve programmet SYMPOW.

Tachyon
Uafhængigt parallel/multiprocessor strålesporingsprogram - metapakke
Versions of package tachyon
ReleaseVersionArchitectures
squeeze0.98~beta.dfsg-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
stretch0.99~b6+dsx-8all
bullseye0.99~b6+dsx-9all
jessie0.99~b2+dfsg-0.4amd64,armel,armhf,i386
sid0.99~b6+dsx-9all
wheezy0.99~b2+dfsg-0.4amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
buster0.99~b6+dsx-9all
Debtags of package tachyon:
roleprogram
works-with3dmodel
Popcon: 1 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

Tachyon er et portabelt, højtydende parallel-strålesporingssystem, der understøtter MPI og multitrådede implementeringer. Tachyon er opbygget som et bibliotek, der kan kaldes og bruges indeni programmer.

Tachyon implementerer alle de grundlæggende geometriske primitiver, så som trekanter, planer, sfærer, cylindere, osv. Nogle af målene med udviklingen af Tachyon var at gøre det hurtigt og give god parallelisering. Dette er det som adskiller det fra mere funktionskomplette programmer som POV-Ray, Rayshade og øvrige. Tachyon understøtter tilstrækkeligt mange funktioner til at udgøre et fornemt alternativ til langsommere programmer for krævende animations- og videnskabelige visualiseringsopgaver.

Denne metapakke giver mulighed for multi-variant-understøttelse for værktøjer bygget på tachyon.

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

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

Topcom
Triangulations Of Point Configurations and Oriented Matroids
Versions of package topcom
ReleaseVersionArchitectures
sid0.17.8+ds-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye0.17.8+ds-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

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

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

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

Toulbar2
Præcis kombinatorisk optimering for grafiske modeller
Versions of package toulbar2
ReleaseVersionArchitectures
bullseye1.0.0+dfsg3-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
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
upstream1.1.0
Popcon: 14 users (6 upd.)*
Newer upstream!
License: DFSG free
Git

Toulbar2 er et præcist diskret optimeringsværktøj for grafiske modeller såsom Cost Function Networks, Markov Random Fields, Weighted Constraint Satisfaction Problems og Bayesian Nets.

Wxmaxima
Grafisk brugerflade til computer algebrasystemet Maxima
Versions of package wxmaxima
ReleaseVersionArchitectures
buster19.01.2-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid19.07.0-1.1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye19.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
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
upstream20.09.0
Debtags of package wxmaxima:
fieldmathematics
interfacex11
roleprogram
scopeapplication
uitoolkitwxwidgets
x11application
Popcon: 156 users (37 upd.)*
Newer upstream!
License: DFSG free
Git

wxMaxima er en grafisk brugerflade til computer algebrasystemet Maxima. Det letter brugen af Maxima ved at gøre de fleste kommandoer tilgængelige gennem et menusystem, og ved at tilbyde dialogfelter til kommandoer som kræver mere end ét argument. Den implementerer også sin egen visningsmotor, der udskriver matematiske symboler direkte, i stedet for af afbillede dem med ASCII-tegn.

wxMaxima tilbyder også 2D- og 3D-indlejrede plotninger, simple animationer, mulighed for at oprette dokumenter med et miks af tekst og matematiske udregninger, eksport af input og output til TeX, samt en browser til Maximas manual, herunder et indeks over kommandoer og fuld tekstsøgning.

Xcas
Computer Algebra System - konsol og grafisk lommeregner
Versions of package xcas
ReleaseVersionArchitectures
sid1.5.0.87+dfsg1-7s390x
sid1.6.0.17+dfsg2-1ppc64el
sid1.6.0.23+dfsg1-2amd64,arm64,armel,armhf,i386,mips64el,mipsel
bullseye1.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: 55 users (45 upd.)*
Versions and Archs
License: DFSG free
Git

Giac er et computeralgebrasystem, der følger udviklingen af CAS'en for HP-lommeregnere. Programmet har hurtig implementering af algoritmer for polynomiumoperationer og en kompatibilitetstilstand med Maple eller Mupad CAS samt TI-lommeregnere.

Denne pakke indeholder det brugerrettede giac-program: xcas, icas og pgiac; samt programmet cas_help som tilbyder brugerrettet hjælp.

Xmaxima
Computer algrebasystem - grænseflade til X
Maintainer: Camm Maguire
Versions of package xmaxima
ReleaseVersionArchitectures
wheezy5.27.0-3amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
bullseye5.44.0-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
jessie5.34.1-2amd64,armel,armhf,i386
squeeze5.21.1-2squeezeamd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
sid5.44.0-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster5.42.1-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch5.38.1-8amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Debtags of package xmaxima:
fieldmathematics
interfacex11
roleprogram
scopeapplication
uitoolkittk
x11application
Popcon: 65 users (93 upd.)*
Versions and Archs
License: DFSG free

Maxima er et fuldt ud symbolsk computerprogram. Det er fuldt udrustet til symbolsk manipulation af polynomier, matricer, rationelle funktioner, integration, Todd-coxeter-metoder til analyse af begrænsede grupper, at danne graf, foretage beregninger med flere præcise flydepunkter. Det kan fejlsøge maxima-kode på et symbolsk kildeniveau. Maxima er baseret på det oprindelige Macsyma, som blev udviklet ved MIT i 1970'erne. Det er ganske pålideligt, indeholder en god spilopsamler og ingen hukommelseslæk. Der medfølger hundreder af selvtest.

Denne pakke indeholder en X Windows-grænseflade som anvender bibliotekerne tcl/tk.

Other screenshots of package xmaxima
VersionURL
5.22.1-9+b2https://screenshots.debian.net/screenshots/000/007/442/large.png
Screenshots of package xmaxima
Xmds
eXtensible Multi-Dimensional Simulator
Versions of package xmds
ReleaseVersionArchitectures
wheezy1.6.6-7amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
squeeze1.6.6-4amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
jessie1.6.6-7amd64,armel,armhf,i386
Debtags of package xmds:
roleprogram
Popcon: 9 users (0 upd.)*
Versions and Archs
License: DFSG free
Svn

XMDS er en kodeopretter, som integrerer ligninger, fra ordinære differentialligninger (ODE'er) til stokastiske delvise ligninger (PDE'er). Du skriver dem i læsbart format i en XML-fil og kodeopretteren går i gang og skriver og kompilerer et C++-program, som integrerer disse ligninger så hurtigt som det kan lade sig gøre i din arkitektur.

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

XMDS er en kodeopretter, som integrerer ligninger, fra ordinære differentialligninger (ODE'er) til stokastiske delvise ligninger (PDE'er). Du skriver dem i læsbart format i en XML-fil og kodeopretteren går i gang og skriver og kompilerer et C++-program, som integrerer disse ligninger så hurtigt som det kan lade sig gøre i din arkitektur.

XMDS 2 er en stor opgradering skrevet i Python, som er hurtigere og meget mere alsidig end tidligere versioner, hvilket giver mulighed for effektiv integration af næsten ethvert værdiproblem på regulære domæner.

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
Bibliotek til at søge tilnærmelsesvist efter nærmeste nabo - værktøjer
Versions of package ann-tools
ReleaseVersionArchitectures
wheezy1.1.2+doc-3amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
sid1.1.2+doc-7amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
jessie1.1.2+doc-5amd64,armel,armhf,i386
stretch1.1.2+doc-6amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster1.1.2+doc-7amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
squeeze1.1.1+doc-2.2amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
bullseye1.1.2+doc-7amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Debtags of package ann-tools:
roleprogram
Popcon: 1 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

ANN er et bibliotek skrevet i C++, der understøtter datastrukturer og algoritmer for både eksakt og tilnærmelsesvis nabosøgning i vilkårligt høje dimensioner. ANN antager at afstande måles med enhver klasse fra afstandsfunktionerne kaldet Minkowski-metrikker. Disse inkluderer de velkendte euklidiske afstande, Manhattan-afstand og maksimal afstand. ANN yder ganske effektivt for punktsæt i størrelsesintervallet fra tusinder til hundrede af tusinder, og i så højt som 20 dimensioner.

Denne pakke indeholder programmerne »ann2fig« (vis ANN-uddata i fig-format) og »ann_sample« (en prøvedemo til ANN).

Evolver-nox
Surface Evolver - uden X-understøttelse
Versions of package evolver-nox
ReleaseVersionArchitectures
stretch2.70+ds-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,s390x
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
Popcon: 6 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

Surface Evolver er et interaktivt program for modelopbygning af væskeoverflader formet af forskellige energier og begrænsninger.

Denne pakke indeholder evolver-varianter bygget med forskellige kommatalsformater (dobbelt, lang dobbelt, firdobbelt) men uden X-understøttelse.

The package is enhanced by the following packages: evolver-doc
Evolver-ogl
Surface Evolver - med OpenGL-visning
Versions of package evolver-ogl
ReleaseVersionArchitectures
stretch2.70+ds-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,s390x
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
Popcon: 2 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

Surface Evolver er et interaktivt program for modelopbygning af væskeoverflader formet af forskellige energier og begrænsninger.

Denne pakke tilbyder evolvervarianter bygget med forskellige kommatalsformater (dobbelt, lang dobbelt, firdobbelt) og med en OpenGL/GLUT-visning.

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

GAP er et system til computerstyret diskret algebra med særlig vægt på computerstyret gruppeteori. GAP tilbyder et programmeringssprog, et bibliotek med tusinder af funktioner, der implementerer algebraiske algoritmer skrevet i GAP-sproget samt store databiblioteker med algebraiske objekter. GAP bruges indenfor videnskab og undervisning til studering af grupper og deres repræsentation, ringe, vektorrum, algebraer, kombinatoriske strukturer med mere.

Denne pakke indeholder GAPDoc, »A Meta Package for GAP Documentation« af Frank Lübeck og Max Neunhöffer, som bruges til at håndtere GAP-dokumentation.

Gap-io
C-biblioteks IO-bindinger, på lavt niveau, for GAP
Versions of package gap-io
ReleaseVersionArchitectures
jessie4.4.2+ds-1amd64,armel,armhf,i386
buster4.5.4+ds-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye4.7.0+ds-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid4.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: 4 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

GAP er et system for beregning af diskret algebra med bestemt vægt på beregningsmæssig gruppeteori, men har allerede vist sig nyttig også indenfor andre områder.

Denne pakke gør det muligt for GAP at tilgå UNIX I/O C-biblioteksfunktioner.

Gap-online-help
GAP-computeralgebrasystem - hjælp på nettet
Maintainer: Bill Allombert
Versions of package gap-online-help
ReleaseVersionArchitectures
stretch4r8p6-2all
squeeze4r4p12-2all
wheezy4r4p12-2all
jessie4r7p5-2all
buster4r10p0-7all
sid4.11.0-4all
bullseye4.11.0-4all
Debtags of package gap-online-help:
fieldmathematics
made-oftex
roledocumentation
Popcon: 5 users (0 upd.)*
Versions and Archs
License: DFSG free

GAP er et system til computerstyret diskret algebra med særlig vægt på computerstyret gruppeteori. GAP tilbyder et programmeringssprog, et bibliotek med tusinder af funktioner, der implementerer algebraiske algoritmer skrevet i GAP-sproget samt store databiblioteker med algebraiske objekter. GAP bruges indenfor videnskab og undervisning til studering af grupper og deres repræsentation, ringe, vektorrum, algebraer, kombinatoriske strukturer med mere.

Denne pakke indeholder dokumentationen i TeX-format, krævet for nettets hjælpesystem.

Gap-scscp
SCSCP-protokollen i GAP
Versions of package gap-scscp
ReleaseVersionArchitectures
bullseye2.3.1+ds-1all
sid2.3.1+ds-1all
buster2.2.3+ds-2all
jessie2.1.4+ds-1all
stretch2.1.4+ds-3all
Popcon: 3 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

GAP er et system for beregning af diskret algebra med bestemt vægt på beregningsmæssig gruppeteori, men har allerede vist sig nyttig også indenfor andre områder.

Denne pakke implementerer Symbolic Computation Software Composability Protocol (SCSCP) for GAP.

Gmp-ecm
Faktorering af heltal med brug af den elliptiske kurvemetode
Versions of package gmp-ecm
ReleaseVersionArchitectures
buster7.0.4+ds-5amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid7.0.4+ds-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
jessie6.4.4-2amd64,armel,armhf,i386
bullseye7.0.4+ds-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
wheezy6.4.2-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
stretch7.0.4+ds-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
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: 54 users (25 upd.)*
Versions and Archs
License: DFSG free
Git

gmp-ecm er en fri implementering af den elliptiske kurvemetode (EKM) for faktorering af heltal.

Det oprindelige formål med ECMNET-projektet var at gøre Richard Brents forudsigelse sand, dvs. finde en faktor på 50 tal eller mere med EKM. Dette mål blev nået den 14. september 1998, da Conrad Curry fandt en faktor med 53 tal af 2^677-1 c1500 med brug af George Woltmans program, mprime. Det nye mål for ECMNET er nu at finde andre store faktorer med ekm, hovedsagligt ved at bidrage til Cunningham-projektet, højest sandsynligt ét af de beregningsprojekter i historien som har kørt i længst tid ifølge Bob Silverman. En ny rekord blev sat af Nik Lygeros og Michel Mizony, der i december 1999 fandt et primtal på 54 tal med brug af GMP-ECM.

Se http://www.loria.fr/~zimmerma/records/ecmnet.html for mere information om ecmnet.

Denne pakke tilbyder redskabet for kommandolinjen.

Netgen-doc
Automatisk 3d-tetrahedral meshoprettelse - dokumentation
Versions of package netgen-doc
ReleaseVersionArchitectures
bullseye6.2.1804+dfsg1-3.1all
sid6.2.2006+dfsg-1all
squeeze4.9.12.dfsg-3all
sid6.2.1804+dfsg1-3.1all
buster6.2.1804+dfsg1-3all
upstream6.2.2008
Debtags of package netgen-doc:
roledocumentation
Popcon: 0 users (0 upd.)*
Newer upstream!
License: DFSG free
Git

NETGEN er et automatisk 3d-tetrahedral meshoprettelsesprogram. Programmet accepterer inddata fra konstruktiv solid geometri (CSG) eller bundet repræsentation (BRep) fra STL-filformat. NETGEN indeholder moduler for meshoptimering og hierarkisk meshforbedring.

Denne pakke indeholder brugermanualen (i PDF-format) og eksempelfiler.

Primesieve
Hurtig primeopretter C/C++-bibliotek
Versions of package primesieve
ReleaseVersionArchitectures
sid7.5+ds-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye7.5+ds-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch5.7.2+ds-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster7.3+ds-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

Primesieve er et frit program og C/C++-bibliotek, som opretter primer via en optimeret sieve af Eratosthenes-implementering. Primesieve kan oprette primer og primer-K-tupletter op til næsten 2^64.

Se http://primesieve.org/ for yderligere information.

Denne tomme pakke tilbyder standardinstallationen.

R-cran-evd
GNU R Functions for extreme value distributions
Versions of package r-cran-evd
ReleaseVersionArchitectures
sid2.3-3-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
wheezy2.2-4-2amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie2.3-0-1amd64,armel,armhf,i386
stretch2.3-2-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster2.3-3-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye2.3-3-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
squeeze2.2-4-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
Popcon: 32 users (42 upd.)*
Versions and Archs
License: DFSG free
Git

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

Please cite: Alec G. Stephenson: evd: Extreme Value Distributions. R News 2(2):31-32 (2002)
Sagetex
Indlejr Sagekode og plot i LaTeX
Versions of package sagetex
ReleaseVersionArchitectures
stretch3.0+ds-4all
sid3.4+ds-2all
buster3.2+ds-2all
upstream3.5
Popcon: 0 users (0 upd.)*
Newer upstream!
License: DFSG free
Git

Pakken SageTeX LaTeX tillader at du indlejrer kode, beregningsresultater og plot fra matematikpakken SageMath i LaTeX-dokumenter. SageMath er et Computer Algebra System (CAS) udviklet i åben kildekode.

Denne pakke tilbyder LaTeX-pakken.

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
buster0.0.21 (contrib)all
wheezy0.0.18 (contrib)all
stretch0.0.21 (contrib)all
jessie0.0.19+nmu1 (contrib)all
bullseye0.0.21.1 (contrib)all
sid0.0.21.1 (contrib)all
Popcon: 10 users (10 upd.)*
Versions and Archs
License: DFSG free, but needs non-free components
Git

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

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

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

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

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).

Macaulay2
Software system for algebraic geometry research
Versions of package macaulay2
ReleaseVersionArchitectures
VCS1.15.1.0+git516.9e3c064+ds-1all
Versions and Archs
License: GPL-2+
Debian package not available
Git
Version: 1.15.1.0+git516.9e3c064+ds-1

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

This package contains the architecture dependent portion of Macaulay2.

Please cite: Daniel R. Grayson and Michael E. Stillman: Macaulay2, a software system for research in algebraic geometry.

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 197308