Debian Science Mathematics-dev packages

Le funzionalità base di Code_Saturne permettono la gestione di flussi sia incomprimibili sia espandibili con o senza trasferimento di calore e turbolenza. Sono disponibili moduli dedicati per fenomeni fisici specifici come trasferimento di calore per radiazione, combustione (gas, carbone, olio combustibile pesante, ...), magneto-idrodinamica, flussi comprimibili, flussi a due fasi (approccio di Eulero-Lagrange con accoppiamento a due vie), estensioni per applicazioni specifiche (es.: Mercure_Saturne per ambienti atmosferici).

Funziona in parallelo con MPI su macchine con memoria distribuita. Sviluppato a partire dal 1997 al dipartimento di Ricerca e sviluppo dell'EDF, si basa su un approccio "co-located" a volumi finiti che accetta griglie con qualsiasi tipo di cella (tetraedri, esaedri, prismi, piramidi, poliedri...) e qualsiasi tipo di struttura della griglia (non strutturata, a blocchi, ibrida, conforme o con nodi incompleti, ...).

Questo pacchetto contiene i file binari.

Le funzionalità base di Code_Saturne permettono la gestione di flussi sia incomprimibili sia espandibili con o senza trasferimento di calore e turbolenza. Sono disponibili moduli dedicati per fenomeni fisici specifici come trasferimento di calore per radiazione, combustione (gas, carbone, olio combustibile pesante, ...), magneto-idrodinamica, flussi comprimibili, flussi a due fasi (approccio di Eulero-Lagrange con accoppiamento a due vie), estensioni per applicazioni specifiche (es.: Mercure_Saturne per ambienti atmosferici).

Funziona in parallelo con MPI su macchine con memoria distribuita. Sviluppato a partire dal 1997 al dipartimento di Ricerca e sviluppo dell'EDF, si basa su un approccio "co-located" a volumi finiti che accetta griglie con qualsiasi tipo di cella (tetraedri, esaedri, prismi, piramidi, poliedri...) e qualsiasi tipo di struttura della griglia (non strutturata, a blocchi, ibrida, conforme o con nodi incompleti, ...).

Questo pacchetto contiene i file include.

The Coin-MP optimizer is an open source solver, it is part of the COIN-OR project which is an initiative to spur the development of open-source software for the operations research community.

CoinMP is a C-API library that supports most of the functionality of CLP (Coin LP), CBC (Coin Branch-and-Cut), and CGL (Cut Generation Library) projects.

This package contains the files needed to build applications using libCoinMP.

CppAD is a package for automatic differentiation (AD) of algorithms written in C++. Given appropriately written C++ code that computes a function, CppAD augments it to also compute derivative values. The system uses templates, supports forward and reverse accumulation modes, and allows nested derivatives.

This transition package helps with the move to libcppad-dev.

FEniCS è una raccolta di software libero per la soluzione automatizzata ed efficiente di equazioni differenziali.

FEniCS ha una vasta gamma di funzionalità, inclusi la soluzione automatizzata di problemi variazionali, il controllo automatico e l'adattabilità per gli errori, una libreria esaustiva per gli elementi finiti, algebra lineare ad alte prestazioni e molto altro.

FEniCS è organizzata come raccolta di componenti che funzionano insieme, inclusi l'ambiente di soluzione di problemi DOLFIN, il compilatore di modelli FFC, il tabulatore di elementi finiti FIAT, il compilatore just-in-time Instant, l'interfaccia di generazione di codice UFC, il linguaggio per modelli UFL e una varietà di componenti aggiuntivi.

Questo è un metapacchetto che dipende da tutti i componenti di FEniCS.

Questa è la versione obsoleta di FEniCS. Si può voler considerare l'installazione di FEniCS-X di prossima generazione (pacchetto fenicx).

FFLAS-FFPACK consiste nella creazione di un insieme di routine che forniscono gli stessi strumenti di un insieme di subroutine per algebra lineare di base (BLAS), ma che lavorano su campi finiti. Vengono prodotte, nello stesso modo, anche alcune altre routine di più alto livello (come quella in LAPACK).

Questa libreria calcola le trasformate di Fourier veloci in una o più dimensioni. È estremamente veloce. Questo pacchetto contiene le librerie linkate staticamente e i file header.

