Skip to content
Sections
>> Trisquel >> 软件包 >> etiona >> misc >> science-mathematics
etiona  ] [  nabia  ] [  aramo  ]
[ 源代码: debian-science  ]

软件包: science-mathematics (1.7ubuntu3)

Debian Science Mathematics packages

This metapackage will install Debian Science packages related to Mathematics. You might also be interested in the field::mathematics debtag and, depending on your focus, in the education-mathematics metapackage.

其他与 science-mathematics 有关的软件包

  • 依赖
  • 推荐
  • 建议
  • dep: science-config (= 1.7ubuntu3)
    Debian Science Project config package
  • dep: science-tasks (= 1.7ubuntu3)
    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: coinor-cbc
    Coin-or branch-and-cut mixed integer programming solver
  • rec: coinor-symphony
    COIN-OR solver for mixed-integer linear programs
  • rec: coq
    proof assistant for higher-order logic (toplevel and compiler)
  • rec: eclib-tools
    Programs for modular symbols and elliptic curves over Q
  • rec: fenics
    Automated Solution of Differential Equations
  • rec: flintqs
    Program using quadratic sieve to factor integers
  • 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: freefem3d
    Language and solver for partial differential equations in 3D
  • rec: freemat
    mathematics framework (mostly matlab compatible)
  • 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-float
    multi-precision floating-point computation for GAP
  • rec: gap-guava
    coding theory library for GAP
  • rec: gap-prim-groups
    Database of primitive groups for GAP
  • rec: gap-small-groups
    Database of small groups for GAP
  • rec: gap-small-groups-extra
    Large database of small groups for GAP
  • rec: gap-table-of-marks
    GAP TomLib - The GAP Library of Tables of Marks
  • rec: gap-trans-groups
    Database of transitive groups for GAP
  • rec: geneagrapher
    Create tree from Mathematics Genealogy Project
  • 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: julia
    软件包暂时不可用
  • rec: lcalc
    program for calculating with L-functions
  • 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: mathicgb
    Compute Groebner bases (command line tool)
  • rec: mathomatic
    portable Computer Algebra System (CAS)
  • rec: matita
    软件包暂时不可用
  • 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: 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: planarity
    Program for planarity-related graph algorithms
  • rec: polylib-utils
    Various tools using libpolylib
  • rec: proofgeneral
    generic frontend for proof assistants
  • rec: prover9
    theorem prover and countermodel generator
  • rec: python-deap
    Distributed Evolutionary Algorithms in Python
  • rec: python-dolfin
    Python interface for DOLFIN (Python 2)
  • rec: python-ffc
    compiler for finite element variational forms (Python 2)
  • rec: python-minieigen
    Wrapper of parts of the Eigen library (Python 2)
  • rec: python-openturns
    Python front-end of OpenTURNS (aka TUI)
  • rec: python-sagenb
    Standalone Sage Notebook
  • rec: python-sagenb-export
    Convert SageNB Notebooks (Python 2)
    或者 python3-sagenb-export
    Convert SageNB Notebooks (Python 3)
  • rec: python-ufl
    unified language for form-compilers (Python 2)
  • rec: qhull-bin
    calculate convex hulls and related structures (utilities)
  • rec: qsopt-ex
    Exact linear programming solver
  • rec: regina-normal
    mathematical software for low-dimensional topology
  • rec: rheolef
    efficient Finite Element environment
  • rec: rubiks
    Small collection of Rubik's cube solvers
  • rec: sagemath
    Open Source Mathematical Software
  • rec: sagemath-database-conway-polynomials
    Database of Conway polynomials
  • 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: scilab-ann
    Scilab module for artificial neural networks
  • rec: scilab-plotlib
    "Matlab-like" Plotting library for Scilab
  • rec: scotch
    programs and libraries for graph, mesh and hypergraph partitioning
  • rec: singular
    Computer Algebra System for Polynomial Computations
  • rec: snappea
    program for creating and studying hyperbolic 3-manifolds
  • 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: wxmaxima
    GUI for the computer algebra system Maxima
  • 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: eprover
    软件包暂时不可用
  • sug: evolver-ogl
    Surface Evolver - with OpenGL display
    或者 evolver-nox
    Surface Evolver - with no X support
  • sug: feel++-apps
    软件包暂时不可用
  • 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-scscp
    SCSCP protocol in GAP
  • sug: gmp-ecm
    Factor integers using the Elliptic Curve Method
  • sug: isabelle
    软件包暂时不可用
  • sug: kseg
    软件包暂时不可用
  • sug: magnus
    软件包暂时不可用
  • sug: matlab-support
    软件包暂时不可用
  • sug: netgen
    软件包暂时不可用
  • sug: netgen-doc
    软件包暂时不可用
  • sug: octaviz
    软件包暂时不可用
  • sug: pari-extra
    软件包暂时不可用
  • sug: primesieve
    fast prime number generator C/C++ library
  • sug: proofgeneral-coq
    软件包暂时不可用
  • sug: qtoctave
    软件包暂时不可用
  • sug: r-cran-evd
    GNU R Functions for extreme value distributions
  • sug: sagetex
    Embed Sage code and plots into LaTeX
  • sug: scilab-scimax
    软件包暂时不可用
  • sug: scilab-sivp
    软件包暂时不可用
  • sug: scilab-swt
    软件包暂时不可用
  • sug: toulbar2
    Exact combinatorial optimization for Graphical Models
  • sug: xmds
    软件包暂时不可用

下载 science-mathematics

下载可用于所有硬件架构的
硬件架构 软件包大小 安装后大小 文件
all 4.4 kB37 kB [文件列表]