Debian Science Mathematics-dev packages

De grundlæggende funktioner i Code_Saturne gør det muligt at håndtere inkompressible eller kompressible strømme med eller uden varmeoverførsel og turbulens. Dedikerede moduler er tilgængelige for specifik fysik såsom strålingsvarmeoverførsel, forbrænding (gas, kul, svær brændselsolie ...), magneto-hydrodynamik, kompressible strømme, to-fase-strømme (Euler-Lagrange-tilgang med gensidig kobling), udvidelser til specifikke anvendelser (f.eks. Mercure_Saturne for atmosfærisk miljø).

Programmet kører parallelt med MPI på maskiner med distribueret hukommelse. Det har været i udvikling siden 1997 på EDF F&U og er baseret på en co-beliggende Finite Volume-tilgang, der accepterer masker med enhver form for celle (tetraederformet, hexahedral, prismatisk, pyramideformet, polyhedral ...) og enhver form for gitterstruktur (ustruktureret, blokstruktureret, hybrid, overensstemmende eller med hængende knudepunkter ...).

Denne pakke indeholder de binære filer.

De grundlæggende funktioner i Code_Saturne gør det muligt at håndtere inkompressible eller kompressible strømme med eller uden varmeoverførsel og turbulens. Dedikerede moduler er tilgængelige for specifik fysik såsom strålingsvarmeoverførsel, forbrænding (gas, kul, svær brændselsolie ...), magneto-hydrodynamik, kompressible strømme, to-fase-strømme (Euler-Lagrange-tilgang med gensidig kobling), udvidelser til specifikke anvendelser (f.eks. Mercure_Saturne for atmosfærisk miljø).

Programmet kører parallelt med MPI på maskiner med distribueret hukommelse. Det har været i udvikling siden 1997 på EDF F&U og er baseret på en co-beliggende Finite Volume-tilgang, der accepterer masker med enhver form for celle (tetraederformet, hexahedral, prismatisk, pyramideformet, polyhedral ...) og enhver form for gitterstruktur (ustruktureret, blokstruktureret, hybrid, overensstemmende eller med hængende knudepunkter ...).

Denne pakke indeholder inkluderingsfilerne.

Coin-MP-optimeringsprogrammet er en løser, udviklet i åben kildekode, som er en del af COIN-OR-projektet, som er et initiativ der skal øge udvikling af programmer udviklet i åben kildekode for forskningsfællesskabet indenfor operation.

CoinMP er et C-API-bibliotek, som understøtter det meste af funktionalitetet i CLP (Coin LP)-, CBC (Coin Branch-and-Cut)- og CGL (Cut Generation Library)-projekter.

Denne pakke indeholder filerne krævet for at bygge programmer, der bruger libCoinMP.

CppAD er en pakke for automatisk differentiering (AD) af algoritmer skrevet i C++. Med passende skrevet C++-kode, som beregner en funktion, så forsøger CppAD den til også at beregne afledte værdier. Systemet bruger skabeloner, understøtter fremadrettede og bagvendte tilstande for akkumulering og tillader også indlejrede afledninger.

Denne pakke hjælper med overgangen til libcppad-dev.

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

FFLAS-FFPACK består i oprettelsen af et sæt af rutiner, givet de samme værktøjer som et sæt af klassiske Basic Linear Algebra Subroutines, men fungerende over endelige felter. På samme måde laves også nogle andre rutiner på højere niveau (såsom dem i LAPACK).

Dette bibliotek beregner FFT'er i en eller flere dimensioner. Den er ekstremt hurtig. Denne pakke indeholder det statistiske lænkede bibliotek og hovedfilerne.

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-kompileren og teksthovedfilerne og objektfiler nødvendige for at bygge GAP-pakker.

GAP-kompileren (GAC) opretter C-kode fra GAP-kode og kalder så systemets C-kompiler for at fremstille maskinkode. Dette kan medføre en hastighedsforøgelse.

JEL-biblioteket gør det muligt for brugere at indtaste algebraiske udtryk i deres program. Da JEL konverterer udtryk direkte til Javabytecode, så øges hastigheden signifikant for evalueringstiden. Hvis brugerens virtuelle maskine for Java har en JIT-kompiler, så kompileres udtryk gennemsigtigt til maskinkode.

