Debian Science Project
Summary
Mathematics
pacchetti Debian Science per la matematica

Questo metapacchetto installa i pacchetti Debian Science relativi alla matematica. Chi installa questo pacchetto potrebbe essere interessato al debtag field::mathematics e, in base alle proprie esigenze, al metapacchetto education-mathematics.

Description

For a better overview of the project's availability as a Debian package, each head row has a color code according to this scheme:

If you discover a project which looks like a good candidate for Debian Science to you, or if you have prepared an unofficial Debian package, please do not hesitate to send a description of that project to the Debian Science mailing list

Links to other tasks

Debian Science Mathematics packages

Official Debian packages with high relevance

4ti2
suite di strumenti matematici per problemi in spazi lineari -- strumenti
Versions of package 4ti2
ReleaseVersionArchitectures
buster1.6.9+ds-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid1.6.9+ds-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch1.6.7+ds-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye1.6.9+ds-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 62 users (48 upd.)*
Versions and Archs
License: DFSG free
Git

4ti2 è un pacchetto di software matematico per problemi algebrici, geometrici e combinatori in spazi lineari.

Questo pacchetto fornisce la suite di strumenti 4ti2.

Agda
linguaggio di programmazione funzionale tipizzato in modo dipendente
Versions of package agda
ReleaseVersionArchitectures
sid2.6.0.1-1all
bullseye2.6.0.1-1all
buster2.5.4.1-3all
stretch2.5.1.1-3all
wheezy2.3.0.1-2all
jessie2.4.0.2-2all
upstream2.6.1
Debtags of package agda:
rolemetapackage
Popcon: 0 users (0 upd.)*
Newer upstream!
License: DFSG free
Git

Agda è un linguaggio di programmazione funzionale tipizzato in modo dipendente: ha famiglie induttive che sono simili alle GADT di Haskell, ma possono essere indicizzate in base ai valori e non soltanto ai tipi. Ha anche moduli parametrizzati, operatori mixfix, caratteri Unicode e un'interfaccia Emacs interattiva (il verificatore dei tipi può assistere nella scrittura del codice).

Agda è anche un assistente per dimostrazioni: è un sistema interattivo per scrivere e verificare dimostrazioni. Agda è basato sulla teoria intuizionista dei tipi, un sistema fondante per lo sviluppo della matematica costruttiva creata dal logico svedese Per Martin-Löf. Ha molte similitudini con altri assistenti per dimostrazioni basati su tipi dipendenti, come Coq, Epigram e NuPRL.

Questo è un metapacchetto che fornisce la documentazione, la libreria standard, l'eseguibile, la modalità Emacs di Agda.

Auto-07p
software per problemi di continuazione e biforcazione in ODE
Versions of package auto-07p
ReleaseVersionArchitectures
stretch0.9.1+dfsg-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid0.9.2+dfsg-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye0.9.2+dfsg-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster0.9.1+dfsg-7amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie0.9.1+dfsg-1amd64,armel,armhf,i386
Popcon: 12 users (19 upd.)*
Versions and Archs
License: DFSG free
Git

AUTO può fare un'analisi limitata di biforcazione di sistemi algebrici nella forma

  f(u,p) = 0,  f,u in Rn
e di sistemi di equazioni differenziali ordinarie nella forma
  u'(t) = f(u(t),p),  f,u in Rn
soggetta a condizioni iniziali, condizioni al contorno e vincoli integrali.

Qui p indica uno o più parametri. AUTO può anche fare alcuni calcoli di continuazione ed evoluzione per PDE parabolici. Include anche il software HOMCONT per l'analisi di biforcazione di orbite omocline. AUTO è piuttosto veloce e può trarre beneficio dall'uso di più processori; è perciò utilizzabile per sistemi piuttosto grandi di equazioni differenziali.

Axiom
sistema di algebra al computer universale: eseguibile principale e moduli
Maintainer: Camm Maguire
Versions of package axiom
ReleaseVersionArchitectures
squeeze20100701-1.1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,powerpc,s390,sparc
buster20170501-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
wheezy20120501-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
bullseye20170501-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid20170501-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch20140801-12amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie20140801-6amd64,armel,armhf,i386
Debtags of package axiom:
develcompiler, interpreter
fieldmathematics
interfacetext-mode
roleprogram
scopeutility
Popcon: 17 users (14 upd.)*
Versions and Archs
License: DFSG free

Axiom è utile per la ricerca e lo sviluppo di algoritmi matematici. Definisce una gerarchia di tipi, rigorosa e matematicamente corretta. Ha un linguaggio di programmazione ed un compilatore incorporato.

Axiom è stato sviluppato sin dal 1973 ed è stato venduto come prodotto commerciale. È stato rilasciato come software libero.

Sono in corso sforzi per estendere questo software per (a) sviluppare un'interfaccia utente migliore; (b) renderlo utile come strumento di insegnamento; (c) sviluppare un protocollo server per l'algebra; (d) integrare matematica aggiuntiva; (e) ricostruire l'algebra in uno stile di programmazione documentato; (f) integrare la programmazione logica; (g) sviluppare un Axiom Journal con contributi referenziati.

Questo pacchetto contiene il programma eseguibile principale e tutti i moduli di algebra precompilati e autocaricabili.

The package is enhanced by the following packages: texmacs
Bliss
strumento per calcolare automorfismi ed etichette per grafi -- binari
Versions of package bliss
ReleaseVersionArchitectures
bullseye0.73-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid0.73-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch0.73-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster0.73-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie0.72-5amd64,armel,armhf,i386
wheezy0.72-4amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
Debtags of package bliss:
interfacecommandline
roleprogram
Popcon: 13 users (16 upd.)*
Versions and Archs
License: DFSG free
Git

Bliss è un algoritmo di backtracking per elaborare gruppi di automorfismi e forme canoniche di grafi, basato su individuazione e raffinamento. Le sue strutture dati, procedure e tecniche euristiche di pruning sono progettate specialmente per la gestione veloce di grafi grandi e sparsi.

Questo pacchetto fornisce lo strumento a riga di comando bliss.

Cohomcalg
coomologia dei fasci di fibrato di linee su varietà toriche
Versions of package cohomcalg
ReleaseVersionArchitectures
buster0.32+ds-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye0.32+ds-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid0.32+ds-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 11 users (9 upd.)*
Versions and Archs
License: DFSG free
Git

L'algoritmo per il calcolo delle coomologie dei fasci di fibrati di linee su varietà toriche presentato in "Cohomology of Line Bundles: A Computational Algorithm" by Ralph Blumenhagen, Benjamin Jurke, Thorsten Rahn e Helmut Roschy è stato implementato in un'applicazione C/C++ comoda e ad alte prestazioni chiamata cohomCalg.

L'estensione opzionale cohomCalg Koszul serve come frontend per Mathematica 7 e permette un facile calcolo della ipersuperfice e delle coomologie complete dell'intersezione, seguendo il materiale presentato in "Cohomology of Line Bundles: Applications" degli stessi autori.

Please cite: Ralph Blumenhagen, Benjamin Jurke, Thorsten Rahn and Helmut Roschy: Cohomology of Line Bundles: A Computational Algorithm. J. Math. Phys. 51 (2010)
Coinor-cbc
risolutore Coin-or per programmazione intera mista branch-and-cut
Versions of package coinor-cbc
ReleaseVersionArchitectures
bullseye2.10.4+repack1-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster2.9.9+repack1-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid2.10.4+repack1-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
jessie2.8.12-1amd64,armel,armhf,i386
stretch2.8.12-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
upstream2.10.5
Popcon: 62 users (145 upd.)*
Newer upstream!
License: DFSG free
Git

Cbc (Coin-or branch and cut) è un risolutore open-source per programmazione intera mista scritto in C++. Può essere usato come libreria richiamabile o come eseguibile autonomo.

Questo pacchetto contiene l'eseguibile cbc.

Coinor-symphony
COIN-OR solver for mixed-integer linear programs
Versions of package coinor-symphony
ReleaseVersionArchitectures
jessie5.6.1-1amd64,armel,armhf,i386
sid5.6.16+repack1-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye5.6.16+repack1-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster5.6.16+repack1-1.1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch5.6.1-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
upstream5.6.17
Popcon: 19 users (11 upd.)*
Newer upstream!
License: DFSG free
Git

SYMPHONY is an open-source generic mixed-integer linear programs (MILP) solver, callable library, and extensible framework for implementing customized solvers SYMPHONY has a number of advanced capabilities, including the ability to solve multi-objective MILPs, the ability to warm start its solution procedure, and the ability to perform basic sensitivity analyses.

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

This package contains the symphony executable.

Coq
assistente alle dimostrazioni per logiche di ordine superiore (toplevel e compilatore)
Versions of package coq
ReleaseVersionArchitectures
jessie8.4pl4dfsg-1amd64,armel,armhf,i386
stretch8.6-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid8.11.0-1amd64,arm64,ppc64el
bullseye8.11.0-1amd64,arm64,ppc64el
experimental8.11.1~pre1-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el
buster8.9.0-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
squeeze8.2.pl2+dfsg-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy8.3.pl4+dfsg-2amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
upstream8.11.2
Debtags of package coq:
develcompiler
fieldmathematics
interfacecommandline, text-mode
roleprogram
scopeutility
uitoolkitncurses
Popcon: 50 users (23 upd.)*
Newer upstream!
License: DFSG free
Git

Coq è un assistente alle dimostrazioni per logiche di ordine superiore che permette lo sviluppo di programmi per computer coerenti con la loro specifica formale. È sviluppato con Objective Caml e Camlp5.

Questo pacchetto fornisce coqtop, un'interfaccia a riga di comando per Coq.

Un'interfaccia grafica per Coq è inclusa nel pacchetto coqide. Coq può anche essere usato con ProofGeneral, che permette di modificare le dimostrazioni con emacs e xemacs. Quest'operazione richiede che sia installato il pacchetto proofgeneral.

The package is enhanced by the following packages: libaac-tactics-ocaml libssreflect-ocaml
Cryptominisat
interfaccia a riga di comando per il risolutore SAT
Versions of package cryptominisat
ReleaseVersionArchitectures
bullseye5.7.1+dfsg1-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid5.7.1+dfsg1-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 2 users (3 upd.)*
Versions and Archs
License: DFSG free
Git

CryptoMiniSat è un risolutore SAT moderno, con thread multipli e semplificante.

Questo pacchetto fornisce un'interfaccia a riga di comando che legge formule SAT in forma normale congiuntiva in formato DIMACS con l'estensione di clausole XOR e decide se esse sono soddisfacibili.

Eclib-tools
Programs for modular symbols and elliptic curves over Q
Versions of package eclib-tools
ReleaseVersionArchitectures
stretch20160720-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster20180815-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye20190909-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid20190909-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
jessie2014-09-21-1amd64,armel,armhf,i386
Popcon: 49 users (53 upd.)*
Versions and Archs
License: DFSG free
Git

This package includes several programs to compute with elliptic curves over Q ; most notably mwrank (for 2-descent on elliptic curves over Q) and the modular symbol tools used to create the elliptic curve database.

Feel++-apps
libreria per il metodo degli elementi finiti
Versions of package feel++-apps
ReleaseVersionArchitectures
jessie0.99.0-final.1-1amd64,i386
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Svn

Fornisce alcuni codici (sorgenti ed eseguibili) di applicazioni come laplaciano con metodi cG e dG, Stokes, trasferimento di calore, meccanica dei solidi (statica e dinamica).

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.

Fenics
Automated Solution of Differential Equations
Versions of package fenics
ReleaseVersionArchitectures
bullseye2019.1.0.3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster2018.1.0.6amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
wheezy1.0.0-1all
sid2019.2.0.2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
jessie1.4.0.1all
stretch2016.2.0.1all
Debtags of package fenics:
fieldmathematics
rolemetapackage
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

FEniCS is a collection of free software for automated, efficient solution of differential equations.

FEniCS has an extensive list of features, including automated solution of variational problems, automated error control and adaptivity, a comprehensive library of finite elements, high performance linear algebra and many more.

FEniCS is organized as a collection of interoperable components, including the problem-solving environment DOLFIN, the form compiler FFC, the finite element tabulator FIAT, the just-in-time compiler Instant, the code generation interface UFC, the form language UFL and a range of additional components.

This is a metapackage which depends on all FEniCS components.

This is the legacy version of FEniCS. You may want to consider installing the next-generation FEniCS-X (fenicx package).

Flintqs
programma che usa il crivello quadratico per fattorizzare numeri interi
Versions of package flintqs
ReleaseVersionArchitectures
bullseye1.0-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch1.0-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster1.0-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid1.0-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 52 users (47 upd.)*
Versions and Archs
License: DFSG free
Git

Questo pacchetto contiene il programma di William Hart per trovare fattori primi di interi grandi (almeno 40 cifre).

Lo fa usando un crivello quadratico multipolinomiale altamente ottimizzato.

