[ 源代码: debian-science ]
软件包: science-mathematics (1.7ubuntu3)
science-mathematics 的相关链接
Trisquel 的资源:
下载源码包 debian-science:
维护者:
Original Maintainers:
- Debian Science Team (Mail Archive)
- Andreas Tille
- Ole Streicher
外部的资源:
- 主页 [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.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
- 软件包暂时不可用