Paquet : science-mathematics (1.15)

Liens pour science-mathematics

Télécharger le paquet source debian-science :

• [debian-science_1.15.dsc]
• [debian-science_1.15.tar.xz]

Responsables :

• Debian Science Team
• Andreas Tille
• Ole Streicher

Ressources externes :

• Page d'accueil [wiki.debian.org]

Paquets similaires :

• science-physics
• science-chemistry
• science-geography
• science-highenergy-physics
• science-nanoscale-physics-dev
• science-highenergy-physics-dev
• science-mathematics-dev
• science-nanoscale-physics
• science-biology
• science-typesetting
• science-viewing

Autres paquets associés à science-mathematics

• dep: science-config (= 1.15)

  Debian Science Project config package

• dep: science-tasks (= 1.15)

  Debian Science tasks for tasksel

• rec: 4ti2

  mathematical tool suite for problems on linear spaces -- tools

• rec: agda

  dependently typed functional programming language

• rec: auto-07p

  software for continuation and bifurcation problems in ODE

• rec: axiom

  General purpose computer algebra system: main binary and modules

• 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

  COIN-OR solver for mixed-integer linear programs

• rec: coq

  proof assistant for higher-order logic (toplevel and compiler)

• rec: cryptominisat

  SAT solver command line interface

• rec: eclib-tools

  Programs for modular symbols and elliptic curves over Q

• rec: eprover

  Equational theorem prover

• rec: fenics

  Automated Solution of Differential Equations

• rec: flintqs

  Program using quadratic sieve to factor integers

• rec: form

  Symbolic manipulation system

• rec: fplll-tools

  Tools to compute LLL-reduction of Euclidian lattices

• rec: freefem

  PDE oriented language using Finite Element Method

• rec: freefem++

  Provides the binaries of the FreeFem++ FE suite

• rec: frobby

  Computations with monomial ideals

• rec: gap

  computer algebra system for Groups, Algorithms and Programming

• 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

  Dynamic mathematics software for education

• rec: geomview

  interactive geometry viewing program

• rec: gerris

  Fluid Flow Solver

• rec: getdp

  general environment for the treatment of discrete problems

• rec: gfan

  program for computing with Groebner fans

• rec: ginac-tools

  GiNaC symbolic framework support tools

• rec: gmsh

  Three-dimensional finite element mesh generator

• rec: graphviz

  rich set of graph drawing tools

• rec: hol-light

  HOL Light theorem prover

• rec: lcalc

  program for calculating with L-functions

• rec: libjgrapht-java

  Java library of graph theory data structures and algorithms
  un paquet virtuel est également fourni par libjgrapht0.8-java

• rec: libmatheval1

  GNU library for evaluating symbolic mathematical expressions (runtime)

• rec: lp-solve

  Solve (mixed integer) linear programming problems

• rec: lrcalc

  programs for calculating Littlewood-Richardson coefficients

• rec: lrslib

  package to enumerate vertices and extreme rays of a convex polyhedron

• rec: macaulay2

  Software system for algebraic geometry research

• rec: magnus

  Very simple screen magnifier

• rec: mathicgb

  Compute Groebner bases (command line tool)

• rec: mathomatic

  portable Computer Algebra System (CAS)

• rec: mathpiper

  Java Computer Algebra System

• rec: maxima-sage

  Computer algebra system -- base system

• rec: mcl

  Markov Cluster algorithm

• rec: minisat

  Fast and lightweight SAT solver

• rec: mumps-test

  Example/test binaries using MUMPS

• rec: nauty

  library for graph automorphisms -- interface and tools

• rec: netgen

  Automatic 3d tetrahedral mesh generator

• rec: normaliz

  math computing tools for affine monoids, rational polytopes and cones

• rec: octave

  GNU Octave language for numerical computations

• rec: palp

  Package for Analyzing Lattice Polytopes

• rec: pari-gp

  PARI/GP Computer Algebra System binaries

• 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

  Various tools using libpolylib

• rec: proofgeneral

  generic frontend for proof assistants

• rec: python3-deap

  Distributed Evolutionary Algorithms in Python3

• rec: python3-dolfin

  Base Python interface for DOLFIN (Python 3)

• 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-ufl

  unified language for form-compilers (Python 3)

• rec: qepcad

  quantifier elimination tool

• rec: qhull-bin

  calculate convex hulls and related structures (utilities)

• rec: qsopt-ex

  Exact linear programming solver

• rec: rheolef

  efficient Finite Element environment

• rec: rubiks

  Small collection of Rubik's cube solvers

• rec: sagemath-database-conway-polynomials

  Database of Conway polynomials

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

  Databases of elliptic curves over the rationals

• rec: sagemath-database-elliptic-curves

  Databases for elliptic curves

• rec: sagemath-database-graphs

  Databases of graphs

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

  Databases of combinatorial designs

• rec: sagemath-database-polytopes

  Databases of polytopes

• rec: science-statistics

  Debian Science Statistics packages

• rec: scilab

  Scientific software package for numerical computations

• rec: scotch

  programs and libraries for graph, mesh and hypergraph partitioning

• 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

  GUI for the computer algebra system Maxima

• rec: xcas

  Computer Algebra System - console and graphical calculator

• rec: xmaxima

  Computer algebra system -- x interface

• rec: xmds2

  eXtensible Multi-Dimensional Simulator

• sug: ann-tools

  Approximate Nearest Neighbor Searching library (tools)

• sug: cliquer

  clique searching program

• sug: evolver-ogl

  Surface Evolver - with OpenGL display

  ou evolver-nox

  Surface Evolver - with no X support

• sug: feel++-apps

  Paquet indisponible

• sug: freefem3d

  Paquet indisponible

• sug: freemat

  Paquet indisponible

• 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

  GAP computer algebra system, online help

• sug: gap-prim-groups

  Paquet indisponible

• sug: gap-scscp

  SCSCP protocol in GAP

• sug: gap-small-groups

  Paquet indisponible

• sug: gap-small-groups-extra

  Paquet indisponible

• sug: gap-trans-groups

  Paquet indisponible

• sug: gmp-ecm

  Factor integers using the Elliptic Curve Method

• sug: isabelle

  Paquet indisponible

• sug: julia

  Paquet indisponible

• sug: libspectra-dev

  library for large scale eigenvalue problems (development files)

• sug: matita

  Paquet indisponible

• sug: matlab-support

  distro integration for local MATLAB installations

• sug: model-builder

  Paquet indisponible

• sug: netgen-doc

  Automatic 3d tetrahedral mesh generator documentation

• sug: octaviz

  Paquet indisponible

• sug: primesieve

  fast prime number generator C/C++ library

• sug: prover9

  Paquet indisponible

• sug: pyomo

  Paquet indisponible

• sug: python3-sagenb-export

  Paquet indisponible

• sug: r-cran-evd

  GNU R Functions for extreme value distributions

• sug: regina-normal

  Paquet indisponible

• sug: sagemath

  Paquet indisponible

• sug: sagetex

  Paquet indisponible

• sug: scilab-ann

  Paquet indisponible

• sug: snappea

  Paquet indisponible

• sug: xmds

  Paquet indisponible

Télécharger science-mathematics