GAP è un sistema di algebra computazionale discreta con particolare enfasi sulla teoria dei gruppi computazionale. GAP fornisce un linguaggio di programmazione, una libreria di migliaia di funzioni che implementano algoritmi algebrici scritti nel linguaggio GAP ed anche vaste librerie di dati con oggetti algebrici. GAP è usato nella ricerca e nell'insegnamento per lo studio dei gruppi e delle loro rappresentazioni, degli anelli, spazi vettoriali, algebre, strutture combinatorie ed altro.

Questo pacchetto il compilatore GAP e i file header e oggetto necessari per compilare i pacchetti GAP.

Il compilatore GAP (GAC) crea codice C a partire da codice GAP e successivamente richiama il compilatore C di sistema per produrre il codice macchina. Questa può essere una velocizzazione.

La libreria JEL permette agli utenti di inserire espressioni algebriche nei propri programmi. Dato che JEL converte le espressioni direttamente in bytecode Java, velocizza in modo significativo il loro tempo di valutazione. Se la macchina virtuale Java dell'utente ha un compilatore JIT le espressioni vengono compilate in modo trasparente in codice macchina nativo.

JEL può essere uno strumento molto utile per una varietà di applicazioni in ambito scientifico che comportano funzioni definite dall'utente, ad esempio per creare grafici, per applicare fit a insiemi di dati e per risolvere integrali o equazioni differenziali. Un altro importante caso d'uso per JEL sono le operazioni algebriche tra due o più colonne di una tabella di database.

ALGLIB is a cross-platform numerical analysis and data processing library. This package support C++. ALGLIB features include:

• Linear algebra (direct algorithms, EVD/SVD)
• Solvers (linear and nonlinear)
• Interpolation
• Optimization
• Fast Fourier transforms
• Numerical integration
• Linear and nonlinear least-squares fitting
• Ordinary differential equations
• Special functions
• Statistics (descriptive statistics, hypothesis testing)
• Data analysis (classification/regression, including neural networks)

This package contains the development files (headers and documentation) for ALGLIB.

ANN è una libreria scritta in C++ che gestisce strutture di dati ed algoritmi per la ricerca dei primi vicini sia esatta sia approssimata in un numero di dimensioni arbitrariamente grande. ANN assume che le distanze siano misurate usando una qualsiasi classe di funzioni di distanza dette metriche Minkowski. Queste includono la ben nota distanza euclidea, la distanza Manhattan e la distanza massima. Le prestazioni di ANN sono piuttosto efficienti per insiemi di punti che variano in numero dalle migliaia alle centinaia di migliaia, e fino a 20 dimensioni.

Questo pacchetto contiene i file header per sviluppare applicazioni con la libreria ANN.

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++ è una versione orientata agli oggetti del pacchetto ARPACK. Consiste in una raccolta di classi che offrono ai programmatori C++ un'interfaccia ad ARPACK, preservando la piena compatibilità, le prestazioni, l'accuratezza e i bassi requisiti di memoria del pacchetto FORTRAN con i vantaggi dell'ambiente di programmazione orientato agli oggetti del C++.

ARPACK sta per ARnoldi PACKage e fornisce risolutori di autovalori standard e generalizzati per matrici sparse che provengono tipicamente da codici di elementi finiti. Vedere il corrispondente pacchetto Debian.

Il software ARPACK è in grado di risolvere problemi agli autovalori a larga scala simmetrici, non simmetrici e generalizzati a partire da aree di applicazione significative. Il software è progettato per calcolare alcuni (k) autovalori con caratteristiche specificate dall'utente, come quelli con la parte reale più grande o la più grande magnitudine. I requisiti di archiviazione sono dell'ordine di n*k posizioni; non è necessario spazio di archiviazione aggiuntivo. Per l'autospazio a k dimensioni desiderato viene calcolato un insieme di vettori di Schur che è numericamente ortogonale alla precisione di lavoro. A richiesta sono disponibili autovettori numericamente accurati.

Questo pacchetto contiene le librerie statiche e la documentazione per fare sviluppo con libarpack (inclusi esempi).