Form
sistema per manipolazione simbolica
Versions of package form
ReleaseVersionArchitectures
sid4.2.1+git20200217-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye4.2.1+git20200217-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster4.2.1-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch4.1-1amd64,i386,mips,mips64el,mipsel
Popcon: 12 users (7 upd.)*
Versions and Archs
License: DFSG free
Git

Questo è un sistema per manipolazione simbolica. Legge espressioni simboliche dai file ed esegue trasformazioni simboliche/algebriche su di esse. Le risposte sono restituite in una rappresentazione matematica testuale. Come funzionalità distintiva, la dimensione delle espressioni considerate in FORM è limitata solamente dallo spazio disco disponibile e non dalla RAM disponibile.

Fplll-tools
strumenti per calcolare la riduzione LLL di reticoli euclidei
Versions of package fplll-tools
ReleaseVersionArchitectures
buster5.2.1-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie4.0.4-2amd64,armel,armhf,i386
stretch5.0.3-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid5.3.2-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye5.3.2-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 14 users (9 upd.)*
Versions and Archs
License: DFSG free
Git

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 gli strumenti di base che usano libfplll.

Freefem
linguaggio orientato alle equazioni con derivate parziali che usa il Metodo ad Elementi Finiti
Versions of package freefem
ReleaseVersionArchitectures
squeeze3.5.8-4.2amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
sid3.5.8-7amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye3.5.8-7amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster3.5.8-7amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch3.5.8-5.1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie3.5.8-5.1amd64,armel,armhf,i386
wheezy3.5.8-5amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
Debtags of package freefem:
develinterpreter
fieldphysics
interfacecommandline
roleprogram
scopeutility
Popcon: 19 users (12 upd.)*
Versions and Archs
License: DFSG free
Git

FreeFEM è un linguaggio adattato 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.

Freefem++
fornisce i binari della suite FreeFem++ FE
Versions of package freefem++
ReleaseVersionArchitectures
sid3.61.1+dfsg1-5.1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye3.61.1+dfsg1-5.1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster3.61.1+dfsg1-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch3.47+dfsg1-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie3.31-2-1amd64,armel,armhf,i386
wheezy3.19.1-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
Popcon: 21 users (19 upd.)*
Versions and Archs
License: DFSG free
Git

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 gli eseguibili di FreeFem++.

Screenshots of package freefem++
Freefem3d
linguaggio e risolutore per equazioni alle derivate parziali in 3D
Versions of package freefem3d
ReleaseVersionArchitectures
stretch1.0pre10-3.4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie1.0pre10-3.2amd64,armel,armhf,i386
wheezy1.0pre10-3.1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
squeeze1.0pre10-2.1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
Debtags of package freefem3d:
develinterpreter
fieldphysics
interfacecommandline
roleprogram
scopeutility
uitoolkitqt
works-with3dmodel
Popcon: 11 users (0 upd.)*
Versions and Archs
License: DFSG free
Svn

