[ Source: debian-science ]
Пакунок: science-mathematics (1.14.7)
Links for science-mathematics
Debian Resources:
Download Source Package debian-science:
Maintainers:
External Resources:
- Homepage [wiki.debian.org]
Similar packages:
Науковий набір Debian — пакунки з математики
Цей збірний пакунок встановить усі пакунки з Наукового набору Debian, що стосуються математики. Вас також зацікавить поле field::mathematics у debtag, а також, в залежності від ваших уподобань, пакунки на які посилається збірний пакунок education-mathematics.
Інші пакунки пов'язані з science-mathematics
|
|
|
|
-
- dep: science-config (= 1.14.7)
- Debian Science Project config package
-
- dep: science-tasks (= 1.14.7)
- Науковий набір Debian — задачі для tasksel
-
- rec: 4ti2
- mathematical tool suite for problems on linear spaces -- tools
-
- rec: agda
- Функціональна мова програмування з залежними типами
-
- 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
- Пакунок недоступний
-
- rec: coq
- Інтерактивний програмний засіб доведення теорем для логіки вищого порядку (інтерактивне середовище і компілятор)
-
- rec: cryptominisat
- SAT solver command line interface
-
- rec: eclib-tools
- Пакунок недоступний
-
- rec: eprover
- Equational theorem prover
-
- rec: fenics
- Пакунок недоступний
-
- 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
- Мова програмування для вирішення ДУЧП методом кінцевих елементів
-
- rec: freefem++
- Provides the binaries of the FreeFem++ FE suite
-
- rec: frobby
- Computations with monomial ideals
-
- rec: gap
- Система обчислювальної алгебри для Груп, Алгоритмів та Програмування
-
- rec: gap-character-tables
- Бібліотека GAP таблиць символів
-
- 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
- Програмне забезпечення для навчання динамічної математики
-
- rec: geomview
- Програма інтерактивного перегляду геометрії
-
- rec: gerris
- Обраховувач потоків рідин
-
- 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
- Генератор тривимірних полігональних кінцевих елементів
-
- rec: graphviz
- Багатий набір інтрументів для візуалізації діаграм
-
- 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
also a virtual package provided by 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: maxima-sage
- Computer algebra system -- base system
-
- rec: mcl
- Кластерний алгоритм Маркова
-
- 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
- Автоматичний генератор тривимірних чотиригранних сіток
-
- rec: normaliz
- math computing tools for affine monoids, rational polytopes and cones
-
- rec: octave
- GNU Octave language for numerical computations
-
- rec: palp
- Пакунок для аналізу ґратчастих багатогранників
-
- 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
- Пакунок недоступний
-
- 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-sagenb-export
- Convert SageNB Notebooks (Python 3)
-
- 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: regina-normal
- Пакунок недоступний
-
- rec: rheolef
- Пакунок недоступний
-
- rec: rubiks
- Small collection of Rubik's cube solvers
-
- rec: sagemath
- Пакунок недоступний
-
- 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 — пакунки зі статистики
-
- rec: scilab
- Пакет наукового ПЗ для чисельних обрахунків
-
- 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
- Графічний інтерфейс користувача для системи комп’ютерної алгебри 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
- 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
- Система обчислювальної алгебри для Груп, Алгоритмів та Програмування, онлайн довідка
-
- 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: julia
- Пакунок недоступний
-
- sug: libspectra-dev
- library for large scale eigenvalue problems (development files)
-
- 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: primesieve
- fast prime number generator C/C++ library
-
- sug: prover9
- Пакунок недоступний
-
- sug: pyomo
- Пакунок недоступний
-
- sug: r-cran-evd
- GNU R Functions for extreme value distributions
-
- sug: sagetex
- Пакунок недоступний
-
- sug: scilab-ann
- Пакунок недоступний
-
- sug: snappea
- Пакунок недоступний
-
- sug: xmds
- Пакунок недоступний
Завантажити science-mathematics
Архітектура | Розмір пакунка | Розмір після встановлення | Файли |
---|---|---|---|
all | 10.8 kB | 31.0 kB | [список файлів] |