ATLAS è un possibile approccio per generare automaticamente e ottimizzare software per calcolo numerico. Al momento, ATLAS fornisce versioni ottimizzate per la raccolta completa di routine di algebra lineare nota come Basic Linear Algebra Subroutines (BLAS) e per una parte delle routine di algebra lineare contenute nella libreria LAPACK.

Questo pacchetto include gli header, le librerie statiche e i collegamenti simbolici necessari per lo sviluppo di programmi.

Calcola le funzioni di base per FE e le derivate per i seguenti elementi:

• Lagrange (intervallo, triangolo, tetraedro, prisma, piramide, quadrilatero, esaedro)
• Nédélec (triangolo, tetraedro)
• Nédélec Second Kind (triangolo, tetraedro)
• Raviart-Thomas (triangolo, tetraedro)
• Regge (triangolo, tetraedro)
• Crouzeix-Raviart (triangolo, tetraedro)

Calcola le regole di quadratura su differenti tipi di celle.

Fornisce topologia di riferimento e geometria per celle di riferimento di ciascun tipo.

Wrapper Python fornito con pybind11.

Questo pacchetto installa i file di sviluppo per la libreria condivisa.

Questo pacchetto è un aggiornamento binario incompatibile al pacchetto blas-dev. Sono state incorporate svariate modifiche secondarie all'interfaccia C.

BLAS (Basic Linear Algebra Subroutines) è un insieme di procedure efficienti per la maggior parte delle operazioni di base su matrici e vettori. È ampiamente usato come base per altri software di algebra lineare di qualità elevata, per esempio lapack e linpack. Questa implementazione è quella di riferimento per Fortran 77 che si trova dentro netlib.

Questo pacchetto contiene una versione statica della libreria.

BLIS è un'infrastruttura software portabile per istanziare librerie di algebra lineare densa ad alte prestazioni simili a BLAS. L'infrastruttura è stata progettata per isolare i nuclei computazionali essenziali che, quando ottimizzati, abilitano immediatamente le implementazioni ottimizzate della maggior parte delle sue operazioni comunemente usate e computazionalmente intensive. BLIS è scritta in ISO C99 ed è disponibile sotto la licenza BSD nuova/modificata/con tre clausole. Benché BLIS esporti una nuova API simile a BLAS, include anche un livello di compatibilità per BLAS che fornisce agli sviluppatori di applicazioni l'accesso alle implementazioni BLIS attraverso chiamate a routine BLAS tradizionali. È anche disponibile un'API basata su oggetti per gli utenti con maggior esperienza.

Questo pacchetto richiama i file di sviluppo per una delle varianti BlasInt a 32 bit.

Blitz++ offre un alto livello di astrazione ma con prestazioni che rivaleggiano con quelle del Fortran. La versione attuale gestisce matrici e vettori.

Questo pacchetto contiene la libreria statica e i file header per compilare programmi con blitz++.

libbraiding is a library to compute several properties of braids, including centralizer and conjugacy check.

It is based on CBraid by Jae Choon Cha and Braiding by Juan Gonzalez-Meneses.

This package contains the development files for the library.

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.

La libreria cddlib è una libreria C per la manipolazione di poliedri convessi generici. Gestisce la conversione tra la rappresentazione di un sistema di disuguaglianze lineari e la rappresentazione di vertici e raggi estremi di un poliedro, e supporta anche la risoluzione di problemi di programmazione lineare.

Questo pacchetto contiene i file di sviluppo di cddlib.

CGAL (Computational Geometry Algorithms Library) rende disponibili, in una libreria C++, agli utenti professionali e agli studiosi i metodi e le soluzioni più importanti sviluppati in geometria computazionale. L'obiettivo è di fornire un facile accesso ad algoritmi geometrici utili e affidabili.

Questo pacchetto contiene la maggior parte dei file header. I file header per la visualizzazione con Qt possono essere trovati nel pacchetto libcgal-qt5-dev.

Minpack include software per risolvere equazioni non lineari e problemi dei minimi quadrati non lineari. Cinque percorsi algoritmici includono ciascuno una sottoprocedura principale e un driver facile da usare. Gli algoritmi procedono da una specifica analitica della matrice jacobiana o direttamente dalle funzioni del problema. I percorsi includono funzionalità per sistemi di equazioni con una matrice jacobiana a bande, per problemi dei minimi quadrati con grandi quantità di dati e per controllare la coerenza tra la matrice jacobiana e le funzioni.

