Debian Science Mathematics packages

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

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

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

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.

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.

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.

FSFP er et bibliotek af rutiner, der implementerer en forudsigelseskorrektionsvariant af den semidefinit programmeringsalgoritme Helmberg, Rendl, Vanderbei og Wolkowicz. Koden kører parallelt på systemer med delt hukommelse og flere processorer, og det gør effektiv brug af sparsitet i begrænsende matricer.

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

Denne pakke indeholder de binære filer.

Bonmin (Basic Open-source Nonlinear Mixed INteger programming) er en fri kode til at løse almene MINLP-problemer (Mixed Integer NonLinear Programming).

Bonmin er en del af det større COIN-OR-initiativ (Computational Infrastructure for Operations Research) og kan bruges med andre COIN-OR-pakker, der gør brug af cuts, såsom den blandede-heltals lineære programmeringsløser Cbc.

Denne pakke indeholder hovedfilerne for udviklere.

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

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.

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.

Denne pakke tilbyder værktøjer til at bevise ligningsteoremer: fra en matematisk specifikation i mange-sorterede første-orden logik med lighed og en hypotese/formodning, vil pakken kigge efter et bevis.

FEniCS er en samling af frie programmer til automatisk, effektiv løsning af differentialligninger.

FEniCS har en omfattende liste over funktioner, inklusive automatiserede løsning af variationsproblemer, automatiseret fejlkontrol og tilpasning, et omfattende bibliotek for begrænsede elementer, højtydende lineær algebra og meget mere.

FEniCS er organiseret som en samling af komponenter, der fungerer sammen, inklusive problemløsningsmiljøet DOLFIN, formularkompileren FFC, den begrænsede elementtabulator FIAT, just-in-time-kompileren Instant, grænseflade for kodeoprettelse UFC, formularsproget UFL og en række yderligere komponenter.

Dette er en metapakke, der afhænger af alle FEniCS-komponter.

Dette er den forældede version af FEniCS. Du kan eventuelt overveje at installere næste generation FEniCS-X (pakken fenicx).

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.

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

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.

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

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.

Denne pakke indeholder værktøjet for kommandolinjen.

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.

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.

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

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.

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

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.

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

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.

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

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

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.

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.

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.

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.

Macaulay 2 er et programsystem for algebraisk geometriforskning; skrevet af Daniel R. Grayson og Michel E. Stillman. Baseret på Groebner-baser, tilbyder algoritmer til beregning af homologiske invarianter af ringe og moduler.

Denne pakke indeholder de af arkitekturen afhængige dele af Macaulay2.

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

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

Mathicgb er et program til at beregne Groebner-base og signatur Groebner-baser. Mathicgb er baseret på hurtige datastrukturer fra mathic.

Artiklen »Practical Groebner Basis Computation« beskriver algoritmerne i Mathicgb fra et højt niveau. Den blev præsenteret på ISSAC 2012 og er tilgængelig på http://arxiv.org/abs/1206.6940.

Denne pakke indeholder værktøjet for kommandolinjen.

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.

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.

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

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

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.

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

Denne tomme pakke tilbyder standardinstallationen.

Octave er et (for det meste Matlab®-kompatibelt) sprog på højt niveau, primært beregnet til numeriske beregninger. Programmet tilbyder en nem brugerflade fra kommandolinjen til løsning af lineære og ikkelineære problemer numerisk.

Octave kan udvides dynamisk med filer i C++ som leveres af brugeren.

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

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.

Persalys er en grafisk brugerflade for OpenTURNS, dedikeret til behandlingen af usikkerhed og håndteringen af variationer. Programmet er et værktøj mellem computersimuleringen, sandsynlighedsanalyser og datavidenskaberne. Grænsefladen er tilgængelig på fransk eller engelsk.

Persalys gør det muligt at:

• oprette matematiske modeller: analytisk, sammen med en ekstern model (finitte elementer ...), FMU
• analyse af variationen for ens parametre takket være mange metoder og visualiseringsværktøjer
• statistisk analyse af ens måledata, arv sandsynlighedsdistributioner eller opret metamodeller

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

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

This package contains the command line interface to PHCpack.

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

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

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.

DEAP er en ny evolutionær beregningsramme for hurtig prototyping og afprøvning af ideer. Den søger at gøre algoritmer eksplicitte og datastrukturer gennemsigtige. Den fungerer i perfekt harmoni med paralleliseringmekanismer, som f.eks multiprocessing og SCOOP.

Denne pakke indeholder modulerne for Python 3.

DOLFIN er Python- og C++-grænsefladen for FEniCS-projektet for den automatiserede løsning for differentialligninger, der tilbyder et konsistent PSE (Problem Solving Environment) for løsning af ordinære og delvise differentialligninger. De vigtigste funktioner er en simpel, konsistent og intuitiv objektorienteret API; automatisk og effektiv evaluering af sæsonformer; automatisk og effektiv samling af lineære systemer; og understøttelse af generelle familier af finitte elementer.

Dette er den grundlæggende pakke, der afhænger af specifikke dolfin-kompileringer. Som standard bygges versionen mod den foretrukne version af PETSc i /usr/lib/petsc (med 32-bit indeksering, men den alternative version (64-bit PETSc) kan vælges ved at angive miljøvariablen PETSC_DIR.

Dette er den forældede version af DOLFIN, du kan eventuelt installere næste generation python3-dolfinx (DOLFIN-X) i stedet for.