JEL kan være et meget nyttig værktøj for en række af programmer indenfor videnskab, der involverer brugerdefinerede funktioner, f.eks. oprettelsen af plot, anvende tilpasninger på datasæt og til at løse integraler eller differentialligninger. En anden relevant brug af JEL er for algebraiske operationer mellem to eller flere kolonner i en databasetabel.

ALGLIB er et numerisk analyse- og databehandlingsbibliotek for flere platforme.

• Lineær algebra (direkte algoritmer, EVD/SVD)
• Løsere (lineær og ikkelineær)
• Interpolering
• Optimering
• Fast Fourier-transformering
• Lineær og ikkelineær least-squares-tilpasning
• Ordinære differentialligninger
• Specielle funktioner
• Statistikker (beskrivende statistik, test af hypoteser)
• Dataanalyse (klassifikation/regression, inklusiv neurale netværk)

Denne pake indeholder udviklingsfilerne (hoveder og dokumentation) for ALGLIB.

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 teksthovedfilerne for udvikling af programmer med ANN-biblioteket.

Armadillo is a streamlined C++ linear algebra library (matrix maths) aiming towards a good balance between speed and ease of use. Integer, floating point and complex numbers are supported, as well as a subset of trigonometric and statistics functions. Optional integration with LAPACK and ATLAS libraries is also provided.

This package has the development libraries and headers for Armadillo.

ARPACK++ er en objektorienteret version af ARPACK-pakken. Den består af en samling af klasser, som tilbyder c++-programmører en grænseflade til ARPACK. Den bevarer fuld funktionalitet, ydelse, præcision og lave hukommelseskrav fra FORTRAN-pakken, men har fordel af det c++-objektorienterede programmeringsmiljø.

ARPACK står for ARnoldi PACKage og tilbyder eigenvalue-løsere i standard eller generaliseret form for tynde matricer, der typisk opstår fra finitte elementkoder. Se den tilsvarende Debianpakke.

ARPACK-programmet er i stand til at løse symmetriske, asymmetriske og generaliserede egenværdiproblemer i stor skala inden for mange anvendelser. Programmet er designet til at beregne nogle få (k) egenværdier med brugerangivne funktioner såsom dem med størst real del eller størst størrelsesorden. Lagerkrav er i absolutværdi n*k elementer. Intet ekstra lager er krævet. Et sæt Schur-basisvektorer for det ønskede k-dimensionale egenrum beregnes, hvilket er numerisk ortogonalt ned til arbejdspræcision. Numerisk præcise egenvektorer er tilgængelige efter forespørgsel.

Denne pakke indeholder de statiske biblioteker og dokumentationen for udvikling med libarpack (inklusive eksempler).

ATLAS er en måde at generere og optimere numeriske programmer automatisk. ATLAS indeholder optimerede udgaver af det komplette sæt lineær algebrakerner kendt som »Basic Linear Algebra Subroutines« (BLAS), samt nogle af lineær algebrarutinerne i LAPACK-biblioteket.

Denne pakke indeholder teksthovederne, de statiske biblioteker og symbolske henvisninger krævet til programudvikling.

Denne pakke beregner FE-basisfunktioner og afledninger for de følgende elementer:

• Lagrange (interval, triangle, tetrahedron, prism, pyramid, quadrilateral, hexahedron)
• Nédélec (triangle, tetrahedron)
• Nédélec Second Kind (triangle, tetrahedron)
• Raviart-Thomas (triangle, tetrahedron)
• Regge (triangle, tetrahedron)
• Crouzeix-Raviart (triangle, tetrahedron)

Beregner quadrature-regler på forskellige celletyper

Tilbyder referencetopologi og geometri for referenceceller af hver type.

Pythonomslag tilbudt med pybind11.

Denne pakke installerer udviklingsfilerne for det delte bibliotek.

Denne pakke er en binær inkompatibel opgradering til pakken blas-dev. Flere mindre ændringer til C-grænsefladen er blevet indarbejdet.