Questa è la riscrittura in C dell'implementazione originale di Minpack in Fortran.

Questo pacchetto contiene i file di sviluppo necessari per compilare applicazioni cminpack.

Neartree è un'API e una libreria per trovare i primi vicini tra i punti in spazi di dimensioni arbitrarie. Questo pacchetto contiene un template C++, TNear.h, una libreria C e i file header per compilare programmi che usano Neartree.

La libreria usa l'algoritmo Nearest Neighbor di Kalantari e McDonald, (IEEE Transactions on Software Engineering, v. SE-9, pp. 631-634, 1983) modificato per usare la ricorsione invece di un albero doppiamente concatenato e semplificato in modo da non verificare cose come se la distanza a destra è minore di quella a sinistra; è stato visto che questi controlli fanno poca o nessuna differenza.

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 è una libreria ANSI C che implementa i vettori dinamici approssimando la funzionalità della classe vector di C++. Fornisce funzioni per creare e manipolare un contenitore di vettori astratto. Gli elementi del vettore possono essere di qualsiasi tipo dati.

Questo pacchetto contiene i file necessari per compilare programmi usando CVector.

deal.II è una libreria C++ orientata alla soluzione computazionale di equazioni differenziali alle derivate parziali utilizzando elementi finiti adattivi. Usa tecniche di programmazione allo stato dell'arte per offrire un'interfaccia moderna alle strutture dati complesse e agli algoritmi richiesti.

Questo pacchetto contiene i file di sviluppo.

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 è l'interfaccia Python e C++ del progetto FEniCS per le soluzioni automatizzate delle equazioni differenziali, che fornisce un PSE (Problem Solving Environment, ambiente di risoluzione di problemi) coerente per risolvere equazioni differenziali ordinarie e alle derivate parziali. Le funzionalità chiave includono: un'API orientata agli oggetti, semplice, coerente e intuitiva; valutazione automatica ed efficiente delle forme variazionali; assemblaggio automatico ed efficiente dei sistemi lineari; e gestione per famiglie generiche di elementi finiti.

Questo pacchetto contiene i file di sviluppo comuni e dipende dal pacchetto per reali o complessi.

Questa è la versione di prossima generazione di libdolfinx-dev (DOLFIN-X). La versione precedente di DOLFIN è fornita da libdolfin-dev.

Questa libreria fornisce funzioni per convertire numeri in virgola mobile IEEE a singola e doppia precisione in e da stringhe. Offre una grande flessibilità riguardo al formato di conversione: rappresentazione più breve, in virgola fissa, della precisione o esponenziale; base decimale, ottale o esadecimale; controllo sul numero di cifre, spazi e zeri iniziali e finali.

La libreria è costituita da efficienti funzioni di conversione che sono state estratte dal motore JavaScript V8. Il codice è stato rifattorizzato e migliorato in modo da poter essere utilizzato più facilmente in altri progetti.

Questo pacchetto contiene una versione statica della libreria e degli header di sviluppo.

DUNE, Distributed and Unified Numerics Environment, è un toolbox modulare per risolvere equazioni differenziali alle derivate parziali (PDE) con metodi basati su griglie. Gestisce una semplice implementazione del metodo degli elementi finiti (FE, Finite Elements), del metodo dei volumi finiti (FV, Finite Volumes) e anche del metodo delle differenze finite (FD, Finite Differences).

Questo pacchetto contiene i file di sviluppo per l'interfaccia grid.

This library implements 2-descent on elliptic curves over Q and computations with modular symbols.

This package contains the development files for the library.

Questo è un pacchetto fittizio.

Eigen 3 è una libreria leggera di modelli C++ per matematica di matrici e vettori, ossia algebra lineare.

A differenza della maggior parte delle altre librerie di algebra lineare, Eigen 3 si focalizza sulle necessità matematiche semplici delle applicazioni: giochi e altre applicazioni OpenGL, fogli di calcolo e altre applicazioni per l'ufficio, ecc. Eigen 3 è dedicata a fornire velocità ottimale con GCC. Contiene molti miglioramenti rispetto alla seconda versione di Eigen.

Fornisce i file header e le librerie statiche.

