Package: science-mathematics (1.14.7)

[ Source: debian-science  ]

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.

Tags: Field: Mathematics, Role: Metapackage, Application Suite: Debian

Other Packages Related to science-mathematics

• dep: science-config (= 1.14.7)

  pacchetto di configurazione per il progetto Debian Science

• dep: science-tasks (= 1.14.7)

  attività Debian Science per tasksel

• rec: 4ti2

  suite di strumenti matematici per problemi in spazi lineari -- strumenti

• rec: agda

  linguaggio di programmazione funzionale tipizzato in modo dipendente

• rec: auto-07p

  software per problemi di continuazione e biforcazione in ODE

• rec: axiom

  sistema di algebra al computer universale: eseguibile principale e moduli

• rec: bliss

  strumento per calcolare automorfismi ed etichette per grafi -- binari

• rec: cohomcalg

  coomologia dei fasci di fibrato di linee su varietà toriche

• rec: coinor-cbc

  risolutore Coin-or per programmazione intera mista branch-and-cut

• rec: coinor-csdp

  pacchetto software per programmazione semidefinita (binari)

• rec: coinor-libbonmin-dev

  programmazione con interi misti per COIN-OR (file di sviluppo)

• rec: coinor-symphony

  Package not available

• rec: coq

  assistente alle dimostrazioni per logiche di ordine superiore (toplevel e compilatore)

• rec: cryptominisat

  interfaccia a riga di comando per il risolutore SAT

• rec: eclib-tools

  Package not available

• rec: eprover

  strumento per dimostrare teoremi con equazioni

• rec: fenics

  Package not available

• rec: flintqs

  programma che usa il crivello quadratico per fattorizzare numeri interi

• rec: form

  sistema per manipolazione simbolica

• rec: fplll-tools

  strumenti per calcolare la riduzione LLL di reticoli euclidei

• rec: freefem

  linguaggio orientato alle equazioni con derivate parziali che usa il Metodo ad Elementi Finiti

• rec: freefem++

  fornisce i binari della suite FreeFem++ FE

• rec: frobby

  calcoli con ideali monomiali

• rec: gap

  sistema di algebra al computer per Gruppi, Algoritmi e Programmazione

• rec: gap-character-tables

  libreria GAP di tabelle di caratteri

• rec: gap-design

  disegni a blocchi per GAP

• rec: gap-factint

  metodi avanzati per fattorizzazione di interi per GAP

• rec: gap-float

  calcoli in virgola mobile a precisione multipla per GAP

• rec: gap-grape

  algoritmi per grafi che usano gruppi di permutazione per GAP

• rec: gap-guava

  libreria della teoria dei codici per GAP

• rec: gap-laguna

  pacchetto LAGUNA per GAP

• rec: gap-openmath

  frasario OpenMath per GAP

• rec: gap-sonata

  sistemi di quasi-anelli e loro applicazioni per GAP

• rec: gap-table-of-marks

  GAP TomLib - la libreria Tables of Marks di GAP

• rec: gap-toric

  varietà toriche per GAP

• rec: geneagrapher

  crea alberi da Mathematics Genealogy Project (eseguibile)

• rec: geogebra

  software matematico dinamico per l'educazione

• rec: geomview

  Programma per la visualizzazione interattiva di figure geometriche

• rec: gerris

  risolutore per flussi di fluidi

• rec: getdp

  ambiente generale per il trattamento di problemi discreti

• rec: gfan

  program for computing with Groebner fans

• rec: ginac-tools

  strumenti per la gestione del framework simbolico GiNaC

• rec: gmsh

  generatore di reticoli tridimensionali ad elementi finiti

• rec: graphviz

  ricco insieme di strumenti per il disegno di grafi

• rec: hol-light

  dimostratore di teoremi HOL Light

• rec: lcalc

  programma per calcoli con funzioni L

• rec: libjgrapht-java

  Java library of graph theory data structures and algorithms
  also a virtual package provided by libjgrapht0.8-java

• rec: libmatheval1

  libreria GNU per valutare espressioni matematiche simboliche (runtime)

• rec: lp-solve

  risolutore di problemi di programmazione lineare (mista intera)

• rec: lrcalc

  programma per calcolare coefficienti di Littlewood-Richardson

• rec: lrslib

  pacchetto per elencare vertici e raggi estremi di un poliedro convesso

• rec: macaulay2

  Software system for algebraic geometry research

• rec: magnus

  ingranditore dello schermo molto semplice

• rec: mathicgb

  calcolo di basi di Groebner (strumento a riga di comando)

• rec: mathomatic

  sistema di algebra al computer (CAS) portabile

• rec: maxima-sage

  sistema di algebra computazionale -- sistema di base

• rec: mcl

  algoritmo Cluster di Markov

• rec: minisat

  risolutore SAT leggero e veloce

• rec: mumps-test

  binari di esempio e test che usano MUMPS

• rec: nauty

  libreria per automorfismi per grafi -- interfaccia e strumenti

• rec: netgen

  generatore automatico di mesh 3d tetraedriche

• rec: normaliz

  strumenti di calcolo matematico per monoidi affini, politopi e coni razionali