BLAS (Basic Linear Algebra Subroutines) er et sæt af effektive rutiner, til de fleste grundlæggende vektor- og matricehandlinger. De anvendes i udbredt grad som grundlaget for andet højkvalitets- programmel for lineær algebra, eksempelvis lapack og linpack. Denne implementering er Fortran 77 reference-implementeringen, der findes i netlib.

Denne pakke indeholder en statisk version af biblioteket.

BLIS is a portable software framework for instantiating high-performance BLAS-like dense linear algebra libraries. The framework was designed to isolate essential kernels of computation that, when optimized, immediately enable optimized implementations of most of its commonly used and computationally intensive operations. BLIS is written in ISO C99 and available under a new/modified/3-clause BSD license. While BLIS exports a new BLAS-like API, it also includes a BLAS compatibility layer which gives application developers access to BLIS implementations via traditional BLAS routine calls. An object-based API is also available for more experienced users.

The package pulls development files for one of the 32-bit BlasInt variants.

Blitz++ tilbyder et højt niveau af abstraktion, men med en ydelse der udfordrer Fortran. Den nuværende version understøtter tabeller og vektorer.

Denne pakke indeholder det statiske bibliotek og teksthovedfiler til at kompilere programmer med blitz++.

Libbrading er et bibliotek til at beregne flere egenskaber for braids, inklusive centralizer- og conjugacy-kontrol.

Det er baseret på CBraid af Jae Choon Cha og Braiding af Juan Gonzalez-Meneses.

Denne pakke indeholder udviklingsfilerne for biblioteket.

The core of BRiAl is a C++ library, which provides high-level data types for Boolean polynomials and monomials, exponent vectors, as well as for the underlying polynomial rings and subsets of the powerset of the Boolean variables. As a unique approach, binary decision diagrams are used as internal storage type for polynomial structures. On top of this C++-library a Python interface is provided. This allows parsing of complex polynomial systems, as well as sophisticated and extendable strategies for Groebner base computation. BRiAl features a powerful reference implementation for Groebner basis computation.

This package contains the BRiAl core development files.

Biblioteket cddlib er et C-bibliotek for manipulering af generel konveks polyhedra. Biblioteket understøtter konvertering mellem systemet af lineære uligheders repræsentation og en knudepunkts og ekstrem stråling-repræsentation af et polyeder, og understøtter også løse lineære programmeringsproblemer.

Denne pakke indeholder cddlib-udviklingsfilerne.

Minpack includes software for solving nonlinear equations and nonlinear least squares problems. Five algorithmic paths each include a core subroutine and an easy-to-use driver. The algorithms proceed either from an analytic specification of the Jacobian matrix or directly from the problem functions. The paths include facilities for systems of equations with a banded Jacobian matrix, for least squares problems with a large amount of data, and for checking the consistency of the Jacobian matrix with the functions.

This is the C re-write of the original fortran minpack implementation.

This package contains development files needed to build cminpack applications.

Neartree is an API and a library for finding nearest neighbors among points in spaces of arbitrary dimensions. This package provides a C++ template, TNear.h, and C library and header files for compiling programs using Neartree.

The library uses the Nearest Neighbor algorithm after Kalantari and McDonald, (IEEE Transactions on Software Engineering, v. SE-9, pp. 631-634,1983) modified to use recursion instead of a double-linked tree and simplified so that it does less checking for things like is the distance to the right less than the distance to the left; it was found that these checks make little to no difference.

The Combinatorial BLAS (CombBLAS) is an extensible distributed-memory parallel graph library offering a small but powerful set of linear algebra primitives specifically targeting graph analytics.

• The Combinatorial BLAS development influences the Graph BLAS standardization process.
• It achieves scalability via its two dimensional distribution and coarse-grained parallelism.
• CombBLAS powers HipMCL, a highly-scalable parallel implementation of the Markov Cluster Algorithm (MCL).
• Operations among sparse matrices and vectors use arbitrary user defined semirings.

This package provides development files for building client applications against combblas.