Feel++ è una libreria versatile per elementi finiti per risolvere equazioni differenziali alle derivate parziali.

Gestisce 1D, 2D e 3D.

Gestisce le seguenti entità basilari: simplessi (segmento, triangolo, tetraedro) e prodotti di simplessi (quadrangolo, esaedro).

Gestisce diversi insiemi di punti su queste entità basilari: punti equispaziati, punti di quadratura, punti di interpolazione (Gauss-Lobatto, Fekete, WarpBlend?).

Gestisce metodi di Galerkin continui e discontinui.

Gestisce diversi insiemi polinomiali:

• Lagrange (continuo, discontinuo, tutte le dimensioni, tutti gli insiemi di punti di interpolazione);

• Dubiner (discontinuo), confini adattati (continuo);

• Legendre (discontinuo), confini adattati (continuo).

Fornisce concetti matematici per astrazioni di ordine superiore (spazi di funzioni ed elementi associati, forme e operatori).

Fornisce un linguaggio inglobato nel C++ per formulazioni variazionali, proiezione e integrazione numerica.

La libreria FFTW calcola le trasformate di Fourier veloci (FFT) in una o più dimensioni. È estremamente veloce. Questo pacchetto contiene la libreria linkata staticamente, i file header e i programmi di test.

Questo pacchetto contiene i file header e le librerie statiche. Per la documentazione vedere 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 è una libreria per effettuare ricerche veloci e approssimate del vicino più prossimo in spazi a molte dimensioni. Contiene una raccolta di algoritmi che vengono ritenuti migliori per la ricerca del vicino più prossimo e un sistema per scegliere automaticamente l'algoritmo migliore ed i parametri ottimali in funzione dell'insieme dei dati.

Questo pacchetto contiene i file di sviluppo necessari per compilare applicazioni FLANN.

FLINT (Fast Library for Integer Number Theory) è una libreria C per gestire l'aritmetica di polinomi su interi, l'aritmetica veloce su interi e la fattorizzazione (incluso un crivello quadratico molto ottimizzato).

FLINT ha funzionalità simili a quelle di NTL (Number Theory Library). Contrariamente a NTL, però, che è progettata principalmente per le prestazioni asintotiche, FLINT è progettata per avere buone prestazioni anche nei casi più piccoli.

Questo pacchetto contiene i file di sviluppo di FLINT.

fpLLL è una libreria per calcolare basi ridotte (quasi ortogonali) per reticoli euclidei usando l'algoritmo LLL a virgola mobile.

fpLLL contiene più implementazioni diverse dell'algoritmo di riduzione LLL a virgola mobile, offrendo diversi rapporti velocità/garanzia.

Contiene un "wrapper" che sceglie la migliore sequenza stimata di varianti al fine di fornire il più velocemente possibile un output garantito. Nel caso del wrapper, la successione di varianti è sconosciuta all'utente.

Questo pacchetto contiene i file di sviluppo per libfplll.

FreeFem++ è un'implementazione di un linguaggio dedicato al metodo degli elementi finiti. Permette di risolvere facilmente le equazioni differenziali alle derivate parziali (PDE).

I problemi che coinvolgono le PDE da svariate branche della fisica, come le interazioni delle strutture fluide, richiedono l'interpolazione di dati su diversi reticoli e la loro manipolazione per mezzo di un unico programma. FreeFem++ include un veloce algoritmo di interpolazione basato su quadtree e un linguaggio di manipolazione di tali dati su reticoli multipli. Contiene anche un potente generatore e strumento di adattamento di reticoli integrato in modo perfetto in FreeFem++, chiamato bamg.

FreeFem++ è scritto in C++ ed il linguaggio FreeFem++ è un idioma del C++ che permette una curva di apprendimento agevole.

Questo pacchetto contiene i file di sviluppo di FreeFem++.

FreeFEM è un linguaggio adatto alle equazioni differenziali alle derivate parziali. Viene utilizzato il Metodo degli Elementi Finiti. Questo programma è stato usato con successo come strumento di insegnamento e persino come strumento di ricerca.

Frobby è un sistema e un progetto software per calcoli con ideali monomiali. Frobby è software libero ed è pensato per essere un veicolo per ricerche matematiche e computazionali sugli ideali monomiali.