• rec: octave

  linguaggio GNU Octave per il calcolo numerico

• rec: palp

  pacchetto per analizzare politopi di reticoli

• rec: pari-gp

  sistema di calcolo algebrico PARI/GP eseguibili

• rec: persalys

  GUI per trattamento dell'incertezza e gestione delle variabilità

• rec: phcpack

  general-purpose solver for polynomial systems (command line)

• rec: planarity

  programma per algoritmi relativi alla planarità dei grafi

• rec: polylib-utils

  vari strumenti che usano libpolylib

• rec: proofgeneral

  frontend generico per assistenti alla dimostrazione

• rec: python3-deap

  algoritmi evolutivi distribuiti in Python3

• rec: python3-dolfin

  Package not available

• rec: python3-ffc

  compilatore per forme variazionali a elementi finiti (Python 3)

• rec: python3-minieigen

  wrapper per parti della libreria Eigen (Python 3)

• rec: python3-openturns

  interfaccia Python 3 per OpenTURNS (alias TUI)

• rec: python3-persalys

  GUI per trattamento dell'incertezza (collegamenti Python)

• rec: python3-sagenb-export

  converte notebook SageNB (Python 3)

• rec: python3-ufl

  linguaggio unificato per compilatori di forme (Python 3)

• rec: qepcad

  quantifier elimination tool

• rec: qhull-bin

  calcolo di inviluppi convessi e strutture correlate (utilità)

• rec: qsopt-ex

  risolutore esatto per programmazione lineare

• rec: regina-normal

  Package not available

• rec: rheolef

  Package not available

• rec: rubiks

  piccola raccolta di risolutori del cubo di Rubik

• rec: sagemath

  Package not available

• rec: sagemath-database-conway-polynomials

  database dei polinomi di Conway

• rec: sagemath-database-cremona-elliptic-curves

  database di curve ellittiche sui razionali

• rec: sagemath-database-elliptic-curves

  database per curve ellittiche

• rec: sagemath-database-graphs

  database di grafi

• rec: sagemath-database-mutually-combinatorial-designs

  database di disegni combinatori

• rec: sagemath-database-polytopes

  database di politopi

• rec: science-statistics

  pacchetti Debian Science per la statistica

• rec: scilab

  pacchetto software scientifico per calcoli numerici

• rec: scotch

  programmi e librerie per partizionamento di grafi, mesh e ipergrafi

• rec: singular

  CAS per calcoli polinomiali

• rec: surf-alggeo

  visualizzazione di geometria algebrica reale

• rec: sympow

  programma matematico per funzioni L a curve ellittiche con potenze simmetriche - programma

• rec: tachyon

  strumento autonomo di ray tracing in parallelo/multiprocessore - metapacchetto

• rec: tetgen

  generatore di mesh tetraedriche di qualità

• rec: topcom

  triangolazioni di configurazioni di punti e matroidi orientati

• rec: toulbar2

  ottimizzazione combinatoriale esatta per modelli grafici

• rec: wxmaxima

  GUI per il sistema di algebra computazionale Maxima

• rec: xcas

  sistema di algebra al computer - calcolatrice grafica e per console

• rec: xmaxima

  sistema di algebra computazionale -- interfaccia X

• rec: xmds2

  eXtensible Multi-Dimensional Simulator

• sug: ann-tools

  libreria di ricerca approssimata dei primi vicini (strumenti)

• sug: cliquer

  programma per ricerche di cricche

• sug: evolver-ogl

  Surface Evolver - con visualizzazione OpenGL

  or evolver-nox

  Surface Evolver - senza gestione di X

• sug: feel++-apps

  Package not available

• sug: freefem3d

  Package not available

• sug: freemat

  Package not available

• sug: gap-gapdoc

  GAPDoc - metapacchetto per la documentazione di GAP

• sug: gap-io

  collegamenti per la libreria C di I/O di basso livello per GAP

• sug: gap-online-help

  sistema di algebra al computer GAP, aiuto in linea

• sug: gap-prim-groups

  Package not available

• sug: gap-scscp

  protocollo SCSCP in GAP

• sug: gap-small-groups

  Package not available

• sug: gap-small-groups-extra

  Package not available

• sug: gap-trans-groups

  Package not available

• sug: gmp-ecm

  fattorizzazione di interi col metodo delle curve ellittiche

• sug: isabelle

  Package not available

• sug: julia

  Package not available

• sug: libspectra-dev

  library for large scale eigenvalue problems (development files)

• sug: matita

  Package not available

• sug: matlab-support

  distro integration for local MATLAB installations

• sug: model-builder

  Package not available

• sug: netgen-doc

  generatore automatico di mesh 3d tetraedriche - documentazione

• sug: octaviz

  Package not available

• sug: primesieve

  libreria C/C++ per generatore veloce di numeri primi

• sug: prover9

  Package not available

• sug: pyomo

  Package not available

• sug: r-cran-evd

  funzioni GNU R per distribuzioni di valori estremi

• sug: sagetex

  Package not available

• sug: scilab-ann

  Package not available

• sug: snappea

  Package not available

• sug: xmds

  Package not available

Download science-mathematics

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	10.8 kB	31.0 kB	[list of files]