Quaternions are four-dimensional numbers which form an associative normed division algebra over the real numbers. Unit quaternions are a convenient and efficient way to represent orientations and rotations in three dimensions.

CQRlib is an ANSI C implementation of a utility library for quaternion arithmetic and quaternion rotation math.

This package contains files needed for compiling programs using CQRlib.

CVector er et ANSI C-bibliotek, som implementerer dynamiske matricer der tilnærmer sig funktionaliteten for C++-vektorklassen. Biblioteket tilbyder funktioner til at oprette og manipulere en abstrakt vektorcontainer. Vektorelementer kan være enhver datatype.

Denne pakke indeholder filer krævet for kompilering af programmer med CVector.

deal.II is a C++ program library targeted at the computational solution of partial differential equations using adaptive finite elements. It uses state-of-the-art programming techniques to offer you a modern interface to the complex data structures and algorithms required.

This package contains the development files.

Solves unconstrained nonlinear least squares problems using Powell's dog-leg method. The user specifies a callback C function that returns the value and gradients of the model function at a particular operating point. This library takes a series of dog-leg steps to find a local minimum of the residual surface.

This library works with sparse matrices, which makes it suitable for efficiently solving very large problems.

Development files

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.

Denne pakke indeholder de gængse udviklingsfiler og afhænger af udviklingspakkerne real eller complex.

Dette er næste-generation versionen af libdolfinx-dev (DOLFIN-X). Den forældede version af DOLFIN tilbydes af libdolfin-dev.

Dette bibliotek tilbyder rutiner til at konvertere IEEE enkelte og dobbelte kommatal til og fra strengrepræsentationer. Det tilbyder en masse fleksibilitet med respekt for konverteringsformatet: kortest, fast, præcision- eller eksponentiel repræsentation; decimal, oktal eller hexadecimal grundlag; kontrol over antallet af cifre, foranstillede/efterfølgende nuller og mellemrum.

Biblioteket består af effektive konverteringsrutiner, som er blevet udtrukket fra V8 JavaScript-motoren. Koden er blevet refaktoreret og forbedret, så den nemmere kan bruges i andre projekter.

Denne pakke indeholder en statisk version af biblioteket og udviklingsteksthoveder.