FreeFEM3D (noto anche come ff3d) è un risolutore 3D di equazioni alle derivate parziali (PDE). È uno dei membri della famiglia dei programmi freefem (vedere http://www.freefem.org).

ff3d, come i suoi parenti, è un risolutore di PDE guidato da un linguaggio amichevole. Risolve molti tipi di problemi come elasticità, fluidi (Stokes e Navier-Stokes) e molti altri. L'utente deve inserire l'equazione associata al problema sia nella formulazione rigorosa delle PDE che nella formulazione debole (alle variazioni).

ff3d può usare il metodo degli Elementi Finiti (la maglia della geometria viene fornita dall'utente) o un approccio Dominio Fittizio in cui la geometria è descritta usando CSG (Constructive Solid Geometry); questa descrizione è fatta usando il linguaggio POV-Ray ma se ne potrebbero aggiungere altri come il VRML.

L'elaborazione dei risultati è lasciata all'utente. Si possono usare vari strumenti grafici: sono supportati i formati di output MEdit e VTK. L'implementazione di un modulo di base per la visualizzazione VTK è in corso di realizzazione.

Lo scopo di ff3d è fornire un buon strumento per l'insegnamento e un toolbox di ricerca (il codice è scritto in C++ ed è progettato in modo da poter implementare facilmente dei nuovi metodi).

Freemat
ambiente di lavoro matematico (per lo più compatibile con MATLAB)
Versions of package freemat
ReleaseVersionArchitectures
buster4.2+dfsg1-6amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch4.2+dfsg1-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie4.0-5amd64,armel,armhf,i386
wheezy4.0-5amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
squeeze4.0-3amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
Debtags of package freemat:
fieldmathematics
interfacecommandline, x11
roleprogram
scopeapplication
uitoolkitqt
x11application
Popcon: 21 users (13 upd.)*
Versions and Archs
License: DFSG free
Git

FreeMat è un ambiente per l'ingegnerizzazione, la prototipazione scientifica e l'elaborazione di dati, in modo veloce. È simile a prodotti commerciali come MATLAB di Mathworks e IDL di Research Systems, ma è open source. FreeMat è disponibile con licenza GPL.

Screenshots of package freemat
Frobby
calcoli con ideali monomiali
Versions of package frobby
ReleaseVersionArchitectures
buster0.9.0-5amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid0.9.0-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye0.9.0-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch0.9.0-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Popcon: 10 users (8 upd.)*
Versions and Archs
License: DFSG free
Git

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.

Gap
sistema di algebra al computer per Gruppi, Algoritmi e Programmazione
Maintainer: Bill Allombert
Versions of package gap
ReleaseVersionArchitectures
squeeze4r4p12-2all
jessie4r7p5-2all
stretch4r8p6-2all
buster4r10p0-7all
wheezy4r4p12-2all
sid4.11.0-4all
bullseye4.11.0-4all
Debtags of package gap:
fieldmathematics
rolemetapackage
Popcon: 4 users (17 upd.)*
Versions and Archs
License: DFSG free

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 è un pacchetto fittizio che dipende dai componenti standard di GAP.

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

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 contiene la Character Table Library creata da Thomas Breuer.

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

GAP è un sistema di algebra computazionale discreta con particolare enfasi sulla teoria dei gruppi computazionale, ma che si è già rivelato utile anche in altri campi.

Questo pacchetto fornisce routine GAP per costruire, classificare, partizionare e studiare disegni a blocchi.

Gap-factint
metodi avanzati per fattorizzazione di interi per GAP
Versions of package gap-factint
ReleaseVersionArchitectures
buster1.6.2+ds-1all
bullseye1.6.3+ds-1all
sid1.6.3+ds-1all
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

GAP è un sistema di algebra computazionale discreta con particolare enfasi sulla teoria dei gruppi computazionale, ma che si è già rivelato utile anche in altri campi.

Questo pacchetto fornisce routine GAP per fattorizzazione di interi, in particolare:

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

Fornisce anche accesso alle tavole di Richard P. Brent dei fattori degli interi, nella forma b^k +/- 1.

Gap-float
calcoli in virgola mobile a precisione multipla per GAP
Versions of package gap-float
ReleaseVersionArchitectures
sid0.9.1+ds-6amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch0.7.4+ds-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie0.6.3+ds-1amd64,armel,armhf,i386
bullseye0.9.1+ds-6amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster0.9.1+ds-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

GAP è un sistema di algebra computazionale discreta con particolare enfasi sulla teoria dei gruppi computazionale, ma che si è già rivelato utile anche in altri campi.

Questo pacchetto GAP offre a GAP la gestione di numeri in virgola mobile con precisione arbitraria; è basato su MPFR, MPFI, MPC, CXSC e FPLLL.

Gap-grape
algoritmi per grafi che usano gruppi di permutazione per GAP
Versions of package gap-grape
ReleaseVersionArchitectures
buster4.8.1+ds-3all
stretch4r7+ds-3all
bullseye4.8.3+ds-1all
sid4.8.3+ds-1all
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

GAP è un sistema di algebra computazionale discreta con particolare enfasi sulla teoria dei gruppi computazionale, ma che si è già rivelato utile anche in altri campi.

Questo pacchetto implementa calcoli con grafi e gruppi per GAP. GRAPE (GRaph Algorithms using PErmutation groups) è principalmente progettato per costruire e analizzare grafi relativi a gruppi, geometrie finite e design, con particolare attenzione alla determinazione di proprietà di regolarità e struttura dei sottografi.

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

GAP è un sistema di algebra computazionale discreta con particolare enfasi sulla teoria dei gruppi computazionale, ma che si è già rivelato utile anche in altri campi.

Questo pacchetto GAP porta in GAP il calcolo con codici a correzione d'errore.

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

GAP è un sistema di algebra computazionale discreta con particolare enfasi sulla teoria dei gruppi computazionale, ma che si è già rivelato utile anche in altri campi.

LAGUNA sta per "Lie AlGebras and UNits of group Algebras" (algebre di Lie e algebre delle unità dei gruppi).

Questo pacchetto fornisce a GAP le funzionalità per calcolare il gruppo di unità normalizzato dell'algebra del gruppo modulare del p-gruppo finito e per investigare le algebre di Lie associate ad algebre dei gruppi e altre algebre associative.

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

GAP è un sistema di algebra computazionale discreta con particolare enfasi sulla teoria dei gruppi computazionale, ma che si è già rivelato utile anche in altri campi.

Questo pacchetto permette a GAP di importare ed esportare oggetti matematici codificati in OpenMath con lo scopo di scambiarli con altre applicazioni che possono usare OpenMath.

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

GAP è un sistema di algebra computazionale discreta con particolare enfasi sulla teoria dei gruppi computazionale, ma che si è già rivelato utile anche in altri campi. Nel testo di esempio, GAP è usato per analizzare il cubo di Rubik secondo la teoria dei gruppi. Il nucleo centrale implementa un linguaggio simile al Pascal.

Questo pacchetto contiene il database dei gruppi primitivi.

Questo è un pacchetto di transizione. Può essere rimosso senza problemi una volta completata l'installazione.

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

GAP è un sistema di algebra computazionale discreta con particolare enfasi sulla teoria dei gruppi computazionale, ma che si è già rivelato utile anche in altri campi. Nel testo di esempio, GAP è usato per analizzare il cubo di Rubik secondo la teoria dei gruppi. Il nucleo centrale implementa un linguaggio simile al Pascal.

La libreria Small Groups è una catalogazione di gruppi di ordine "piccolo". Questo pacchetto contiene i dati di gruppi e le procedure di identificazione per gruppi di ordine fino a 1000 ad eccezione di 512, 768 e di gruppi il cui ordine si fattorizza con al massimo 3 fattori primi

Si noti che i dati per gli ordini 512, 768 e tra 1000 e 2000 ad eccezione di 1024 sono disponibili separatamente nel pacchetto gap-small-groups-extra.

Questo è un pacchetto di transizione. Può essere rimosso senza problemi una volta completata l'installazione.

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

GAP è un sistema di algebra computazionale discreta con particolare enfasi sulla teoria dei gruppi computazionale, ma che si è già rivelato utile anche in altri campi. Nel testo di esempio, GAP è usato per analizzare il cubo di Rubik secondo la teoria dei gruppi. Il nucleo centrale implementa un linguaggio simile al Pascal.

La libreria Small Groups è un catalogo di gruppi di "piccolo" ordine. Questo pacchetto contiene i dati dei gruppi e le procedure d'identificazione per i gruppi:

  • di ordine al massimo 2000 tranne 1024;
  • di ordine cubefree al massimo 50000;
  • di ordine p^n per n <= 6 e tutti i primi p;
  • di ordine squarefree;
  • quelli il cui ordine è fattorizzabile in al massimo 3 primi;
  • di ordine q^n * p per q^n divisore di 2^8, 3^6, 5^5, 7^4 e p primo diverso da q.

La libreria Small Groups fornisce accesso a questi gruppi e metodi per identificare il numero di catalogo di un dato gruppo.

Questo è un pacchetto di transizione. Può essere rimosso senza problemi una volta completata l'installazione.

Gap-sonata
sistemi di quasi-anelli e loro applicazioni per GAP
Versions of package gap-sonata
ReleaseVersionArchitectures
sid2.9.1+ds-3all
bullseye2.9.1+ds-3all
buster2.9.1+ds-2all
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

GAP è un sistema di algebra computazionale discreta con particolare enfasi sulla teoria dei gruppi computazionale, ma che si è già rivelato utile anche in altri campi.

Questo pacchetto fornisce metodi GAP per la costruzione e l'analisi di quasi-anelli finiti.

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

GAP è 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 contiene la libreria Tables of Marks per GAP di L. Naughton e G. Pfeiffer.

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

GAP è un sistema di algebra computazionale discreta con particolare enfasi sulla teoria dei gruppi computazionale, ma che si è già rivelato utile anche in altri campi.

Questo pacchetto fornisce routine GAP per lavorare con varietà toriche e con coni e oggetti geometrici combinatori correlati.

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

GAP è un sistema di algebra computazionale discreta con particolare enfasi sulla teoria dei gruppi computazionale, ma che si è già rivelato utile anche in altri campi. Nel testo di esempio, GAP è usato per analizzare il cubo di Rubik secondo la teoria dei gruppi. Il nucleo centrale implementa un linguaggio simile al Pascal.

Questo pacchetto contiene il database dei gruppi transitivi.

Questo è un pacchetto di transizione. Può essere rimosso senza problemi una volta completata l'installazione.

Geneagrapher
crea alberi da Mathematics Genealogy Project
Versions of package geneagrapher
ReleaseVersionArchitectures
bullseye1.0c2+git20180919-2all
sid1.0c2+git20180919-2all
stretch1.0c2+git20120704-2all
buster1.0c2+git20180919-1all
upstream1.0c2+git20181012
Popcon: 13 users (9 upd.)*
Newer upstream!
License: DFSG free
Git

Mathematics Genealogy Grapher (Geneagrapher) è uno strumento software per raccogliere informazioni per costruire alberi genealogici matematici con dati dal Mathematics Genealogy Project. Le informazioni estratte sono memorizzate nel formato di file dot, che poi può essere passato a Graphviz per generare un grafo.

Geogebra
software matematico dinamico per l'educazione
Versions of package geogebra
ReleaseVersionArchitectures
stretch4.0.34.0+dfsg1-3all
squeeze3.2.44.0+dfsg1-2all
bullseye4.0.34.0+dfsg1-7all
sid4.0.34.0+dfsg1-7all
buster4.0.34.0+dfsg1-7all
wheezy4.0.34.0+dfsg1-1all
jessie4.0.34.0+dfsg1-3all
Debtags of package geogebra:
fieldmathematics
interfacex11
roleprogram
scopeapplication
uitoolkitxlib
uselearning
works-withimage, image:raster, image:vector
works-with-formatpng, svg
x11applet, application
Popcon: 306 users (117 upd.)*
Versions and Archs
License: DFSG free
Git

GeoGebra è un programma geometrico dinamico. È possibile creare costruzioni con punti, vettori, segmenti, linee, sezioni coniche come anche funzioni e successivamente modificarle dinamicamente. D'altra parte le equazioni e le coordinate possono essere inserite direttamente.

È fornita la gestione di molte costruzioni geometriche, come anche la gestione per molti strumenti basati sull'analisi matematica (derivate, cerchio osculatore, ...).

I file di GeoGebra possono essere esportati in molti formati differenti o come applet interattive per pagine web.

Screenshots of package geogebra
Geomview
Programma per la visualizzazione interattiva di figure geometriche
Versions of package geomview
ReleaseVersionArchitectures
jessie1.9.4-4.1amd64,armel,armhf,i386
bullseye1.9.5-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster1.9.5-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch1.9.5-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
squeeze1.9.4-2amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy1.9.4-3amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
sid1.9.5-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Debtags of package geomview:
fieldmathematics
interface3d, x11
roleprogram
scopeapplication
uitoolkitmotif
uselearning, viewing
works-with3dmodel
x11application
Popcon: 69 users (57 upd.)*
Versions and Archs
License: DFSG free
Git

Geomview è un programma per la visualizzazione interattiva particolarmente adatto per la ricerca e l'educazione matematica. In particolare, geomview è in grado di visualizzare figure sia in spazi iperbolici che sferici, così come in spazi euclidei.

Geomview consente l'utilizzo di numerosi oggetti e punti di vista indipendenti tra loro. Fornisce un controllo interattivo per il movimento, aspetto (inclusi illuminazione, opacità e materiale), selezione a livello di oggetti, spigoli o vertici, fotografie istantanee nel formato d'immagine SGI o Renderman RIB, mentre l'aggiunta o la rimozione di oggetti è gestita tramite la manipolazione diretta via mouse, pannelli di controllo e scorciatoie da tastiera. Programmi esterni possono gestire particolari aspetti del visualizzatore (come caricare continuamente geometrie che cambiano o controllare il movimento di certi oggetti) permettendo, nel contempo, il controllo interattivo di tutto il resto.

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

Gerris è un sistema per risolvere le equazioni alle derivate parziali che descrivono flussi di fluidi.

Un breve riassunto delle principali caratteristiche (al momento):

  • risolve le equazioni in funzione del tempo, per fluidi incomprimibili di densità variabile di Eulero, Stokes o Navier-Stokes;
  • raffinamento adattivo delle mesh: la soluzione viene adattata dinamicamente alle caratteristiche del flusso;
  • generazione completamente automatica delle mesh in geometrie complesse;
  • secondo ordine nello spazio e nel tempo;
  • numero illimitato dei tracciatori passivi in avvezioni/diffusioni;
  • specifica flessibile di termini sorgenti aggiuntivi;
  • gestione portabile parallela con l'uso della libreria MPI;
  • schema dell'avvezione del volume di fluido per flussi di interfaccia.

Questo pacchetto ha integrata la gestione di MPI.

Getdp
ambiente generale per il trattamento di problemi discreti
Versions of package getdp
ReleaseVersionArchitectures
bullseye3.2.0+dfsg1-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster3.0.4+dfsg1-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch2.9.2+dfsg1-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid3.2.0+dfsg1-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
upstream3.3.0
Popcon: 15 users (25 upd.)*
Newer upstream!
License: DFSG free
Git

GetDP è un risolutore generico di elementi finiti che usa elementi misti per discretizzare complessi di tipo de Rham in una, due e tre dimensioni.

La funzionalità principale di GetDP è la vicinanza tra i dati di input che definiscono problemi discreti (scritti dall'utente in file di dati ASCII) e le espressioni matematiche simboliche di tali problemi.

Consultare il manuale di riferimento di GetDP per una panoramica più completa delle funzionalità di GetDP: http://www.geuz.org/getdp .

Please cite: P. Dular, C. Geuzaine, A. Genon and W. Legros: An evolutive software environment for teaching finite element methods in electromagnetism. IEEE Transactions on Magnetics 35(3):1682 - 1685 (1999)
Gfan
program for computing with Groebner fans
Versions of package gfan
ReleaseVersionArchitectures
buster0.6.2-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch0.5+dfsg-6amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie0.5+dfsg-5amd64,armel,armhf,i386
wheezy0.3dfsg-1.1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
squeeze0.3dfsg-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
sid0.6.2-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye0.6.2-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 58 users (44 upd.)*
Versions and Archs
License: DFSG free
Git

Gfan is a software package for computing Groebner fans and tropical varieties. These are polyhedral fans associated to polynomial ideals. The maximal cones of a Groebner fan are in bijection with the marked reduced Groebner bases of its defining ideal. The software computes all marked reduced Groebner bases of an ideal. Their union is a universal Groebner basis. The tropical variety of a polynomial ideal is a certain subcomplex of the Groebner fan. Gfan contains algorithms for computing this complex for general ideals and specialized algorithms for tropical curves, tropical hypersurfaces and tropical varieties of prime ideals. In addition to the above core functions the package contains many tools which are useful in the study of Groebner bases, initial ideals and tropical geometry. Among these are an interactive traversal program for Groebner fans and programs for graphical renderings.

For ordinary Groebner basis computations Gfan is not competitive in speed compared to programs such as CoCoA, Singular and Macaulay2.

Screenshots of package gfan
Ginac-tools
strumenti per la gestione del framework simbolico GiNaC
Versions of package ginac-tools
ReleaseVersionArchitectures
stretch1.7.2-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
squeeze1.5.8-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
jessie1.6.2-1amd64,armel,armhf,i386
sid1.7.9-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
wheezy1.6.2-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
bullseye1.7.9-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster1.7.5-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Debtags of package ginac-tools:
devellang:c++
fieldmathematics
interfaceshell, text-mode
roleprogram
scopeutility
uitoolkitncurses
useviewing
Popcon: 21 users (19 upd.)*
Versions and Archs
License: DFSG free

GiNaC (che significa "GiNaC is Not a CAS (Computer Algebra System)") è una libreria per effettuare il calcolo simbolico (cioè non numerico) direttamente nel linguaggio di programmazione C++.

Questo pacchetto fornisce alcuni strumenti aggiuntivi, come il popolare ginsh (GiNaC interactive shell) e viewgar (per ispezionare i file di archivio GiNaC).

Gmsh
generatore di reticoli tridimensionali ad elementi finiti
Versions of package gmsh
ReleaseVersionArchitectures
jessie2.8.5+dfsg-1.1amd64,armel,armhf,i386
buster4.1.5+really4.1.3+ds1-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch2.15.0+dfsg1-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid4.5.6+ds1-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye4.5.6+ds1-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
squeeze2.4.2.dfsg-5amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
Debtags of package gmsh:
interfacex11
roleprogram
scopeapplication
useediting
works-with3dmodel
x11application
Popcon: 76 users (123 upd.)*
Versions and Archs
License: DFSG free
Git

Gmsh è un generatore di reticoli tridimensionali ad elementi finiti con funzionalità di CAD e post-elaborazione interne. È stato progettato con lo scopo di fornire un semplice strumento di generazione di reticoli veloce, leggero ed amichevole con input parametrici ed un'avanzata capacità di visualizzazione. Gmsh è costruito intorno a quattro moduli: geometria, reticolo, risolutore e post-elaborazione. La specificazione di qualsiasi input verso uno di questi moduli è fatta sia interattivamente, tramite l'uso dell'interfaccia utente grafica, sia in file di testo ASCII, mediante l'uso del linguaggio di scripting interno di Gmsh.

Vedere il manuale di riferimento di Gmsh per una vista generale più approfondita delle capacità di Gmsh.

Please cite: C. Geuzaine and J.-F. Remacle: Gmsh: a three-dimensional finite element mesh generator with built-in pre- and post-processing facilities. (eprint) International Journal for Numerical Methods in Engineering 79(11):1309-1331 (2009)
Screenshots of package gmsh
Graphviz
ricco insieme di strumenti per il disegno di grafi
Versions of package graphviz
ReleaseVersionArchitectures
squeeze2.26.3-5+squeeze2amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
stretch2.38.0-17amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie2.38.0-7amd64,armel,armhf,i386
wheezy-security2.26.3-14+deb7u2amd64,armel,armhf,i386
wheezy2.26.3-14+deb7u2amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
squeeze-security2.26.3-5+squeeze2amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
sid2.42.2-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye2.42.2-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster2.40.1-6amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
upstream2.44.0
Debtags of package graphviz:
fieldmathematics
interfacecommandline, x11
roleprogram
sciencevisualisation
scopeutility
uitoolkitathena, tk
useviewing
works-withgraphs, image, image:raster, image:vector
x11application
Popcon: 2819 users (3621 upd.)*
Newer upstream!
License: DFSG free

La teoria dei grafi consente lo studio di informazioni strutturali costruendo una rappresentazione geometrica di grafi astratti e reti. La creazione automatica di grafi è un'importante applicazione in tecnologie chiave come la progettazione di database, l'ingegneria del software, VLSI e progettazione di reti e interfacce visuali in diversi domini. Situazioni in cui questi strumenti potrebbero essere utili sono:

  • desiderio di ristrutturare un programma ma con la necessità prima di capire le relazioni tra i tipi, le procedure e i file sorgenti;
  • ricerca dei colli di bottiglia in una backbone internet, non solo nei collegamenti individuali, ma anche nelle loro relazioni;
  • debug di un protocollo o di una micro-architettura rappresentata come una macchina a stati finiti in cui si deve capire come si verifichi un certo errore;
  • si desidera esplorare un database, una base di conoscenza o un programma distribuito rappresentato graficamente;
  • si desidera avere una visione d'insieme dei collegamenti tra i documenti;
  • si vogliono scoprire schemi ripetuti e interessi condivisi in un database di chiamate telefoniche e messaggi email.

Questo pacchetto contiene gli strumenti a riga di comando.

Screenshots of package graphviz
Hol-light
dimostratore di teoremi HOL Light
Versions of package hol-light
ReleaseVersionArchitectures
wheezy20120602-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
stretch20170109-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye20190729-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid20190729-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
jessie20131026-1amd64,armel,armhf,i386
Popcon: 3 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

HOL Light è un dimostratore interattivo di teoremi per logica di ordine superiore (Higher-Order Logic) con un nucleo logico molto semplice in esecuzione su un livello superiore OCaml. HOL Light è famoso per la verifica di aritmetica a virgola mobile e per il progetto Flyspeck, che aveva come obiettivo la formalizzazione della dimostrazione di Tom Hales della congettura di Keplero.

Julia
high-performance programming language for technical computing
Versions of package julia
ReleaseVersionArchitectures
sid1.4.1+dfsg-1amd64,arm64,i386
stretch0.4.7-6amd64,arm64,armhf,i386,mips64el,ppc64el
jessie0.3.2-2amd64,i386
bullseye1.4.1+dfsg-1amd64,arm64,i386
buster1.0.3+dfsg-4amd64,arm64,armhf,i386,ppc64el
upstream1.4.2
Debtags of package julia:
uitoolkitncurses
Popcon: 121 users (81 upd.)*
Newer upstream!
License: DFSG free
Git

Julia is a high-level, high-performance dynamic programming language for technical computing, with syntax that is familiar to users of other technical computing environments. It provides a sophisticated compiler, distributed parallel execution, numerical accuracy, and an extensive mathematical function library. The library, mostly written in Julia itself, also integrates mature, best-of-breed C and Fortran libraries for linear algebra, random number generation, FFTs, and string processing. Julia programs are organized around defining functions, and overloading them for different combinations of argument types (which can also be user-defined).

This package provides a complete Julia installation (JIT compiler, standard library, text-based user interface).

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

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

Screenshots of package kseg
Lcalc
programma per calcoli con funzioni L
Versions of package lcalc
ReleaseVersionArchitectures
squeeze0.0.20080205-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
sid1.23+dfsg-11amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
jessie1.23+dfsg-3amd64,armel,armhf,i386
buster1.23+dfsg-11amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
wheezy0.0.20080205-1.2amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
stretch1.23+dfsg-6amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye1.23+dfsg-11amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Debtags of package lcalc:
roleprogram
Popcon: 52 users (46 upd.)*
Versions and Archs
License: DFSG free
Git

lcalc è un programma per calcolare gli zeri e i valori di funzioni L. Le funzioni L gestite includono la funzione zeta di Riemann, la funzione L della funzione delta di Ramanujan e le funzioni L di curve ellittiche definite su razionali.

Libmatheval1
libreria GNU per valutare espressioni matematiche simboliche (runtime)
Versions of package libmatheval1
ReleaseVersionArchitectures
wheezy1.1.8-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie1.1.11+dfsg-2amd64,armel,armhf,i386
bullseye1.1.11+dfsg-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid1.1.11+dfsg-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster1.1.11+dfsg-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
squeeze1.1.7-1+nmu1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
stretch1.1.11+dfsg-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Debtags of package libmatheval1:
devellang:c, library
fieldmathematics
roledevel-lib, shared-lib
suitegnu
Popcon: 7 users (10 upd.)*
Versions and Archs
License: DFSG free
Git

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 la libreria runtime condivisa.

Lp-solve
risolutore di problemi di programmazione lineare (mista intera)
Versions of package lp-solve
ReleaseVersionArchitectures
buster5.5.0.15-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye5.5.0.15-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid5.5.0.15-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
squeeze5.5.0.13-7amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy5.5.0.13-7amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie5.5.0.13-7amd64,armel,armhf,i386
stretch5.5.0.15-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Debtags of package lp-solve:
fieldmathematics
roleprogram
scopeapplication
Popcon: 4023 users (15352 upd.)*
Versions and Archs
License: DFSG free

Il problema della programmazione lineare (LP) può essere formulato come segue: risolvere A.x >= V1, con V2.x massimale. A è una matrice, x un vettore di variabili (non negative), V1 un vettore chiamato "parte destra" e V2 è un vettore che specifica la funzione obiettivo.

Un problema di programmazione lineare intera (ILP) è un problema LP col vincolo che tutte le variabili sono intere. In un problema di programmazione lineare misto-intero (MILP) alcune variabili sono intere, altre reali.

Il programma lp_solve risolve problemi LP, ILP e MILP. È leggermente più generale di quanto suggerito poc'anzi, in quanto ogni riga di A (che specifica un vincolo) può avere la propria (dis)uguaglianza: <=, >= o =. Il risultato specifica i valori di ogni variabile.

lp_solve usa l'algoritmo del simplesso e metodi basati sulle matrici sparse per i problemi LP puri. Se una o più incognite sono dichiarate intere, l'algoritmo del simplesso viene reiterato in congiunzione con l'algoritmo branch and bound fino a trovare la soluzione ottimale desiderata. lp_solve può leggere file in formato MPS.

Lrcalc
programma per calcolare coefficienti di Littlewood-Richardson
Versions of package lrcalc
ReleaseVersionArchitectures
jessie1.2-1amd64,armel,armhf,i386
sid1.2-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye1.2-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster1.2-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch1.2-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Popcon: 12 users (5 upd.)*
Versions and Archs
License: DFSG free
Git

"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 programmi a riga di comando.

Lrslib
pacchetto per elencare vertici e raggi estremi di un poliedro convesso
Maintainer: David Bremner
Versions of package lrslib
ReleaseVersionArchitectures
wheezy0.42c-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
sid0.70-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye0.70-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster0.70-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch0.51-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie0.43-1amd64,armel,armhf,i386
squeeze0.42c-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
upstream0.70a
Debtags of package lrslib:
roleprogram
Popcon: 12 users (9 upd.)*
Newer upstream!
License: DFSG free
Git

Un poliedro convesso è l'insieme di punti che soddisfano una famiglia finita di disuguaglianze lineari. Lo studio dei vertici e dei raggi estremi di tali sistemi è utile e importante ad esempio in studi matematici e di ottimizzazione. In un'interpretazione duale, trovare i vertici di un poliedro (limitato) è equivalente a trovare l'involucro convesso (disuguaglianze limite) di un insieme di punti (di dimensioni arbitrarie). Lrs (lexicographic reverse search) ha due importanti funzionalità che possono essere molto importanti per alcune applicazioni: funziona in aritmetica esatta e consuma memoria in modo proporzionale all'input, indipendentemente da quando grande sia l'output.

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

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

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

Mathicgb
calcolo di basi di Groebner (strumento a riga di comando)
Versions of package mathicgb
ReleaseVersionArchitectures
sid1.0~git20181123-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch1.0~git20170104-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el
upstream1.0~git20200526
Popcon: 9 users (0 upd.)*
Newer upstream!
License: DFSG free
Git

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 lo strumento a riga di comando.

Please cite: Bjarke Hammersholt Roune and Michael Stillman: Practical Groebner Basis Computation. (eprint) Proceedings of the International Symposium on Symbolic and Algebraic Computation (2012)
Mathomatic
sistema di algebra al computer (CAS) portabile
Maintainer: tony mancill
Versions of package mathomatic
ReleaseVersionArchitectures
sid16.0.5-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
jessie15.8.2-2amd64,armel,armhf,i386
stretch15.8.2-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster16.0.5-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
wheezy15.8.2-2amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
bullseye16.0.5-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
squeeze15.1.1-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
Debtags of package mathomatic:
fieldmathematics
interfacetext-mode
roleprogram
scopeapplication
uitoolkitncurses
usecalculating, learning
Popcon: 39 users (14 upd.)*
Versions and Archs
License: DFSG free
Git

Mathomatic implementa la maggior parte delle regole dell'algebra per gli operatori matematici +, -, *, /, % (modulo) ed elevamenti a potenza (incluse estrazioni di radice).

Mathomatic può, con l'uso di simboli:

  • combinare e risolvere equazioni;
  • semplificare completamente e paragonare espressioni ed equazioni;
  • eseguire semplici trasformazioni e serie algebriche;
  • eseguire calcoli aritmetici standard, con numeri complessi, moduli e polinomi;
  • generare codice ottimizzato in C, Java e Python a partire da equazioni semplificate;
  • disegnare espressioni con gnuplot in due o tre dimensioni;
  • eseguire calcoli veloci, colorare espressioni, ecc.
Other screenshots of package mathomatic
VersionURL
14.5.3-1https://screenshots.debian.net/screenshots/000/002/311/large.png
Screenshots of package mathomatic
Matita
strumento per dimostrazione interattiva di teoremi
Versions of package matita
ReleaseVersionArchitectures
squeeze0.5.8-2amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
sid0.99.3-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch0.99.3-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie0.99.1-3amd64,armel,armhf,i386
wheezy0.99.1-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
Debtags of package matita:
fieldmathematics
interfacecommandline, x11
roleprogram
uitoolkitgtk
usechecking
x11application
Popcon: 11 users (2 upd.)*
Versions and Archs
License: DFSG free
Git

Matita è uno strumento grafico interattivo per la dimostrazione di teoremi basato sul calcolo delle costruzioni (co)induttive.

Screenshots of package matita
Maxima-sage
sistema di algebra computazionale -- sistema di base
Versions of package maxima-sage
ReleaseVersionArchitectures
buster5.41.0+ds-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye5.42.2-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch5.35.1-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid5.42.2-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
upstream5.43.2
Popcon: 70 users (49 upd.)*
Newer upstream!
License: DFSG free
Git

Maxima è un programma di calcolo totalmente simbolico. È completo di funzionalità poiché gestisce manipolazione simbolica di polinomi, matrici, funzioni razionali, integrali, metodi Todd-Coxeter per l'analisi dei gruppi finiti, grafici, calcoli in virgola mobile a precisione arbitraria. Comprende un debugger simbolico a livello di sorgente per il codice di maxima. Maxima è basato sull'originale Macsyma sviluppato al MIT negli anni Settanta. È piuttosto affidabile, è dotato di un buon garbage collector e non ha perdite di memoria. È fornito con centinaia di auto-test.

I pacchetti maxima-sage sono pensati per essere usati insieme a SageMath. Contengono la versione di Maxima che funziona insieme alla versione di SageMath in Debian e usano ECL invece di GCL come compilatore Lisp. Per usare Maxima da solo, è raccomandato il pacchetto maxima che è più completo e aggiornato.

Questo pacchetto contiene l'eseguibile principale e i file di sistema di base.

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

Il pacchetto MCL è un'implementazione dell'algoritmo MCL, fornisce strumenti per manipolare matrici sparse (le strutture dati essenziali dell'algoritmo MCL) e per eseguire esperimenti su cluster.

MCL viene attualmente utilizzato nelle scienze come la biologia (rilevamento di famiglie proteiche, genomica), informatica (cluster dei nodi in reti peer-to-peer) e linguistica (analisi del testo).

The package is enhanced by the following packages: zoem
Please cite: Stijn van Dongen and Cei Abreu-Goodger: Using MCL to extract clusters from networks. (PubMed,eprint) Methods Mol Biol. 804:281-95 (2012)
Registry entries: Bio.tools 
Minisat
risolutore SAT leggero e veloce
Maintainer: Michael Tautschnig
Versions of package minisat
ReleaseVersionArchitectures
buster2.2.1-5amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
wheezy2.2.1-3amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie2.2.1-5amd64,armel,armhf,i386
stretch2.2.1-5amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye2.2.1-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid2.2.1-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Debtags of package minisat:
fieldmathematics
roleprogram
Popcon: 184 users (139 upd.)*
Versions and Archs
License: DFSG free
Git

Nonostante la completezza NP del problema di soddisfacibilità delle formule booleane (SAT), i risolutori SAT sono spesso in grado di decidere questo problema in un lasso di tempo ragionevole. Siccome tutti gli altri problemi NP completi sono riducibili a SAT, i risolutori sono diventati uno strumento di uso generale per questa classe di problemi.

MiniSat è un risolutore SAT open source e minimale, sviluppato per aiutare sia i ricercatori sia gli sviluppatori a iniziare con SAT. Vincitore di tutte le categorie industriali della competizione SAT 2005, MiniSat è un buon punto di partenza per la ricerca futura su SAT e per le applicazioni che usano SAT.

Model-builder
simulatore EDO grafico
Maintainer: Varun Hiremath (Olly Betts)
Versions of package model-builder
ReleaseVersionArchitectures
jessie0.4.1-6.2all
buster0.4.1-6.2all
stretch0.4.1-6.2all
squeeze0.4.1-5all
wheezy0.4.1-6all
Debtags of package model-builder:
roleprogram
Popcon: 3 users (4 upd.)*
Versions and Archs
License: DFSG free
Svn

Model Builder è uno strumento grafico per progettare, simulare e analizzare modelli matematici costituiti da un sistema di equazioni differenziali ordinarie (EDO).

Mumps-test
binari di esempio e test che usano MUMPS
Versions of package mumps-test
ReleaseVersionArchitectures
squeeze4.9.2.dfsg-4amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
experimental5.3.1-1exp2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid5.2.1-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye5.2.1-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster5.1.2-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch4.10.0.dfsg-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie4.10.0.dfsg-3amd64,armel,armhf,i386
wheezy4.10.0.dfsg-3amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
Popcon: 6 users (11 upd.)*
Versions and Archs
License: DFSG free
Git

MUMPS implementa un risolutore diretto per sistemi lineari sparsi di grandi dimensioni, con particolare attenzione a matrici simmetriche definite positive. Può operare su matrici distribuite, ad esempio in un cluster. Ha interfacce Fortran e C e può interfacciarsi con altri strumenti di ordinamento come Scotch.

Nauty
libreria per automorfismi per grafi -- interfaccia e strumenti
Versions of package nauty
ReleaseVersionArchitectures
sid2.6r10+ds-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
squeeze2.4-2 (non-free)amd64,armel,i386,ia64,mips,mipsel,powerpc,s390,sparc
jessie2.5r9+ds-1 (non-free)amd64,i386
wheezy2.4r2-1 (non-free)amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
stretch2.6r7+ds-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster2.6r10+ds-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye2.6r10+ds-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
upstream2.7r1
Debtags of package nauty:
interfacecommandline
roleprogram
Popcon: 59 users (45 upd.)*
Newer upstream!
License: DFSG free
Git

nauty (No AUTomorphisms, Yes?) è un insieme di procedure per calcolare gruppi di automorfismi di grafi e digrafi. Questa suite di software matematico è sviluppata da Brendan McKay e Adolfo Piperno: http://pallini.di.uniroma1.it

nauty calcola informazioni sui grafi nella forma di un insieme di generatori, la dimensione e le orbite del gruppo; può anche produrre un'etichetta canonica. La suite nauty è scritta in C e viene fornita con un'interfaccia a riga di comando, una raccolta di strumenti a riga di comando e un'API (Application Programming Interface).

Questo pacchetto fornisce l'interfaccia di nauty chiamata dreadnaut e una piccola raccolta di utilità chiamate gtools.

The package is enhanced by the following packages: nauty-doc
Netgen
generatore automatico di mesh 3d tetraedriche
Versions of package netgen
ReleaseVersionArchitectures
sid6.2.1804+dfsg1-3.1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye6.2.1804+dfsg1-3.1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster6.2.1804+dfsg1-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
squeeze4.9.12.dfsg-3amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
upstream6.2.2004
Debtags of package netgen:
roleprogram
Popcon: 19 users (34 upd.)*
Newer upstream!
License: DFSG free
Git

NETGEN è un generatore automatico di mesh 3d tetraedriche. Accetta input CSG (geometria solida costruttiva) o BRep (rappresentazione del contorno) da file in formato STL. NETGEN contiene moduli per l'ottimizzazione e il raffinamento gerarchico delle mesh.

Screenshots of package netgen
Normaliz
strumenti di calcolo matematico per monoidi affini, politopi e coni razionali
Versions of package normaliz
ReleaseVersionArchitectures
stretch3.1.1+ds-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster3.6.3+ds-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye3.8.3+ds-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid3.8.3+ds-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
upstream3.8.4
Popcon: 0 users (0 upd.)*
Newer upstream!
License: DFSG free
Git

Normaliz è uno strumento matematico per i calcoli in monoidi affini, configurazioni di vettori, reticoli di politopi e coni razionali.

Questo pacchetto fittizio fornisce l'installazione standard.

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

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

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

The package is enhanced by the following packages: liboctave-dev octave-doc texmacs
Please cite: John W. Eaton, David Bateman, Søren Hauberg and Rik Wehbring: GNU Octave version 4.2.0 manual: a high-level interactive language for numerical computations. (2016)
Registry entries: SciCrunch 
Palp
pacchetto per analizzare politopi di reticoli
Versions of package palp
ReleaseVersionArchitectures
buster2.1-5amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch2.1-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid2.11-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye2.11-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
wheezy1.1-1.2amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
squeeze1.1-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
jessie2.1-2amd64,armel,armhf,i386
Debtags of package palp:
roleprogram
useanalysing
Popcon: 57 users (92 upd.)*
Versions and Archs
License: DFSG free
Git

Questo pacchetto contiene vari strumenti per lavorare con politopi di reticoli:

  • mori.x calcola triangolazioni a stella di un politopo;
  • cws.x crea sistemi di pesi e sistemi di pesi combinati;
  • class.x classifica politopi riflessivi;
  • poly.x calcola dati di un politopo;
  • nef.x calcola numeri Hodge di partizioni nef.
Please cite: Maximilian Kreuzer and Harald Skarke: PALP: A Package for Analyzing Lattice Polytopes with Applications to Toric Geometry. Computer Physics Communications 157:87-106 (2004)
Screenshots of package palp
Pari-extra
sistema di calcolo algebrico PARI/GP, file dati aggiuntivi
Maintainer: Bill Allombert
Versions of package pari-extra
ReleaseVersionArchitectures
wheezy3-1all
squeeze2.1-1all
Debtags of package pari-extra:
fieldmathematics
roleapp-data, documentation
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free

PARI/GP è un sistema di calcolo algebrico molto usato e progettato per fare velocemente calcoli relativi alla teoria dei numeri (fattorizzazioni, teoria dei numeri algebrica, curve ellittiche, ...), ma contiene anche un gran numero di altre utili funzioni per fare calcoli con entità matematiche quali matrici, polinomi, serie di potenze, numeri algebrici, ecc., e molte funzioni trascendenti. PARI è disponibile anche come libreria C per fare calcoli ancora più velocemente.

Originalmente era sviluppato da Henri Cohen e dai suoi colleghi (Università Bordeaux I, Francia), adesso PARI è sotto GPL ed è manutenuto da Karim Belabas con l'aiuto di molti volontari.

Questo è un pacchetto fittizio che dipende da:

 pari-galdata: i risolutori di Galois per la funzione polgalois;
 pari-elldata: il database di curve ellittiche per la funzione ellsearch;
 pari-seadata: i polinomi modulari per la funzione ellap.
Può essere rimosso senza problemi dopo l'aggiornamento.
Pari-gp
sistema di calcolo algebrico PARI/GP eseguibili
Maintainer: Bill Allombert
Versions of package pari-gp
ReleaseVersionArchitectures
sid2.11.4-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster2.11.1-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch2.9.1-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie2.7.2-1amd64,armel,armhf,i386
wheezy2.5.1-2amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
squeeze2.3.5-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
bullseye2.11.4-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Debtags of package pari-gp:
fieldmathematics
roledocumentation
uitoolkitncurses
Popcon: 101 users (80 upd.)*
Versions and Archs
License: DFSG free

PARI/GP è un sistema di calcolo algebrico molto usato e progettato per fare velocemente calcoli relativi alla teoria dei numeri (fattorizzazioni, teoria dei numeri algebrica, curve ellittiche, ...), ma contiene anche un gran numero di altre utili funzioni per fare calcoli con entità matematiche quali matrici, polinomi, serie di potenze, numeri algebrici, ecc., e molte funzioni trascendenti. PARI è disponibile anche come libreria C per fare calcoli ancora più velocemente.

Originalmente era sviluppato da Henri Cohen e dai suoi colleghi (Università Bordeaux I, Francia), adesso PARI è sotto GPL ed è manutenuto da Karim Belabas con l'aiuto di molti volontari.

Questo pacchetto contiene la calcolatrice GP.

The package is enhanced by the following packages: texmacs
Planarity
programma per algoritmi relativi alla planarità dei grafi
Versions of package planarity
ReleaseVersionArchitectures
sid3.0.0.5-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch3.0.0.5-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster3.0.0.5-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye3.0.0.5-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 10 users (20 upd.)*
Versions and Archs
License: DFSG free
Git

Questo pacchetto contiene un'implementazione di riferimento a riga di comando dell'Edge Addition Planarity Algorithm, che è il miglior metodo in tempo lineare per incorporare un grafo planare e isolare le ostruzioni alla planarità.

Polylib-utils
vari strumenti che usano libpolylib
Versions of package polylib-utils
ReleaseVersionArchitectures
buster5.22.5-4+dfsgamd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch5.22.5-3+dfsgamd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
squeeze5.22.5-1+dfsgamd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
jessie5.22.5-3+dfsgamd64,armel,armhf,i386
sid5.22.5-4+dfsgamd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
wheezy5.22.5-3+dfsgamd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
bullseye5.22.5-4+dfsgamd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Debtags of package polylib-utils:
roleprogram
Popcon: 13 users (8 upd.)*
Versions and Archs
License: DFSG free
Git

Polylib è una libreria C libera per effettuare calcoli su poliedri. La libreria è usata su oggetti come vettori, matrici, reticoli, poliedri, Z-poliedri, unioni di poliedri e altre strutture intermedie. Fornisce funzioni per tutte le operazioni importanti su queste strutture.

Questo pacchetto contiene diverse utilità per effettuare operazioni poliedriche.

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

Proof General è una modalità principale che trasforma Emacs in un assistente interattivo alla dimostrazione per scrivere dimostrazioni matematiche formali usando diversi dimostratori di teoremi.

Questo pacchetto fornisce a Proof General la gestione per Coq. (Non c'è nessun altro assistente alla dimostrazione che si possa sensatamente supportare.)

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

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

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

Prover9
strumento per dimostrazione di teoremi e generazione di contromodelli
Versions of package prover9
ReleaseVersionArchitectures
jessie0.0.200911a-2.1amd64,armel,armhf,i386
squeeze0.0.200902a-2amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy0.0.200902a-2.1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
stretch0.0.200911a-2.1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster0.0.200911a-2.1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Popcon: 29 users (11 upd.)*
Versions and Archs
License: DFSG free
Bzr

Questo pacchetto fornisce lo strumento di dimostrazione con risoluzione/paramodulazione di teoremi Prover9 e il generatore di contromodelli Mace4.

Prover9 è uno strumento automatico per la dimostrazione di teoremi del primo ordine e di logica equazionale. È un successore del dimostratore Otter. Prover9 usa le tecniche di inferenza di risoluzioni ordinate e la paramodulazione con selezione di letterali.

Il programma Mace4 cerca strutture finite che soddisfino le dichiarazioni di primo ordine e delle equazioni, lo stesso tipo di dichiarazioni che accetta Prover9. Se la dichiarazione è la negazione di una qualche congettura, qualsiasi struttura trovata da Mace4 è un controesempio per la congettura.

Mace4 può essere un complemento di gran valore per Prover9 che cerca controesempi prima (o nello stesso momento) dell'utilizzo di Prover9 per cercare una dimostrazione. Può anche essere usato per aiutare a fare il debug delle clausole in input e delle formule per Prover9.

Pyomo
PYthon Optimization Modeling Objects
Maintainer: Daniel Stender
Versions of package pyomo
ReleaseVersionArchitectures
stretch4.3.11388+git20160622.d3e3f0a-1all
Popcon: 161 users (0 upd.)*
Versions and Archs
License: DFSG free
Svn

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

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

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

Registry entries: Bioconda 
Python3-deap
algoritmi evolutivi distribuiti in Python3
Versions of package python3-deap
ReleaseVersionArchitectures
jessie1.0.1-3+deb8u1all
bullseye1.3.1-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid1.3.1-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch1.0.2.post2-2all
buster1.0.2.post2-6all
Popcon: 51 users (24 upd.)*
Versions and Archs
License: DFSG free
Git

DEAP (Distributed Evolutionary Algorithms in Python) è un'infrastruttura innovativa di calcolo evolutivo per prototipizzare e testare velocemente idee. Mira a rendere espliciti gli algoritmi e trasparenti le strutture dati. Funziona in perfetta armonia con meccanismi di parallelizzazione come il multiprocessing e SCOOP.

Questo pacchetto contiene i moduli per Python3.

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

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

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

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

Python3-ffc
compiler for finite element variational forms (Python 3)
Versions of package python3-ffc
ReleaseVersionArchitectures
buster2018.1.0-5all
sid2019.2.0~git20200123.6b621eb-2all
bullseye2019.2.0~git20200123.6b621eb-2all
Popcon: 27 users (31 upd.)*
Versions and Archs
License: DFSG free
Git

The FEniCS Form Compiler FFC provides state-of-the-art automatic and efficient evaluation of general multilinear forms (variational formulations) for FEniCS. FFC functions as the form evaluation system for DOLFIN but can also be used to compile forms for other systems.

FFC works as a compiler for multilinear forms by generating code (C or C++) for the evaluation of a multilinear form given in mathematical notation. This new approach to form evaluation makes it possible to combine generality with efficiency; the form can be given in mathematical notation and the generated code is as efficient as hand-optimized code.

This package installs the legacy FFC library for Python 3.

You may want to consider installing python3-ffcx instead to get the next-generation FFC-X.

Python3-minieigen
wrapper per parti della libreria Eigen (Python 3)
Versions of package python3-minieigen
ReleaseVersionArchitectures
bullseye0.50.3+dfsg1-12amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster0.50.3+dfsg1-8amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid0.50.3+dfsg1-12amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch0.50.3+dfsg1-5amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Popcon: 40 users (4 upd.)*
Versions and Archs
License: DFSG free
Git

Piccolo wrapper per le parti principali di Eigen, la libreria C++ per l'algebra lineare È utile principalmente per ispezionare codice C++ che utilizza già Eigen e boost::python. I tipi gestiti sono Vectors (a 2, 3, 6 dimensioni e con dimensioni dinamiche, con valori interi e in virgola mobile), Matrices (3x3, 6x6, e a dimensioni dinamiche con valori in virgola mobile) e Quaternions. Il wrapper contiene numerosi metodi e viene seguita l'API originale di Eigen.

Questa è la versione per Python 3 del pacchetto.

Python3-openturns
interfaccia Python 3 per OpenTURNS (alias TUI)
Versions of package python3-openturns
ReleaseVersionArchitectures
experimental1.11-2amd64,arm64,i386,mips64el,ppc64el,s390x
sid1.14-1amd64,armel,armhf,mips64el
sid1.10-5arm64,i386,ppc64el,s390x
stretch1.7-3amd64,arm64,armel,armhf,i386,mips64el,ppc64el,s390x
Popcon: 3 users (3 upd.)*
Versions and Archs
License: DFSG free
Git

OpenTURNS è uno strumento potente e universale per trattare e quantificare incertezze in simulazioni numeriche per progettazione, ottimizzazione e controllo. Permette studi analitici sia di sensibilità sia di affidabilità:

  • definire l'output di interesse e i criteri di decisione;
  • quantificare e creare modelli per la fonte di incertezza;
  • propagare incertezze o analizzare la sensibilità e
  • classificare le fonti di incertezza.

È pensato per utenti che sono ingegneri che desiderano introdurre la dimensione probabilistica nei loro studi fino ad ora deterministici.

Questo pacchetto fornisce i collegamenti Python 3 per la libreria.

Python3-sagenb-export
converte notebook SageNB (Python 3)
Versions of package python3-sagenb-export
ReleaseVersionArchitectures
stretch2.0-2all
bullseye3.2-4all
buster3.2-3all
sid3.2-4all
Popcon: 10 users (15 upd.)*
Versions and Archs
License: DFSG free
Git

Questo è uno strumento per convertire notebook di SageNB in altri formati, in particolare notebook IPython/Jupyter.

Questo pacchetto installa la libreria per Python 3.

Python3-ufl
linguaggio unificato per compilatori di forme (Python 3)
Versions of package python3-ufl
ReleaseVersionArchitectures
bullseye2019.2.0~git20200129.4516a6d-1all
stretch2016.2.0-2all
buster2018.1.0-5all
sid2019.2.0~git20200129.4516a6d-1all
Popcon: 28 users (35 upd.)*
Versions and Archs
License: DFSG free
Git

UFL (Unified Form Language) è un linguaggio unificato per la definizione di forme delle variazioni intese per la discretizzazione di elementi finiti. Più precisamente, definisce un'interfaccia fissa per scegliere spazi di elementi finiti e definire espressioni per forme deboli in una notazione vicina alla notazione matematica. I compilatori di forme FFC e SyFi usano UFL come loro interfaccia per l'utente finale, producendo implementazioni UFC come loro output.

Questo pacchetto installa la libreria per Python 3.

Qhull-bin
calcolo di inviluppi convessi e strutture correlate (utilità)
Versions of package qhull-bin
ReleaseVersionArchitectures
bullseye2019.1-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch2015.2-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie2012.1-5amd64,armel,armhf,i386
wheezy2009.1-3amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
squeeze2009.1-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
buster2015.2-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid2019.1-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Debtags of package qhull-bin:
fieldmathematics
roleprogram
scopeutility
Popcon: 264 users (506 upd.)*
Versions and Archs
License: DFSG free
Git

Qhull calcola inviluppi convessi, triangolazioni di Delaunay, intersezioni di semispazi attorno a un punto, diagrammi di Voronoi, triangolazioni di Delaunay furthest-site e diagrammi di Voronoi furthest-site. Funziona in 2, 3, 4 e più dimensioni.

Questo pacchetto contiene l'eseguibile qhull che fornisce un'interfaccia a pipe ad alcune funzionalità della libreria. Contiene anche rbox, un utile strumento per generare l'input per Qhull; genera ipercubi, diamanti, coni, cerchi, simplessi, spirali, reticoli e punti casuali.

Qhull produce output grafico per Geomview. Questo aiuta a capire i risultati prodotti (http://www.geomview.org).

Qsopt-ex
risolutore esatto per programmazione lineare
Versions of package qsopt-ex
ReleaseVersionArchitectures
stretch2.5.10.3-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster2.5.10.3-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid2.5.10.3-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye2.5.10.3-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 14 users (10 upd.)*
Versions and Archs
License: DFSG free
Git

QSopt-ex è una implementazione di un algoritmo basato sul simplesso, che restituisce soluzioni razionali esatte sfruttando la velocità dei calcoli in virgola mobile e tentando di minimizzare le operazioni eseguite in aritmetica razionale.

Questo pacchetto contiene le utilità a riga di comando.

Please cite: David L Applegate, William Cook, Sanjeeb Dash and Daniel G Espinoza: Exact solutions to linear programming problems. Operations Research Letters 35(6):693-699 (2007)
Regina-normal
software matematico per topologia in bassa dimensione
Maintainer: Ben Burton
Versions of package regina-normal
ReleaseVersionArchitectures
wheezy4.93-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
stretch5.1-1amd64,arm64,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster5.1-6amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid5.1-6amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
squeeze4.6-1.1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
jessie4.96-2amd64,armel,armhf,i386
Debtags of package regina-normal:
fieldmathematics
interfacecommandline, x11
roleprogram
scopeutility
suitekde
uitoolkitqt
x11application
Popcon: 20 users (7 upd.)*
Versions and Archs
License: DFSG free

Regina è un pacchetto software per chi studia la topologia delle 3-varietà e delle 4-varietà, con attenzione particolare a triangolazioni, superfici normali e strutture angolari.

Per le 3-varietà include compiti di alto livello, come riconoscimento di 3-sfere, decomposizione in somma connessa e test di Hakenness; viene fornito con un ricco database di censimenti delle varietà e incorpora il kernel SnapPea per lavorare con varietà iperboliche. Per le 4-varietà, offre una gamma di strumenti combinatori ed algebrici, più la gestione di ipersuperfici normali.

Regina è fornito con un'interfaccia grafica completa e offre anche collegamenti Python e un'interfaccia di programmazione C++ a basso livello.

Questo pacchetto include l'interfaccia utente grafica e l'interfaccia Python a riga di comando. Il manuale per l'utente e la documentazione dell'API sono nel pacchetto separato regina-normal-doc; le utilità con MPI abilitato per cluster ad alte prestazioni sono nel pacchetto separato regina-normal-mpi.

Rheolef
ambiente efficiente per elementi finiti
Versions of package rheolef
ReleaseVersionArchitectures
sid7.1-1amd64,arm64,i386,ppc64el,s390x
wheezy6.1-2.1amd64,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie6.5-1amd64,i386
stretch6.7-1amd64,i386,mips,mipsel,ppc64el
buster7.0-2amd64,arm64,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye7.1-1amd64,arm64,i386,ppc64el,s390x
Debtags of package rheolef:
fieldmathematics
roleprogram
Popcon: 11 users (7 upd.)*
Versions and Archs
License: DFSG free
Git

Rheolef è un ambiente per computer che funziona da comodo laboratorio per calcoli di matematica applicata che comportano metodi in stile elementi finiti. Fornisce un insieme di comandi e contenitori e algoritmi C++.

In maggior dettaglio, i contenitori coprono prima la classica struttura di dati a grafo per formati di matrici sparse e reticoli di elementi finiti. Ad un livello più elevato di astrazione, possono gestire spazi a elementi finiti approssimati, campi discreti. Per specificare forme bilineari vengono usate espressioni flessibili e potenti.

Attualmente le applicazioni includono:

  • ambiente ad elementi finiti per memoria distribuita in modo massivo, basato su MPI;
  • problemi Stokes e Navier-Stokes, elasticità, in 2D e 3D;
  • applicazioni su fluidi complesse: viscoplasticità, viscoelasticità, velocità di scorrimento a parete;
  • problemi non lineari con metodi con continuazione, Newton e a punto fisso;
  • approcci con reticoli autoadattivi;
  • problemi con simmetria assiale;
  • problemi multi-regioni e con coefficienti variabili.

Questo pacchetto fornisce i comandi rheolef. Questi gestiscono input e output in diversi formati di file per generatori di reticoli e sistemi di visualizzazione di dati numerici come paraview e gnuplot.

Other screenshots of package rheolef
VersionURL
https://screenshots.debian.net/screenshots/000/008/710/large.png
Screenshots of package rheolef
Rubiks
piccola raccolta di risolutori del cubo di Rubik
Versions of package rubiks
ReleaseVersionArchitectures
stretch20070912-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid20070912-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye20070912-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster20070912-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Popcon: 53 users (48 upd.)*
Versions and Archs
License: DFSG free
Git

Questo pacchetto contiene diversi strumenti per risolvere il cubo di Rubik, utili sia direttamente dalla riga di comando sia attraverso sagemath.

"optimal" di Michael Reid utilizza tavole pre-calcolate per trovare una soluzione ottimale al cubo di Rubik 3x3x3.

"dikcube" di Dik T.Winter utilizza l'algoritmo di Kociemba per trovare iterativamente una soluzione breve al cubo 3x3x3.

"cubex" di Eric Dietz ha un veloce risolutore non ottimale per il cubo 3x3x3.

Sagemath
software matematico open source
Versions of package sagemath
ReleaseVersionArchitectures
sid9.0-4amd64,arm64,i386,ppc64el,s390x
buster8.6-6amd64,arm64,armhf,i386,ppc64el
stretch7.4-9amd64,i386
bullseye9.0-4amd64,arm64,i386,ppc64el,s390x
upstream9.1
Popcon: 53 users (60 upd.)*
Newer upstream!
License: DFSG free
Git

SageMath è un sistema di software matematico libero e open source con licenza GPL. È stato costruito su molti pacchetti open source esistenti: NumPy, SciPy, matplotlib, Sympy, Maxima, GAP, FLINT, R e molti altri. Accede alla loro potenza combinata tramite un linguaggio comune basato su Python o direttamente attraverso interfacce o wrapper.

Missione: creare un'alternativa praticabile libera e open source a Magma, Maple, Mathematica e Matlab.

Questo pacchetto contiene l'installazione principale di SageMath.

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

Questo pacchetto contiene un piccolo database di polinomi di Conway, per numeri primi fino a 109987 e un numero vario di esponenti.

Fa parte della suite software sagemath.

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

Questo pacchetto contiene di fatto due database:

  • il sottoinsieme del database di John Cremona di curve ellittiche fino ad un conduttore al massimo di 10.000;
  • il database di William Stein di curve ellittiche interessanti.

Fa parte della suite software sagemath.

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

Questo pacchetto contiene un database di grafi creato da Emily Kirkman e basato sul lavoro di Jason Grout. Contiene inoltre il database di grafi ISGCI.

Fa parte della suite software sagemath.

Sagemath-database-mutually-combinatorial-designs
database di disegni combinatori
Versions of package sagemath-database-mutually-combinatorial-designs
ReleaseVersionArchitectures
bullseye20140630-5all
sid20140630-5all
buster20140630-3all
stretch20140630-2all
jessie20140630-1all
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

Questo pacchetto contiene un database di quadrati latini mutualmente ortogonali, come si trovano nella seconda edizione di "Handbook of Combinatorial Designs".

Fa parte della suite software sagemath.

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

Questo pacchetto contiene un database di politopi riflessivi a 2 e 3 dimensioni.

Fa parte della suite software sagemath.

Science-statistics
pacchetti Debian Science per la statistica
Versions of package science-statistics
ReleaseVersionArchitectures
wheezy1.0all
buster1.10all
stretch1.7all
bullseye1.13all
squeeze0.12all
jessie1.4all
sid1.13all
Debtags of package science-statistics:
rolemetapackage
suitedebian
Popcon: 15 users (9 upd.)*
Versions and Archs
License: DFSG free
Git

Questo metapacchetto fa parte del Debian Pure Blend "Debian Science" e installa pacchetti relativi alla statistica. Questa è un'attività generica che può essere utile per qualsiasi lavoro scientifico. Dipende da moltissimi pacchetti R, oltre che da alcuni altri strumenti che sono utili per fare statistiche. Inoltre è suggerita l'attività Debian Science per la matematica per installare, in modo opzionale, tutto il software relativo alla matematica.

Scilab
pacchetto software scientifico per calcoli numerici
Versions of package scilab
ReleaseVersionArchitectures
sid6.1.0+dfsg1-3all
jessie5.5.1-7all
buster6.0.1-10+deb10u1all
wheezy5.3.3-10all
stretch5.5.2-4all
squeeze5.2.2-9all
bullseye6.1.0+dfsg1-3all
Debtags of package scilab:
fieldelectronics, mathematics, physics, statistics
interfacex11
roleprogram
scopeutility
uitoolkittk
useanalysing, learning
works-withimage
x11application
Popcon: 133 users (352 upd.)*
Versions and Archs
License: DFSG free
Git

Scilab è un pacchetto software scientifico basato su matrici. Scilab contiene centinaia di funzioni matematiche incorporate, ricche strutture di dati (inclusi polinomi, razionali, sistemi lineari, elenchi, ecc.) e viene fornito con diversi toolbox specifici per controlli, elaborazione di segnali, ...

Questo pacchetto fornisce anche Xcos, un editor grafico per progettare modelli di sistemi ibrido-dinamici. I modelli possono essere progettati, caricati, salvati, compilati e simulati. Soluzione stabile ed efficiente per necessità industriali e accademiche, Xcos fornisce funzionalità per la modellazione di sistemi meccanici (automobilistici, aeronautici, ...), circuiti idraulici (dighe, modelli di tubazioni, ...), sistemi di controllo, ecc. Sono anche fornite funzionalità di Modelica.

Installare il pacchetto "scilab-cli" per avere una versione minima di scilab.

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

Questo modulo implementa funzionalità per reti neurali artificiali nel linguaggio Scilab. Le caratteristiche attuali sono:

  • attualmente sono gestite direttamente solo le reti neurali feedforward (per le altre si usino gli "hooks" forniti);
  • numero illimitato di strati;
  • numero illimitato di neuroni per ogni strato separatamente;
  • funzione di attivazione definita dall'utente (logistica in modo predefinito);
  • funzione di errore definita dall'utente (SSE in modo predefinito);
  • algoritmi implementati fino ad ora:
  • standard (vanilla) con o senza bias, on-line o batch;
  • momento con o senza bias, on-line o batch;
  • SuperSAB con o senza bias, on-line o batch;
  • gradienti coniugati;
  • calcolo dello jacobiano;
  • calcolo del risultato della moltiplicazione del "vettore" per la matrice hessiana;
  • alcune funzioni ausiliarie.
Scilab-scimax
Symbolic computations for Scilab based on Maxima
Versions of package scilab-scimax
ReleaseVersionArchitectures
squeeze2.1.1-1amd64,armel,i386,ia64,mipsel,powerpc,s390,sparc
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Svn

This toolbox is providing symbolic capabilities with the Scilab languages.

It is based on Maxima which is a fully symbolic computation program. It is full featured doing symbolic manipulation of polynomials, matrices, rational functions, integration, Todd-coxeter methods for finite group analysis, graphing, multiple precision floating point computation.

Scotch
programmi e librerie per partizionamento di grafi, mesh e ipergrafi
Versions of package scotch
ReleaseVersionArchitectures
squeeze5.1.8a.dfsg-2amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy5.1.12b.dfsg-1.2amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
bullseye6.0.9-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid6.0.9-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster6.0.6-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch5.1.12b.dfsg-2.1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie5.1.12b.dfsg-2amd64,armel,armhf,i386
Debtags of package scotch:
roleprogram
Popcon: 16 users (8 upd.)*
Versions and Archs
License: DFSG free
Git

Il suo scopo è quello di applicare la teoria dei grafi, con un approccio dividi e conquista, ai problemi di calcolo scientifico come partizionamenti di grafi e mesh, mappatura statica e ordinamento di matrici sparse, in domini di applicazioni che vanno dalla meccanica delle strutture ai sistemi operativi o alla biochimica.

La distribuzione SCOTCH è un insieme di programmi e librerie che implementano algoritmi di mappatura statica e ordinamento di matrici sparse sviluppati all'interno del progetto SCOTCH.

SCOTCH ha diverse funzionalità interessanti:

° Le sue capacità possono essere usate attraverso un insieme di programmi

  indipendenti, ma anche tramite la libreria libSCOTCH, che offre
  interfacce C e Fortran.

° Fornisce algoritmi per partizionare strutture di grafi, come anche

  strutture di mesh definite come grafi bipartiti di nodi-elemento
  e che possono anche rappresentare ipergrafi.

° Può mappare qualsiasi grafo sorgente pesato in qualsiasi grafo di

  destinazione pesato. I grafi sorgente e di destinazione possono avere
  qualsiasi topologia e i loro vertici e spigoli possono essere pesati.
  Inoltre entrambi i grafi sorgente e di destinazione possono essere
  disconnessi. Questa  funzionalità permette di mappare programmi in
  sottoparti disconnesse di una architettura parallela fatta da processori
  e collegamenti di comunicazione eterogenei.

° Elabora ordinamenti di blocchi amalgamati di matrici sparse, per la

  soluzione efficiente tramite procedure BLAS.

° Il suo tempo di esecuzione per le elaborazioni della mappatura è lineare

  rispetto al numero di spigoli del grafo sorgente e logaritmico rispetto
  al numero dei vertici del grafo di destinazione.

° Può gestire indifferentemente strutture di dati per grafi e mesh

  creati da programmi C o Fortran, con indici di vettori che iniziano da
  0 o 1.

° Offre una gestione estesa per grafi e mesh adattivi, tramite la

  gestione di vettori per spigoli scomposti.

° È parametrizzabile dinamicamente grazie alle stringhe strategiche che

  sono interpretate durante l'esecuzione.

° Utilizza efficientemente la memoria di sistema per elaborare grafi e

  mesh di grandi dimensioni senza incorrere in errori di out-of-memory.

° È altamente modulare e documentato. Dato che è stato rilasciato sotto la

  licenza di software libero CeCILL-C, può essere usato come banco di prova
  per uno sviluppo e test facile e veloce per nuovi metodi di
  partizionamento e ordinamento.

° Può essere facilmente interfacciato ad altri programmi. I programmi che

  fanno parte del progetto SCOTCH sono stati progettati per essere essere
  eseguiti nella modalità a riga di comando senza nessuna attività
  interattiva, in modo da poter essere chiamati semplicemente da altri
  programmi tramite chiamate system() o popen(), o messi in pipe tra di
  loro su una sola riga di comando. Inoltre, la possibilità di
  etichettatura dei vertici permette una loro facile rinumerazione.

° Fornisce diversi strumenti per creare, controllare e visualizzare

  schemi di grafi, mesh e matrici.

° È scritto in C e utilizza l'interfaccia POSIX, che lo rende altamente

  portabile. PT-SCOTCH utilizza l'interfaccia MPI e opzionalmente i thread
  POSIX.
Screenshots of package scotch
Singular
CAS per calcoli polinomiali
Versions of package singular
ReleaseVersionArchitectures
buster4.1.1-p2+ds-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye4.1.1-p2+ds-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid4.1.1-p2+ds-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch4.0.3-p3+ds-5amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
experimental4.1.2-p1+ds-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
squeeze3-0-4-3.dfsg-3.1amd64,armel,i386,ia64,mips,mipsel,powerpc,s390,sparc
upstream4.1.3-p2
Debtags of package singular:
fieldmathematics
roleprogram
uitoolkitncurses
Popcon: 1 users (3 upd.)*
Newer upstream!
License: DFSG free
Git

SINGULAR è un CAS (Computer Algebra System, sistema di algebra computazionale) per calcoli polinomiali con particolare attenzione alle necessità dell'algebra commutativa, della geometria algebrica e della teoria delle singolarità.

Questo pacchetto fittizio fornisce l'installazione standard.

Snappea
programma per creare e studiare 3-varietà iperboliche
Versions of package snappea
ReleaseVersionArchitectures
jessie3.0d3-23amd64,armel,armhf,i386
buster3.0d3-24amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
wheezy3.0d3-22amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
squeeze3.0d3-20.1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
stretch3.0d3-24amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Debtags of package snappea:
devellang:python
fieldmathematics
interfacex11
uitoolkittk
x11application
Popcon: 15 users (6 upd.)*
Versions and Archs
License: DFSG free

SnapPea è lo strumento di calcolo di Jeff Weeks per i matematici che lavorano nel campo della topologia della dimensione bassa. È usato per creare e studiare 3-varietà iperboliche ed è accessibile via script Python, così come attraverso una tradizionale interfaccia utente grafica.

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

Surf is a script driven tool to visualize some real algebraic geometry: plane algebraic curves, algebraic surfaces and hyperplane sections of surfaces.

The algorithms should be stable enough not to be confused by curve/surface singularities in codimension greater than one and the degree of the surface or curve. This has been achieved quite a bit. Curves of degree up to 30 and surfaces of degree up to 20 have been drawn successfully. However, there are examples of curves/surfaces of lower degree where surf fails to produce perfect images. This happens especially if the equation of the curve/surface is not reduced. Best results are achieved using reduced equations. On the other hand, surf displays the Fermat-curves accurately for degree up to 98.

Surf is free software distributed under the GNU General Public License (GPL).

This dummy package is meant to allow multi-variant support for surf.

Sympow
programma matematico per funzioni L a curve ellittiche con potenze simmetriche - programma
Versions of package sympow
ReleaseVersionArchitectures
squeeze1.019-4amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy1.019-4amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
jessie1.019-4amd64,armel,armhf,i386
stretch1.023-8amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster2.023.5-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye2.023.6-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid2.023.6-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Debtags of package sympow:
roleprogram
Popcon: 50 users (55 upd.)*
Versions and Archs
License: DFSG free
Git

SYMPOW è un programma matematico per calcolare valori speciali delle funzioni L a curve ellittiche con potenze simmetriche (SYMmetric POWer); può calcolare fino a circa 64 cifre di precisione.

Questo pacchetto fornisce il programma SYMPOW stesso.

Tachyon
strumento autonomo di ray tracing in parallelo/multiprocessore - metapacchetto
Versions of package tachyon
ReleaseVersionArchitectures
jessie0.99~b2+dfsg-0.4amd64,armel,armhf,i386
bullseye0.99~b6+dsx-9all
buster0.99~b6+dsx-9all
stretch0.99~b6+dsx-8all
wheezy0.99~b2+dfsg-0.4amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
squeeze0.98~beta.dfsg-1amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
sid0.99~b6+dsx-9all
Debtags of package tachyon:
roleprogram
works-with3dmodel
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

Tachyon è un sistema di ray tracing in parallelo, portabile e ad alte prestazioni, che supporta implementazioni MPI e multi-thread. Tachyon è compilato come libreria C richiamabile che può essere usata all'interno di applicazioni.

Tachyon implementa tutte le primitive geometriche di base, come triangoli, piani, sfere, cilindri, ecc. Alcuni degli obiettivi nello sviluppo di Tachyon erano di renderlo veloce e di far sì che lavorasse bene in parallelo. Questo è ciò che lo distingue da programmi più ricchi di funzionalità come POV-Ray, Rayshade e altri. Tachyon supporta abbastanza funzionalità da essere un'alternativa eccellente per programmi più lenti per compiti di animazione e visualizzazione scientifica complessi.

Questo metapacchetto permette la gestione di più varianti per gli strumenti costruiti sopra a Tachyon.

Tetgen
generatore di mesh tetraedriche di qualità
Versions of package tetgen
ReleaseVersionArchitectures
sid1.5.0-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
wheezy1.4.3-1 (non-free)amd64,i386
buster1.5.0-5amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye1.5.0-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
jessie1.5.0-3amd64,armel,armhf,i386
stretch1.5.0-4amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
squeeze1.4.2-3 (non-free)i386
Debtags of package tetgen:
roleprogram
Popcon: 15 users (10 upd.)*
Versions and Archs
License: DFSG free
Git

TetGen genera la triangolazione 3D di Delaunay, diagramma di Voronoi e guscio convesso per insiemi di punti in tre dimensioni, genera le triangolazioni 3D di Delaunay con vincoli e griglie tetraedriche di qualità per domini in tre dimensioni con bordi lineari a tratti.

Toulbar2
ottimizzazione combinatoriale esatta per modelli grafici
Versions of package toulbar2
ReleaseVersionArchitectures
buster1.0.0+dfsg3-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
bullseye1.0.0+dfsg3-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid1.0.0+dfsg3-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 11 users (10 upd.)*
Versions and Archs
License: DFSG free
Git

Toulbar2 è uno strumento per ottimizzazione discreta esatta per modelli grafici come reti di funzioni di costo, campi casuali di Markov, problemi di soddisfazione di vincoli pesati e reti bayesiane.

Wxmaxima
GUI per il sistema di algebra computazionale Maxima
Versions of package wxmaxima
ReleaseVersionArchitectures
bullseye19.07.0-1.1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
jessie13.04.2-4+deb8u1amd64,armel,armhf,i386
sid19.07.0-1.1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster19.01.2-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch16.04.2-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
squeeze0.8.5-2amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
wheezy12.04.0-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
upstream20.04.0
Debtags of package wxmaxima:
fieldmathematics
interfacex11
roleprogram
scopeapplication
uitoolkitwxwidgets
x11application
Popcon: 188 users (61 upd.)*
Newer upstream!
License: DFSG free
Git

wxMaxima è un'interfaccia utente grafica per il sistema di algebra computazionale Maxima. Facilita l'uso di Maxima rendendo disponibile la maggior parte dei suoi comandi attraverso un sistema di menu e fornendo dialoghi di input per i comandi che richiedono più di un argomento. Implementa anche un proprio motore di visualizzazione che visualizza direttamente i simboli matematici invece di disegnarli con caratteri ASCII.

wxMaxima ha inoltre grafici in-linea 2D e 3D, semplici animazioni, uso congiunto di testo e calcoli matematici per creare documenti, esportazione di input e output in TeX e un navigatore per il manuale di Maxima compreso l'indice dei comandi e con ricerca in tutto il testo.

Xcas
sistema di algebra al computer - calcolatrice grafica e per console
Versions of package xcas
ReleaseVersionArchitectures
bullseye1.5.0.87+dfsg1-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid1.5.0.87+dfsg1-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
experimental1.5.0.87+dfsg1-5amd64,arm64,armel,armhf,i386,ppc64el,s390x
buster1.4.9.69+dfsg1-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el
Popcon: 63 users (90 upd.)*
Versions and Archs
License: DFSG free
Git

Giac è un sistema per algebra al computer, che segue lo sviluppo di CAS per calcolatrici HP. Ha implementazioni veloci degli algoritmi per operazioni polinomiali e modalità compatibili con Maple o Mupad CAS e con calcolatrici TI.

Questo pacchetto contiene i programmi giac visibili agli utenti: xcas, icas e pgiac e il programma cas_help per fornire l'aiuto orientato all'utente.

Xmaxima
sistema di algebra computazionale -- interfaccia X
Maintainer: Camm Maguire
Versions of package xmaxima
ReleaseVersionArchitectures
squeeze5.21.1-2squeezeamd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
sid5.43.2-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye5.43.2-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster5.42.1-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch5.38.1-8amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie5.34.1-2amd64,armel,armhf,i386
wheezy5.27.0-3amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
Debtags of package xmaxima:
fieldmathematics
interfacex11
roleprogram
scopeapplication
uitoolkittk
x11application
Popcon: 62 users (27 upd.)*
Versions and Archs
License: DFSG free

Maxima è un programma di calcolo totalmente simbolico. È completo di funzionalità poiché gestisce manipolazione simbolica di polinomi, matrici, funzioni razionali, integrali, metodi Todd-Coxeter per l'analisi dei gruppi finiti, grafici, calcoli in virgola mobile a precisione arbitraria. Comprende un debugger simbolico a livello di sorgente per il codice di maxima. Maxima è basato sull'originale Macsyma sviluppato al MIT negli anni Settanta. È piuttosto affidabile, è dotato di un buon garbage collector e non ha perdite di memoria. È fornito con centinaia di auto-test.

Questo pacchetto contiene un'interfaccia X Window basata sulle librerie Tcl/tk.

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

XMDS (eXtensible Multi-Dimensional Simulator, simulatore multidimensionale estensibile) è un generatore di codice che calcola gli integrali di equazioni, a partire da equazioni differenziali ordinarie (ODE) fino a equazioni differenziali alle derivate parziali (PDE) stocastiche. L'utente le scrive in forma intelligibile in un file XML e XMDS scrive e compila un programma C++ che integra tali equazioni nel minor tempo possibile permesso dall'architettura del sistema.

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

XMDS (eXtensible Multi-Dimensional Simulator, simulatore multidimensionale estensibile) è un generatore di codice che calcola gli integrali di equazioni, a partire da equazioni differenziali ordinarie (ODE) fino a equazioni differenziali alle derivate parziali (PDE) stocastiche. L'utente le scrive in forma intelligibile in un file XML e XMDS scrive e compila un programma C++ che integra tali equazioni nel minor tempo possibile permesso dall'architettura del sistema.

XMDS 2 è un aggiornamento importante riscritto in Python che è più veloce e molto più versatile delle versioni precedenti, permettendo l'integrazione efficiente di quasi qualsiasi problema ai valori iniziali su domini regolari.

Please cite: Graham R. Dennis, Joseph J. Hope and Mattias T. Johnsson: XMDS2: Fast, scalable simulation of coupled stochastic partial differential equations. Computer Physics Communications 184(1):201-208 (2013)

Official Debian packages with lower relevance

Ann-tools
libreria di ricerca approssimata dei primi vicini (strumenti)
Versions of package ann-tools
ReleaseVersionArchitectures
squeeze1.1.1+doc-2.2amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
bullseye1.1.2+doc-7amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid1.1.2+doc-7amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
jessie1.1.2+doc-5amd64,armel,armhf,i386
wheezy1.1.2+doc-3amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
stretch1.1.2+doc-6amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
buster1.1.2+doc-7amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
Debtags of package ann-tools:
roleprogram
Popcon: 0 users (2 upd.)*
Versions and Archs
License: DFSG free
Git

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 programmi ann2fig, che mostra l'output di ANN in formato fig, e ann_sample, una dimostrazione esemplificativa di ANN.

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

Surface Evolver è un programma interattivo per la modellazione di superfici liquide plasmate da varie forze e vincoli.

Questo pacchetto fornisce varianti di evolver compilate con diversi formati di virgola mobile (precisione doppia, doppia lunga, quadrupla) ma senza gestione di X.

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

Surface Evolver è un programma interattivo per la modellazione di superfici liquide plasmate da varie forze e vincoli.

Questo pacchetto fornisce varianti di evolver compilate con diversi formati di virgola mobile (precisione doppia, doppia lunga, quadrupla) e con visualizzazione OpenGL/GLUT.

The package is enhanced by the following packages: evolver-doc
Gap-gapdoc
GAPDoc - metapacchetto per la documentazione di GAP
Maintainer: Bill Allombert
Versions of package gap-gapdoc
ReleaseVersionArchitectures
bullseye1.6.3-1all
jessie1.5.1-1all
stretch1.5.1-3all
buster1.6.2-1all
sid1.6.3-1all
Popcon: 23 users (113 upd.)*
Versions and Archs
License: DFSG free

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 contiene GAPDoc, "Un metapacchetto per la documentazione di GAP", di Frank Lübeck e Max Neunhöffer, che è usato per gestire la documentazione di GAP.

Gap-io
collegamenti per la libreria C di I/O di basso livello per GAP
Versions of package gap-io
ReleaseVersionArchitectures
buster4.5.4+ds-3amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
sid4.7.0+ds-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
stretch4.4.6+ds-2amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie4.4.2+ds-1amd64,armel,armhf,i386
bullseye4.7.0+ds-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Popcon: 2 users (7 upd.)*
Versions and Archs
License: DFSG free
Git

GAP è un sistema di algebra computazionale discreta con particolare enfasi sulla teoria dei gruppi computazionale, ma che si è già rivelato utile anche in altri campi.

Questo pacchetto permette a GAP di accedere alle funzioni UNIX della libreria C di I/O.

Gap-online-help
sistema di algebra al computer GAP, aiuto in linea
Maintainer: Bill Allombert
Versions of package gap-online-help
ReleaseVersionArchitectures
jessie4r7p5-2all
squeeze4r4p12-2all
wheezy4r4p12-2all
stretch4r8p6-2all
sid4.11.0-4all
bullseye4.11.0-4all
buster4r10p0-7all
Debtags of package gap-online-help:
fieldmathematics
made-oftex
roledocumentation
Popcon: 4 users (17 upd.)*
Versions and Archs
License: DFSG free

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 contiene la documentazione nel formato TeX necessaria per il sistema d'aiuto in linea.

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

GAP è un sistema di algebra computazionale discreta con particolare enfasi sulla teoria dei gruppi computazionale, ma che si è già rivelato utile anche in altri campi.

Questo pacchetto implementa il protocollo SCSCP (Symbolic Computation Software Composability Protocol) per GAP.

Gmp-ecm
fattorizzazione di interi col metodo delle curve ellittiche
Versions of package gmp-ecm
ReleaseVersionArchitectures
sid7.0.4+ds-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye7.0.4+ds-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
buster7.0.4+ds-5amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
stretch7.0.4+ds-1amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x
jessie6.4.4-2amd64,armel,armhf,i386
wheezy6.4.2-1amd64,armel,armhf,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,s390x,sparc
squeeze6.3-4amd64,armel,i386,ia64,kfreebsd-amd64,kfreebsd-i386,mips,mipsel,powerpc,s390,sparc
Debtags of package gmp-ecm:
fieldmathematics
interfacecommandline
roleprogram
scopeutility
Popcon: 60 users (50 upd.)*
Versions and Archs
License: DFSG free
Git

gmp-ecm è una implementazione libera del metodo delle curve ellittiche (ECM) per la fattorizzazione degli interi.

L'obiettivo originario del progetto ECMNET era di fare avverare la previsione di Richard Brent, cioè di trovare un fattore di 50 o più cifre usando ECM. Tale obiettivo è stato raggiunto il 14 settembre 1998 quando Conrad Curry ha trovato un fattore di 53 cifre di 2^677-1 c150 usando il programma mprime di George Woltman. Il nuovo obiettivo di ECMNET è adesso di trovare altri grandi fattori con ECM, soprattutto contribuendo al progetto Cunningham che è, secondo Bob Silverman, molto verosimilmente il più longevo progetto di calcolo attualmente attivo della storia. Un nuovo record è stato raggiunto da Nik Lygeros e Michel Mizony che hanno trovato nel dicembre 1999 un fattore primo di 54 cifre usando GMP-ECM.

Per maggiori informazioni su ECMNET si veda http://www.loria.fr/~zimmerma/records/ecmnet.html .

Questo pacchetto fornisce l'utilità a riga di comando.

Netgen-doc
generatore automatico di mesh 3d tetraedriche - documentazione
Versions of package netgen-doc
ReleaseVersionArchitectures
bullseye6.2.1804+dfsg1-3.1all
squeeze4.9.12.dfsg-3all
sid6.2.1804+dfsg1-3.1all
buster6.2.1804+dfsg1-3all
upstream6.2.2004
Debtags of package netgen-doc:
roledocumentation
Popcon: 0 users (0 upd.)*
Newer upstream!
License: DFSG free
Git

NETGEN è un generatore automatico di mesh 3d tetraedriche. Accetta input CSG (geometria solida costruttiva) o BRep (rappresentazione del contorno) da file in formato STL. NETGEN contiene moduli per l'ottimizzazione e il raffinamento gerarchico delle mesh.

Questo pacchetto contiene il manuale utente (in formato PDF) e i file d'esempio.

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

primesieve è un programma software e una libreria C/C++ liberi che genera numeri primi usando un'implementazione altamente ottimizzata del crivello di Eratostene. primesieve può generare numeri primi e k-tuple di primi fino a quasi 2^64.

Vedere http://primesieve.org/ per maggiori informazioni.

Questo pacchetto fittizio fornisce l'installazione standard.

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

Estende funzioni di simulazione, distribuzione, quantili e densità per distribuzioni di valori estremi parametriche univariate e multivariate e fornisce funzioni di fit che calcolano stime di massima verosimiglianza per modelli dei massimi univariati e bivariati e per modelli della soglia univariati e bivariati.

Please cite: Alec G. Stephenson: evd: Extreme Value Distributions. R News 2(2):31-32 (2002)
Sagetex
incorpora codice e grafici di Sage in LaTeX
Versions of package sagetex
ReleaseVersionArchitectures
bullseye3.4+ds-2all
sid3.4+ds-2all
stretch3.0+ds-4all
buster3.2+ds-2all
Popcon: 0 users (0 upd.)*
Versions and Archs
License: DFSG free
Git

Il pacchetto LaTeX SageTeX permette di incorporare in documenti LaTeX codice, risultati di calcoli e grafici della suite di software matematico SageMath. SageMath è un CAS (Computer Algebra System, sistema di algebra al computer) open source.

Questo pacchetto fornisce il pacchetto LaTeX.

The package is enhanced by the following packages: sagetex-doc

Debian packages in contrib or non-free

Matlab-support
distro integration for local MATLAB installations
Versions of package matlab-support
ReleaseVersionArchitectures
sid0.0.21.1 (contrib)all
bullseye0.0.21.1 (contrib)all
stretch0.0.21 (contrib)all
jessie0.0.19+nmu1 (contrib)all
buster0.0.21 (contrib)all
wheezy0.0.18 (contrib)all
Popcon: 10 users (9 upd.)*
Versions and Archs
License: DFSG free, but needs non-free components
Git

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

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

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

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

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

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

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

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

Remark of Debian Science team: Removed from Debian

This package was removed from Debian but some versions are available from http://snapshot.debian.org/

Reasons are given here: http://bugs.debian.org/651971

Isabelle
generic theorem proving environment
Versions of package isabelle
ReleaseVersionArchitectures
VCS2008-4all
Versions and Archs
License: free
Debian package not available
Git
Version: 2008-4

Features a choice of several ready-to-use logics (Higher Order Logic, Higher Order Logic augmented with Scott's Logic for Computable Functions, First Order Logic, Zermello-Frankel, an extensional version of Martin-Löf Type Theory, Barendregt's Lambda Cube, a few sequent calculi (including modal and linear logics), ...) or defining your own logic / deductive system, a procedural and a declarative proof style, rich automation for classical reasoning, equational logic and algebra, LaTeX and X-Symbols notational support.

This package contains the isabelle toolchain.

Remark of Debian Science team: upstream prefers Isabelle not being packaged

There is an alternative software coq which is packaged in Debian (see above).

Unofficial packages built by somebody else

Octaviz
3D visualization system for Octave
License: unknown

Octaviz is a visualization system for Octave. It is a wrapper that makes all VTK classes accessible from within Octave using the same object-oriented syntax as in C++ or Python. Octaviz also provides high-level functions for 2D and 3D visualization. Using those functions, most common visualization tasks (3D surface plots, contour plots etc) can be accomplished without any knowledge about VTK.

Remark of Debian Science team: Removed from Debian

This package was removed from Debian but some versions are available from http://snapshot.debian.org/

Reasons are given here: http://bugs.debian.org/535537

*Popularitycontest results: number of people who use this package regularly (number of people who upgraded this package recently) out of 202550