[ Quellcode: debian-science ]
Paket: science-mathematics (1.14.7)
Links für science-mathematics
Debian-Ressourcen:
Quellcode-Paket debian-science herunterladen:
Betreuer:
Externe Ressourcen:
- Homepage [wiki.debian.org]
Ähnliche Pakete:
Debian Science: Mathematik-Pakete
Dieses Metapaket installiert Debian-Science-Pakete mit Bezug zur Mathematik. Vielleicht ist auch das Debtag field::mathematics und, je nach Ihrem Fokus, das Metapaket education-mathematics für Sie von Interesse.
Andere Pakete mit Bezug zu science-mathematics
|
|
|
|
-
- dep: science-config (= 1.14.7)
- Debian Science - Konfigurationspaket
-
- dep: science-tasks (= 1.14.7)
- Debian Science tasks for tasksel
-
- rec: 4ti2
- mathematical tool suite for problems on linear spaces -- tools
-
- rec: agda
- Abhängig typisierte, funktionale Programmiersprache
-
- rec: auto-07p
- software for continuation and bifurcation problems in ODE
-
- rec: axiom
- Allzweck-Computeralgebrasystem: Hauptprogramme und Module
-
- rec: bliss
- tool to compute graph automorphisms and labelings -- bin
-
- rec: cohomcalg
- sheaf cohomology of line bundles on toric varieties
-
- rec: coinor-cbc
- Coin-or branch-and-cut mixed integer programming solver
-
- rec: coinor-csdp
- Software package for semidefinite programming (binaries)
-
- rec: coinor-libbonmin-dev
- COIN-OR mixed integer programming (developer files)
-
- rec: coinor-symphony
- Paket nicht verfügbar
-
- rec: coq
- Beweis-Assistent für Logik höherer Ordnung (Toplevel und Compiler)
-
- rec: cryptominisat
- SAT solver command line interface
-
- rec: eclib-tools
- Paket nicht verfügbar
-
- rec: eprover
- Equational theorem prover
-
- rec: fenics
- Paket nicht verfügbar
-
- rec: flintqs
- Program using quadratic sieve to factor integers
-
- rec: form
- Symbolic manipulation system
-
- rec: fplll-tools
- Werkzeuge zur Berechnung von LLL-Reduktionen euklidischer Gitter
-
- rec: freefem
- PDE-orientierte Sprache unter Verwendung der Finite-Elemente-Methode
-
- rec: freefem++
- Provides the binaries of the FreeFem++ FE suite
-
- rec: frobby
- Computations with monomial ideals
-
- rec: gap
- Computeralgebra-System für Gruppen, Algorithmen und Programmierung (GAP)
-
- rec: gap-character-tables
- GAP Library of character tables
-
- rec: gap-design
- block designs for GAP
-
- rec: gap-factint
- advanced methods for factoring integers for GAP
-
- rec: gap-float
- multi-precision floating-point computation for GAP
-
- rec: gap-grape
- GRaph Algorithms using PErmutation groups for GAP
-
- rec: gap-guava
- coding theory library for GAP
-
- rec: gap-laguna
- LAGUNA GAP package
-
- rec: gap-openmath
- OpenMath phrasebook for GAP
-
- rec: gap-sonata
- Systems Of Nearrings And Their Applications for GAP
-
- rec: gap-table-of-marks
- GAP TomLib - The GAP Library of Tables of Marks
-
- rec: gap-toric
- toric variety for GAP
-
- rec: geneagrapher
- Create tree from Mathematics Genealogy Project (executable)
-
- rec: geogebra
- Dynamische Mathematiksoftware für die Lehre
-
- rec: geomview
- Interaktiver Geometriebetrachter
-
- rec: gerris
- Löst Strömungsprobleme von Flüssigkeiten
-
- rec: getdp
- general environment for the treatment of discrete problems
-
- rec: gfan
- program for computing with Groebner fans
-
- rec: ginac-tools
- Das symbolische Rahmenwerk GiNaC (Werkzeuge)
-
- rec: gmsh
- Generator für dreidimensionale Finite-Elemente-Netze
-
- rec: graphviz
- Große Sammlung von Werkzeugen für das Graphzeichnen
-
- rec: hol-light
- HOL Light theorem prover
-
- rec: lcalc
- Programm zum Rechnen mit L-Funktionen
-
- rec: libjgrapht-java
- Java library of graph theory data structures and algorithms
auch ein virtuelles Paket, bereitgestellt durch libjgrapht0.8-java
-
- rec: libmatheval1
- GNU-Bibliothek zur Bewertung symbolischer mathematischer Ausdrücke (Laufzeit)
-
- rec: lp-solve
- Lösung (gemischt-ganzzahliger) linearer Optimierungsprobleme
-
- rec: lrcalc
- Programme zur Berechnung von Littlewood-Richardson-Koeffizienten
-
- rec: lrslib
- Paket für das Zählen von Ecken und Extremalstrahlen eines konvexen Polyeders
-
- rec: macaulay2
- Software system for algebraic geometry research
-
- rec: magnus
- Very simple screen magnifier
-
- rec: mathicgb
- Compute Groebner bases (command line tool)
-
- rec: mathomatic
- Portables Computeralgebrasystem (CAS)
-
- rec: maxima-sage
- Computer algebra system -- base system
-
- rec: mcl
- Markov-Cluster-Algorithmus
-
- rec: minisat
- Fast and lightweight SAT solver
-
- rec: mumps-test
- Beispiel-/Testprogramme mit MUMPS
-
- rec: nauty
- library for graph automorphisms -- interface and tools
-
- rec: netgen
- Generator zur automatischen Erzeugung von 3D-Tetraedergittern
-
- rec: normaliz
- math computing tools for affine monoids, rational polytopes and cones
-
- rec: octave
- GNU Octave - Sprache für numerische Berechnungen
-
- rec: palp
- Paket zum Analysieren von Gitterpolytopen
-
- rec: pari-gp
- PARI/GP Computeralgebrasystem
-
- rec: persalys
- GUI for uncertainty treatment and variabilities management
-
- rec: phcpack
- general-purpose solver for polynomial systems (command line)
-
- rec: planarity
- Program for planarity-related graph algorithms
-
- rec: polylib-utils
- Verschiedene Werkzeuge, die libpolylib nutzen
-
- rec: proofgeneral
- Generisches Frontend für Beweisassistenten
-
- rec: python3-deap
- Verteilte evolutionäre Algorithmen in Python3
-
- rec: python3-dolfin
- Paket nicht verfügbar
-
- rec: python3-ffc
- compiler for finite element variational forms (Python 3)
-
- rec: python3-minieigen
- Wrapper of parts of the Eigen library (Python 3)
-
- rec: python3-openturns
- Python3 front-end of OpenTURNS (aka TUI)
-
- rec: python3-persalys
- GUI for uncertainty treatment (Python bindings)
-
- rec: python3-sagenb-export
- Convert SageNB Notebooks (Python 3)
-
- rec: python3-ufl
- unified language for form-compilers (Python 3)
-
- rec: qepcad
- quantifier elimination tool
-
- rec: qhull-bin
- Berechnung konvexer Hüllen und verwandter Strukturen (Kommandos)
-
- rec: qsopt-ex
- Exact linear programming solver
-
- rec: regina-normal
- Paket nicht verfügbar
-
- rec: rheolef
- Paket nicht verfügbar
-
- rec: rubiks
- Small collection of Rubik's cube solvers
-
- rec: sagemath
- Paket nicht verfügbar
-
- rec: sagemath-database-conway-polynomials
- Datenbank von Conway-Polynomen
-
- rec: sagemath-database-cremona-elliptic-curves
- Databases of elliptic curves over the rationals
-
- rec: sagemath-database-elliptic-curves
- Datenbanken für elliptische Kurven
-
- rec: sagemath-database-graphs
- Datenbank von Graphen
-
- rec: sagemath-database-mutually-combinatorial-designs
- Datenbanken kombinatorischer Entwürfe
-
- rec: sagemath-database-polytopes
- Polytopendatenbank
-
- rec: science-statistics
- »Debian Science« Statistik-Pakete
-
- rec: scilab
- Wissenschaftliches Softwarepaket für numerische Berechnungen
-
- rec: scotch
- Programme und Bibliotheken für Graph-, Intervall- und Hypergraphpartitionierung
-
- rec: singular
- Computer Algebra System for Polynomial Computations
-
- rec: surf-alggeo
- visualization of real algebraic geometry
-
- rec: sympow
- mathematical program for SYMmetric POWer elliptic curve L-functions -- program
-
- rec: tachyon
- Parallel/Multiprocessor Standalone Ray Tracer - metapackage
-
- rec: tetgen
- Quality Tetrahedral Mesh Generator
-
- rec: topcom
- Triangulations Of Point Configurations and Oriented Matroids
-
- rec: toulbar2
- Exact combinatorial optimization for Graphical Models
-
- rec: wxmaxima
- Grafische Oberfläche für das Computer-Algebrasystem Maxima
-
- rec: xcas
- Computer Algebra System - console and graphical calculator
-
- rec: xmaxima
- Computeralgebrasystem -- X-Oberfläche
-
- rec: xmds2
- eXtensible Multi-Dimensional Simulator (XMDS) - erweiterbarer multidimensionaler Simulator
-
- sug: ann-tools
- »Approximate Nearest Neighbor«-Suchbibliothek (Werkzeuge)
-
- sug: cliquer
- Programm zur Suche nach Cliquen
-
- sug: evolver-ogl
- Surface Evolver - with OpenGL display
- oder evolver-nox
- Surface Evolver - with no X support
-
- sug: feel++-apps
- Paket nicht verfügbar
-
- sug: freefem3d
- Paket nicht verfügbar
-
- sug: freemat
- Paket nicht verfügbar
-
- sug: gap-gapdoc
- GAPDoc - A Meta Package for GAP Documentation
-
- sug: gap-io
- low level C library IO bindings for GAP
-
- sug: gap-online-help
- Computeralgebra-System GAP, Onlinehilfe
-
- sug: gap-prim-groups
- Paket nicht verfügbar
-
- sug: gap-scscp
- SCSCP protocol in GAP
-
- sug: gap-small-groups
- Paket nicht verfügbar
-
- sug: gap-small-groups-extra
- Paket nicht verfügbar
-
- sug: gap-trans-groups
- Paket nicht verfügbar
-
- sug: gmp-ecm
- Factor integers using the Elliptic Curve Method
-
- sug: isabelle
- Paket nicht verfügbar
-
- sug: julia
- Paket nicht verfügbar
-
- sug: libspectra-dev
- library for large scale eigenvalue problems (development files)
-
- sug: matita
- Paket nicht verfügbar
-
- sug: matlab-support
- distro integration for local MATLAB installations
-
- sug: model-builder
- Paket nicht verfügbar
-
- sug: netgen-doc
- Generator zur automatischen Erzeugung von 3D-Tetraedergittern - Dokumentation
-
- sug: octaviz
- Paket nicht verfügbar
-
- sug: primesieve
- fast prime number generator C/C++ library
-
- sug: prover9
- Paket nicht verfügbar
-
- sug: pyomo
- Paket nicht verfügbar
-
- sug: r-cran-evd
- GNU-R-Funktionen für Extremwertverteilungen
-
- sug: sagetex
- Paket nicht verfügbar
-
- sug: scilab-ann
- Paket nicht verfügbar
-
- sug: snappea
- Paket nicht verfügbar
-
- sug: xmds
- Paket nicht verfügbar
science-mathematics herunterladen
Architektur | Paketgröße | Größe (installiert) | Dateien |
---|---|---|---|
all | 10,8 kB | 31,0 kB | [Liste der Dateien] |