DUNE, Distributed and Unified Numerics Environment er en modulopbygget værktøjskasse til at løse delvise differentialligninger (PDE'er) med gitterbaserede metoder. Den understøtter den nemme implementering af metoder såsom Finite Elements (FE), Finite Volumes (FV) og også Finite Differences (FD).

Denne pakke indeholder udviklingsfilerne for gittergrænsefladen.

Dette bibliotek implementerer 2-descent på elliptiske kurver over Q og beregninger med modulære symboler.

Denne pakke indeholder udviklingsfilerne for biblioteket.

Dette er en overgangspakke.

Eigen 3 is a lightweight C++ template library for vector and matrix math, a.k.a. linear algebra.

Unlike most other linear algebra libraries, Eigen 3 focuses on the simple mathematical needs of applications: games and other OpenGL apps, spreadsheets and other office apps, etc. Eigen 3 is dedicated to providing optimal speed with GCC. A lot of improvements since 2-nd version of Eigen.

FFTW-biblioteket beregner Fast Fourier Transforms (FFT) i en eller flere dimensioner. Den er ekstrem hurtig. Denne pakke indeholder det statistisk lænkede bibliotek, hovedfiler og testprogrammer.

Denne pakke indeholder teksthovedfiler og statiske biblioteker. For dokumentation se libfftw3-doc.

libflame is a portable library for dense matrix computations, providing much of the functionality present in LAPACK, developed by current and former members of the Science of High-Performance Computing (SHPC) group in the Institute for Computational Engineering and Sciences at The University of Texas at Austin. libflame includes a compatibility layer, lapack2flame, which includes a complete LAPACK implementation.

This package contains the static library and the development files.

FLANN er et bibliotek for udførsel af hurtig omtrentlig nærmeste nabo-søgninger i højdimensional rum. Den består af en samling af algoritmer fundet til at fungere bedst for nærmeste nabosøgning og et system for automatisk valg af den bedste algoritme og optimale parametre afhængig af datasættet.

Denne pakke indeholder udviklingsfiler krævet for at bygge FLANN-programmer.

The Fast Library for Integer Number Theory is a C library which supports polynomial arithmetic over the integers, fast integer arithmetic and factoring (including a highly optimized quadratic sieve).

FLINT has functionality similar to that of the Number Theory Library (NTL). However, unlike NTL, which is designed primarily for asymptotic performance, FLINT is designed for good performance in small cases as well.

This package contains the FLINT development files.

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 udviklingsfiler for libfplll.

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 udviklingsfilerne for FreeFem++.

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.

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.

Denne pakke indeholder udviklingsværktøjerne.

This is not a full linear algebra library, only a GEMM library: it only does general matrix multiplication ("GEMM").

Its performance goals differ from typical GEMM performance goals in the following ways: 1. It cares not only about speed, but also about minimizing power usage.

   It specifically cares about charge usage in mobile/embedded devices.
2. Most GEMMs are optimized primarily for large dense matrix sizes (>= 1000).
   It does care about large sizes, but it also cares specifically about the
   typically smaller matrix sizes encountered in various mobile applications.

Keep in mind (previous section) that gemmlowp itself is a pure-headers-only library.

GF2X er en C/C++-programpakke, der indeholder rutiner for hurtig aritmetik i GF(2)[x] (multiplikation, kvadrat, GCD) og søgning for irreduktibilitet/primitive trinomialer.

Denne pakke indeholder udviklingsfilerne for biblioteket.

Giovaro er et C++-bibliotek for aritmetik og algebraberegninger. Dets hovedfunktioner er implementeringer af den grundlæggende aritmetik for mange matematiske områder: Primes fields, Extensions Fields, Finite Fields, Finite Rings, Polynomials, Algebraic numbers, og Arbitrary precision integers og rationals (C++-omslag over gmp).

Givaro tilbyder også datastrukturer og skabelonklasser for manipulering af grundlæggende algebraobjekter såsom vektorer, matricer (dense, sparse, structured), univarate polynomialer (og derfor rekursive multivariate).

Biblioteket indeholder forskellige programmoduler og er fuldt kompatibelt med LinBox' lineære algebrabibliotek og Athapascanmiljøet, som tillader parallel programmering.

Denne pakke indeholder udviklingsfiler for Givaro.

GLPK (GNU Linear Programming Kit) er lavet for løsning af lineær programmering (LP) i stor skala, blandet heltalsprogrammering (MIP) og andre relaterede problemstillinger. Det er et sæt af rutiner skrevet i ANSI C og organiseret i form af et bibliotek der kan kaldes.

Denne pakke indeholder statisk bibliotek, hoveder og udviklingsmanualsiderne for libvc.

GLPK (GNU Linear Programming Kit) er lavet for løsning af lineær programmering (LP) i stor skala, blandet heltalsprogrammering (MIP) og andre relaterede problemstillinger. Det er et sæt af rutiner skrevet i ANSI C og organiseret i form af et bibliotek der kan kaldes.

GLPK understøtter GNU MathProg-sproget, som er et undersæt af AMPL-sproget. GLPK understøtter også standardformaterne MPS og LP.

Denne pakke indeholder Javabindingen for GLPK.

This interface allows gnuplot to be controlled from C++ and is designed to be the lowest hanging fruit. In other words, if you know how gnuplot works it should only take 30 seconds to learn this library. Basically it is just an iostream pipe to gnuplot with some extra functions for pushing data arrays and getting mouse clicks. Data sources include STL containers (eg. vector or map) and one or two dimensional Blitz++ arrays (of scalars or TinyVectors). Support for other data sources should be easy to add.

Basically there are two functions defined: send() sends arrays of data values (it is overloaded to do the right thing based upon what type of variable you pass) and getMouse() gets the position of a mouse click. Everything else is accomplished by sending commands manually to gnuplot via the iostream interface.

Libhomfly er et bibliotek til at beregne homfly-polynomiumet for knuder og henvisninger.

Det er baseret på et program skrevet af Robert J Jenkins Jr.

Denne pakke indeholder udviklingsfilerne for biblioteket.

Hypre er et sæt af biblioteker til matrix-forkonditionering som hjælp i løsningen af store systemer af lineære ligninger.

Denne pakke indeholder teksthovederne og symbolske henvisninger til at udvikle programmer, der bruger hypre.

Igraph er et bibliotek til at oprette og manipulere grafer. Det er lavet så kraftigt (dvs. hurtigt) som muligt for at aktivere analyse af store grafer.

Denne pakke indeholder include-filerne og det statiske bibliotek for igraphs C-bibliotek.

IML is a library for exact, dense linear algebra over the integers. IML contains algorithms for nonsingular rational system solving, computing the right nullspace of an integer matrix, and certified linear system solving.

In addition, IML provides some low level routines for a variety of mod p matrix operations: computing the row-echelon form, determinant, rank profile, and inverse of a mod p matrix. These mod p routines are not general purpose; they require that p satisfy some preconditions based on the dimension of the input matrix (usually p should be prime and should be no more than about 20 bits long).

This package contains development files for IML.

ITSOL is a library of iterative solvers for general sparse linear systems of equations. ITSOL can be viewed as an extension of the itsol module in SPARSKIT. It is written in C and offers a selection of recently developed preconditioners. The preconditioner suite includes:

• ILUK (ILU preconditioner with level of fill)
• ILUT (ILU preconditioner with threshold)
• ILUC (Crout version of ILUT)
• VBILUK (variable block preconditioner with level of fill - with automatic block detection)
• VBILUT (variable block preconditioner with threshold - with automatic block detection)
• ARMS (Algebraic Recursive Multilevel Solvers -- includes actually several methods - In particular the standard ARMS and the ddPQ version which uses nonsymmetric permutations)

Note that ITSOL is a scalar package. You may find parallel implementations of some of the preconditioners listed above in pARMS.

This package provides the itsol header files required to compile C/C++ programs that use ITSOL.

JAMA/C++ was adapted for The Template Numerical Toolkit (TNT) from JAMA, a Java Matrix Library, developed jointly by the Mathworks and NIST. See http://math.nist.gov/javanumerics/jama for more information.

TNT is a collection of interfaces and reference implementations of numerical objects useful for scientific computing in C++. The toolkit defines interfaces for basic data structures, such as multidimensional arrays and sparse matrices, commonly used in numerical applications. The goal of this package is to provide reusable software components that address many of the portability and maintenance problems with C++ codes.

TNT provides a distinction between interfaces and implementations of TNT components. For example, there is a TNT interface for two-dimensional arrays which describes how individual elements are accessed and how certain information, such as the array dimensions, can be used in algorithms; however, there can be several implementations of such an interface: one that uses expression templates, or one that uses BLAS kernels, or another that is instrumented to provide debugging information. By specifying only the interface, applications codes may utilize such algorithms, while giving library developers the greatest flexibility in employing optimization or portability strategies.

JGraphT is a free Java graph library that provides mathematical graph theory objects and algorithms. JGraphT supports various types of graphs including:

• directed and undirected graphs
• graphs with weighted, unweighted, labeled or user-defined edges
• various edge multiplicity options, including simple graphs, multigraphs and pseudographs
• unmodifiable graphs: allow modules to provide "read-only" access to internal graphs
• listenable graphs: allow external listeners to track modification events
• subgraphs: graphs that are auto-updating subgraph views on other graphs

JGraphT is a free Java graph library that provides mathematical graph theory objects and algorithms. JGraphT supports various types of graphs including:

• directed and undirected graphs;
• graphs with weighted, unweighted, labeled or user-defined edges;
• various edge multiplicity options, including simple graphs, multigraphs and pseudographs;
• unmodifiable graphs: allow modules to provide "read-only" access to internal graphs;
• listenable graphs: allow external listeners to track modification events;
• subgraphs: graphs that are auto-updating subgraph views on other graphs;
• all compositions of above graphs.

JGraphT is designed to be simple and type-safe (via Java generics): graph vertices can be of any objects: Strings, URLs, XML documents, even graphs themselves.

LAPACK version 3.X er et omfattende FORTRAN-bibliotek, som udfører lineære algebra-operationer inklusiv matrix-inversioner, løsninger af mindste kvadrater for lineære sæt af ligninger, egenvektor-analyse, singulær-værdi dekomposition etc. Det er en meget omfattende og anerkendt pakke, som har mødt omfattende brug i det videnskabelige samfund.

Denne pakke indeholder en statisk version af biblioteket.

Solves nonlinear optimization problems using the limited-memory BFGS method. The user specifies a callback C function that returns the value and gradients of the cost function at a particular operating point. This library estimates the Hessians from user input, and applies Newton's method iteratively to find a local minimum of the cost function. This is a small library, written in C with minimal dependencies.

This package contains development files

liblfunction is a library for computing zeros and values of L-functions. Supported L-functions include the Riemann zeta function, the L-function of the Ramanujan delta function, and L-functions of elliptic curves defined over the rationals.

This package contains the development files for the library.

This package implements the Leiden algorithm in C++. It relies on igraph for it to function. Besides the relative flexibility of the implementation, it also scales well, and can be run on graphs of millions of nodes (as long as they can fit in memory). The core class is Optimiser which finds the optimal partition using the Leiden algorithm, which is an extension of the Louvain algorithm for a number of different methods. The methods currently implemented are (1) modularity, (2) Reichardt and Bornholdt's model using the configuration null model and the Erdös-Rényi null model, (3) the Constant Potts model (CPM), (4) Significance, and finally (5) Surprise. In addition, it supports multiplex partition optimisation allowing community detection on for example negative links or multiple time slices. There is the possibility of only partially optimising a partition, so that some community assignments remain fixed. It also provides some support for community detection on bipartite graphs.

This package contains the C++ development files. Most people will find it easier to work with the Python interface provided by python3-leidenalg.

LinBox er et C++-skabelonbibliotek for præcis, højtydende lineær algebraberegning med tætte, tynde og strukturerede matricer over heltallene og over finitte felter.

Denne pakke indeholder udviklingsfilerne for LinBox.

Lip interpolates scattered multivariate data with a Lipschitz function.

Methods of interpolation of multivariate scattered data are scarce. The programming library Lip implements a new method by G. Beliakov, which relies on building reliable lower and upper approximations of Lipschitz functions. If we assume that the function that we want to interpolate is Lipschitz-continuous, we can provide tight bounds on its values at any point, in the worse case scenario. Thus we obtain the interpolant, which approximates the unknown Lipschitz function f best in the worst case scenario. This translates into reliable learning of f, something that other methods cannot do (the error of approximation of most other methods can be infinitely large, depending on what f generated the data).

Lipschitz condition implies that the rate of change of the function is bounded:

|f(x)-f(y)|<M||x-y||.

It is easily interpreted as the largest slope of the function f. f needs not be differentiable.

The interpolant based on the Lipschitz properties of the function is piecewise linear, it possesses many useful properties, and it is shown that it is the best possible approximation to f in the worst case scenario. The value of the interpolant depends on the data points in the immediate neigbourhood of the point in question, and in this sense, the method is similar to the natural neighbour interpolation.

There are two methods of construction and evaluation of the interpolant. The explicit method processes all data points to find the neighbours of the point in question. It does not require any preprocessing, but the evaluation of the interpolant has linear complexity O(K) in terms of the number of data.

"Fast" method requires substantial preprocessing in the case of more than 3-4 variables, but then it provides O(log K) evaluation time, and thus is suitable for very large data sets (K of order of 500000) and modest dimension (n=1-4). For larger dimension, explicit method becomes practically more efficient. The class library Lip implements both fast and explicit methods.

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 development files for the library.

M4RI is a library for fast arithmetic with dense matrices over F2. The name M4RI comes from the first implemented algorithm: The "Method of the Four Russians" inversion algorithm. This algorithm in turn is named after the "Method of the Four Russians" multiplication algorithm which is probably better referred to as Kronrod's method.

This package contains development files for libm4ri.

M4RIE is a library for fast arithmetic with dense matrices over small finite fields of even characteristic. It uses the M4RI library, implementing the same operations over the finite field F2.

The name M4RI comes from the first implemented algorithm: The "Method of the Four Russians" inversion algorithm. This algorithm in turn is named after the "Method of the Four Russians" multiplication algorithm which is probably better referred to as Kronrod's method.

This package contains development files for the M4RIE library.

Denne pakke indeholder udviklingsfilerne (teksthover, so og statiske biblioteker) for MAdLib.

MAdLib er et bibliotek, der udfører global knude-repositionering og mesh-tilpasning ved lokale mesh-ændringer på tetraedriske eller trekantede mesh'er. Den er designet til ofte at tilpasse mesh'en i forbigående beregninger. MAdLib er skrevet i C++.

Tilpasningsproceduren er drevet af to mål:

• gør kantlængderne så tætte som mulige på en (ikkehomogen)

  foreskrevet længde

• opretholde en tilfredsstillende elementkvalitet overalt.

MAdLib kan bruges i forbigående beregninger for at opretholde en tilfredsstillende elementkvalitet (flytning af grænser, flerfasestrømme med grænsefladesporing ...) eller/og at anvende selektive justeringer og forgrovninger (baseret på fejlestimeringer, grænsefladeregistrering: stød, frie overflader ...).

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

This package contains the header files and static library.

Mathic is a C++ library of fast data structures designed for use in Groebner basis computation. This includes data structures for ordering S-pairs, performing divisor queries and ordering polynomial terms during polynomial reduction.

This package contains the developer tools.

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

Matio er et C-bibliotek til læsning og skrivning af MATLAB MAT-filer.

Denne pakke indeholder udviklingsfilerne krævet for at kompilere programmer, så de kan anvende libmation API'en.

Dette er filer nødvendige for kompilering af programmer med meschachs lineære algebrabibliotek.

Implementering af den normale mesh-filtreringsalgoritme fra artiklen: Juyong Zhang, Bailin Deng, Yang Hong, Yue Peng, Wenjie Qin, Ligang Liu. Static/Dynamic Filtering for Mesh Geometry. arXiv:1712.03574.

Dette er et bibliotek kun med teksthoveder. Denne pakke indeholder teksthovederne.

Denne pakke tilbyder et C-bibliotek med funktioner for intervalberegninger indenfor aritmetik med arbitrær præcision.

Det grundlæggende princip med intervalaritmetik består i at omslutte hvert tal med et interval indeholdende tallet og værende repræsenteret af maskintal: for eksempel kan det lagres som sit nedre og øvre slutpunkter og disse grænser er maskintal, eller som et centrum og en radius, der er maskintal.

De aritmetiske operationer udvides for intervaloperander på en sådan måde, at det præcise resultat for operationen tilhører det beregnet interval.

Formålet med en intervalaritmetik med arbitrær præcision er på den ene side at få garanterede resultater, takker være intervalberegning, og på den anden side at få præcise resultater, takket være præcisionsaritmetik. Biblioteket MPFI er bygget på MPFR for at få fordel af de korrekte afrundinger tilbudt af MPFR. Andre fordele ved at bruge MPFR er dets evne til at kunne flyttes og overholdelse af IEEE 754-standarden for kommatals aritmetik.

Denne pakke tilbyder det statiske bibliotek og symbolske henvisninger krævet for udvikling.

MPFR C++ introduces C++ arbitrary precision numeric types; based on GNU MPFR --- Multiple Precision Floating-Point Reliable Library.

MPFR C++ makes possible to use MPFR calculations in the same simple way as calculations with numbers of built-in types double or float: all arithmetic and boolean operators (+, -, *, /, >, !=, etc.) are implemented through operator overloading technique; elementary mathematical functions (sqrt, pow, sin, cos, etc.) are supported.

En polynom rootfinder, der kan bestemme arbitrære præcisionstilnærmelser med garanterede inkluderings-radii. Programmet understøtter udnyttelse af polynomstrukturer såsom tæthed og tilladelse for polynom implicit defineret eller i noget af grundlaget uden for standarden.

Denne pakke indeholder udviklingsteksthovederne og biblioteket .so for MPSolve.