Le funzionalità attuali includono caratteristiche di Eulero, serie di Hilbert, monomi standard massimali, ottimizzazione combinatoria su ideali monomiali, decomposizione primaria, decomposizione irriducibile, duali Alexander, primi associati, minimizzazione e intersezione di ideali monomiali oltre al calcolo di problemi di Frobenius (usando 4ti2) con numeri molto grandi. Frobby è anche in grado di tradurre tra formati che possono essere utilizzati con svariati sistemi informatici diversi, come Macaulay 2, Monos, 4ti2, CoCoA4 e Singular. Pertanto Frobby può essere usato con uno qualsiasi di questi sistemi.

Questo pacchetto contiene gli strumenti di sviluppo.

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 è un pacchetto software C/C++ che contiene routine per aritmetica veloce in GF(2)[x] (moltiplicazione, elevamento al quadrato, MCD) e ricerca di trinomi irriducibili/primitivi.

Questo pacchetto contiene i file di sviluppo per la libreria.

Givaro is a C++ library for arithmetic and algebraic computations. Its main features are implementations of the basic arithmetic of many mathematical entities: Primes fields, Extensions Fields, Finite Fields, Finite Rings, Polynomials, Algebraic numbers, and Arbitrary precision integers and rationals (C++ wrappers over gmp).

Givaro also provides data-structures and templated classes for the manipulation of basic algebraic objects, such as vectors, matrices (dense, sparse, structured), univariate polynomials (and therefore recursive multivariate).

It contains different program modules and is fully compatible with the LinBox linear algebra library and the Athapascan environment, which permits parallel programming.

This package contains development files for Givaro.

GLPK (GNU Linear Programming Kit) è pensato per risolvere problemi su larga scala di programmazione lineare (LP), problemi misto-interi (MIP) e altri problemi correlati. È un insieme di funzioni scritte in ANSI C e organizzato nella forma di libreria richiamabile.

Questo pacchetto contiene la libreria statica, gli header e la pagina di man di sviluppo per libvc.

GLPK (GNU Linear Programming Kit) è pensato per risolvere problemi su larga scala di programmazione lineare (LP), problemi misto-interi (MIP) e altri problemi correlati. È un insieme di funzioni scritte in ANSI C e organizzato nella forma di libreria richiamabile.

GLPK gestisce il linguaggio GNU MathProg, che è un sottoinsieme del linguaggio AMPL. GLPK gestisce anche i formati standard MPS e LP.

Questo pacchetto contiene i collegamenti Java per 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.

La libreria scientifica GNU (GSL) è una raccolta di funzioni per l'analisi numerica. Le funzioni sono scritte in C da zero dal gruppo GSL e presentano un'API moderna per programmatori C, consentendo al contempo la scrittura di wrapper per linguaggi di livello molto alto.

Questo pacchetto contiene i file header, le librerie statiche ed i collegamenti simbolici di cui necessitano gli sviluppatori che usano GNU GSL.

libhomfly è una libreria per calcolare il polinomiale HOMFLY di nodi e collegamenti.

È basata su un programma scritto da Robert J Jenkins Jr.

Questo pacchetto contiene i file di sviluppo per la libreria.

Hypre is a set of matrix preconditioning libraries to aid in the solution of large systems of linear equations.

This package contains the headers and symlinks necessary to develop programs which use hypre.

igraph è una libreria per creare e manipolare grafi. È pensata per essere il più potente (cioè veloce) possibile per permettere l'analisi di grandi grafi.

Questo pacchetto contiene i file include e la libreria statica per la libreria C di igraph.

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 versione 3.X è una libreria FORTRAN esaustiva che effettua operazioni di algebra lineare con incluse le inversioni di matrici, le soluzioni del metodo dei minimi quadrati di insiemi lineari di equazioni, analisi di autovettori, decomposizione ai valori singolari, ecc. È un pacchetto veramente esaustivo e degno di rispetto che ha trovato un vasto uso nella comunità scientifica.

Questo pacchetto contiene una versione statica della libreria.

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 è una libreria di template C++ per calcolo ad alte prestazioni di algebra lineare con matrici dense, sparse e strutturate su interi e campi finiti.

Questo pacchetto contiene i fili di sviluppo di 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.

