Skip to content
Sections
>> Trisquel >> Packages >> nabia >> misc >> science-mathematics
etiona  ] [  nabia  ] [  aramo  ]
[ Source: debian-science  ]

Пакунок: science-mathematics (1.12ubuntu1)

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

  • depends
  • recommends
  • suggests
  • dep: science-config (= 1.12ubuntu1)
    Debian Science Project config package
  • dep: science-tasks (= 1.12ubuntu1)
    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-symphony
    COIN-OR solver for mixed-integer linear programs
  • rec: coq
    proof assistant for higher-order logic (toplevel and compiler)
  • rec: cryptominisat
    Пакунок недоступний
  • 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: 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
  • 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
    high-performance programming language for technical computing
  • 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: magnus
    Very simple screen magnifier
  • rec: mathicgb
    Пакунок недоступний
  • 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: model-builder
    Пакунок недоступний
  • 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: 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
    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-sagenb-export
    Convert SageNB Notebooks (Python 3)
  • rec: python3-ufl
    unified language for form-compilers (Python 3)
  • 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
    Пакунок недоступний
  • 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: 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
    Пакунок недоступний
  • sug: ann-tools
    Approximate Nearest Neighbor Searching library (tools)
  • sug: cliquer
    clique searching program
  • sug: eprover
    Пакунок недоступний
  • sug: evolver-ogl
    Surface Evolver - with OpenGL display
    or evolver-nox
    Surface Evolver - with no X support
  • sug: feel++-apps
    Пакунок недоступний
  • sug: freefem3d
    Пакунок недоступний
  • sug: freemat
    Пакунок недоступний
  • 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
    Пакунок недоступний
  • sug: gap-scscp
    SCSCP protocol in GAP
  • sug: gap-small-groups
    Пакунок недоступний
  • sug: gap-small-groups-extra
    Пакунок недоступний
  • sug: gap-trans-groups
    Пакунок недоступний
  • sug: gmp-ecm
    Factor integers using the Elliptic Curve Method
  • sug: isabelle
    Пакунок недоступний
  • sug: kseg
    Пакунок недоступний
  • sug: matlab-support
    Пакунок недоступний
  • sug: netgen-doc
    Automatic 3d tetrahedral mesh generator documentation
  • sug: octaviz
    Пакунок недоступний
  • sug: pari-extra
    Пакунок недоступний
  • sug: primesieve
    fast prime number generator C/C++ library
  • sug: proofgeneral-coq
    Пакунок недоступний
  • sug: prover9
    Пакунок недоступний
  • sug: pyomo
    Пакунок недоступний
  • sug: r-cran-evd
    GNU R Functions for extreme value distributions
  • sug: sagetex
    Embed Sage code and plots into LaTeX
  • sug: scilab-scimax
    Пакунок недоступний
  • sug: snappea
    Пакунок недоступний
  • sug: xmds
    Пакунок недоступний

Завантажити science-mathematics

Завантаження для всіх доступних архітектур
Архітектура Розмір пакунка Розмір після встановлення Файли
all 4.4 kB40 kB [список файлів]