[ 原始碼: debian-science ]
套件:science-mathematics(1.14.2)
science-mathematics 的相關連結
Debian 的資源:
下載原始碼套件 debian-science:
維護小組:
外部的資源:
- 主頁 [wiki.debian.org]
相似套件:
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.14.2)
- Debian Science Project config package
-
- dep: science-tasks (= 1.14.2)
- 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-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: 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: 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: 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: 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: 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-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: 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: eprover
- 套件暫時不可用
-
- sug: evolver-ogl
- Surface Evolver - with OpenGL display
- 或者 evolver-nox
- Surface Evolver - with no X support
-
- sug: feel++-apps
- 套件暫時不可用
-
- sug: freefem++
- 套件暫時不可用
-
- 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: matita
- 套件暫時不可用
-
- sug: matlab-support
- distro integration for local MATLAB installations
-
- sug: model-builder
- 套件暫時不可用
-
- 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: python3-openturns
- 套件暫時不可用
-
- sug: qepcad
- 套件暫時不可用
-
- sug: r-cran-evd
- GNU R Functions for extreme value distributions
-
- sug: sagetex
- Embed Sage code and plots into LaTeX
-
- sug: scilab-ann
- 套件暫時不可用
-
- sug: scilab-scimax
- 套件暫時不可用
-
- sug: snappea
- 套件暫時不可用
-
- sug: xmds
- 套件暫時不可用