"Littlewood-Richardson Calculator" è un pacchetto di programmi C per calcolare coefficienti Littlewood-Richardson e permette il calcolo rapido di singoli coefficienti LR, prodotti di funzioni di Schur e funzioni skew di Schur. La sua interfaccia usa la stessa notazione del pacchetto SF di John Stembridge, per rendere più facile l'uso contemporaneo dei due pacchetti.

Questo pacchetto contiene i file di sviluppo per la libreria.

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.

This package contains the development files (headers, so and static libraries) for MAdLib.

MAdLib is a library that performs global node repositioning and mesh adaptation by local mesh modifications on tetrahedral or triangular meshes. It is designed to frequently adapt the mesh in transient computations. MAdLib is written in C++.

The adaptation procedure is driven by two objectives:

• make the edge lengths as close as possible to a (non-homogenous)

  prescribed length,

• maintain a satisfying element quality everywhere.

MAdLib can be used in transient computations in order to maintain a satisfying element quality (moving boundaries, multiphase flows with interface tracking, ...) or/and to apply selective refinements and coarsenings (error estimators based, interface capturing: shocks, free surfaces, ...).

GNU libmatheval è una libreria che contiene svariate procedure che rendono possibile creare una rappresentazione ad albero in memoria di funzioni matematiche in una o più variabili e successivamente usare questa rappresentazione per valutare funzioni per valori specifici delle variabili, per creare l'albero corrispondente per la funzione derivata rispetto ad una data variabile o per stampare in stringhe specificate la rappresentazione testuale dell'albero in memoria. La libreria permette l'uso di nomi arbitrari per le variabili in espressioni, costanti decimali, operatori base unari e binari e funzioni matematiche elementari.

Questo pacchetto contiene i file header e la libreria statica.

Mathic è una libreria C++ di veloci strutture di dati progettata per l'uso nel calcolo di basi di Groebner. Include strutture di dati per ordinamento di S-coppie, interrogazioni sui divisori e ordinamento di termini polinomiali durante la riduzione polinomiale.

Questo pacchetto contiene gli strumenti per sviluppatori.

Mathicgb è un programma per calcolare basi di Groebner e basi di Groebner basate su firme. Mathicgb è basato sulle veloci strutture di dati di mathic.

L'articolo "Practical Groebner Basis Computation" descrive gli algoritmi in Mathicgb a un livello generale. Fu presentato all'ISSAC 2012 ed è disponibile all'indirizzo http://arxiv.org/abs/1206.6940

Questo pacchetto contiene gli strumenti per sviluppatori.

matio è una libreria C per leggere e scrivere file MAT di Matlab.

Questo pacchetto contiene i file di sviluppo necessari per compilare software per utilizzare l'API di libmatio.

Questi sono i file necessari per compilare programmi con la libreria per algebra lineare meschach.

Implementation of the mesh normal filtering algorithm from the paper: Juyong Zhang, Bailin Deng, Yang Hong, Yue Peng, Wenjie Qin, Ligang Liu. Static/Dynamic Filtering for Mesh Geometry. arXiv:1712.03574.

This is a header-only library. This package contains the headers

This package provides a C library of functions for interval arithmetic computations with arbitrary precision.

The basic principle of interval arithmetic consists in enclosing every number by an interval containing it and being representable by machine numbers: for instance it can be stored as its lower and upper endpoints and these bounds are machine numbers, or as a centre and a radius which are machine numbers.

The arithmetic operations are extended for interval operands in such a way that the exact result of the operation belongs to the computed interval.

The purpose of an arbitrary precision interval arithmetic is on the one hand to get guaranteed results, thanks to interval computation, and on the other hand to obtain accurate results, thanks to multiple precision arithmetic. The MPFI library is built upon MPFR in order to benefit from the correct roundings provided by MPFR. Further advantages of using MPFR are its portability and compliance with the IEEE 754 standard for floating-point arithmetic.

This package provides the static library and symbolic links needed for development.

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.

Strumento di ricerca di radici di polinomi che può determinare approssimazioni con precisione arbitraria con raggi di inclusione garantiti. Gestisce lo sfruttamento delle strutture dei polinomi come la sparsità e permette polinomi definiti implicitamente o in alcune basi non standard.

Questo pacchetto contiene gli header di sviluppo e la libreria .so di MPSolve.