skip the navigation

Packages

• About Debian
• Getting Debian
• Support
• Developers' Corner

 / Packages / bookworm (stable) / metapackages / science-mathematics

[  buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]

[ Source: debian-science  ]

Links for science-mathematics

Debian Resources:

• Bug Reports
• Developer Information
• Debian Changelog
• Copyright File

Download Source Package debian-science:

• [debian-science_1.14.5.dsc]
• [debian-science_1.14.5.tar.xz]

Maintainers:

• Debian Science Team (QA Page, Mail Archive)
• Andreas Tille (QA Page)
• Ole Streicher (QA Page)

External Resources:

• Homepage [wiki.debian.org]

Similar packages:

• science-physics
• science-chemistry
• science-geography
• science-nanoscale-physics-dev
• science-mathematics-dev
• science-highenergy-physics
• science-highenergy-physics-dev
• science-typesetting
• science-viewing
• science-biology
• science-nanoscale-physics

Other Packages Related to science-mathematics

depends

recommends

suggests

enhances

• dep: science-config (= 1.14.5)

  Debian Science Project config package

• dep: science-tasks (= 1.14.5)

  Debian Science tasks for 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

  그래프 자기동형 및 라벨 계산 도구 -- 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

  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: eprover

  Equational theorem prover

• rec: fenics

  미분 방정식의 자동화된 솔루션

• rec: flintqs

  Program using quadratic sieve to factor integers

• rec: form

  기호 조작 시스템

• 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

  그룹, 알고리즘 그리고 프로그래밍에 대한 컴퓨터 대수학 시스템

• 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 (executable)

• rec: geogebra

  Dynamic mathematics software for education

• 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

  3차원 유한 요소 메쉬 생성기

• rec: graphviz

  rich set of graph drawing tools

• rec: hol-light

  HOL Light theorem prover

• rec: lcalc

  L-함수로 계산하기 위한 프로그램

• 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

  (혼합 정수) 선형 계획 문제 풀기

• 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

  포터블 컴퓨터 대수 시스템 (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

  그래프 자기동형을 위한 라이브러리 -- 인터페이스 및 도구

• 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

  격자 폴리토프 분석용 패키지

• 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

  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-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

  철포 및 관련 구조 (유틸리티) 계산

• rec: qsopt-ex

  Exact linear programming solver

• rec: regina-normal

  mathematical software for low-dimensional topology

• rec: rheolef

  효율적인 유한 요소 환경

• 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-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

  데비안 과학 통계 패키지

• rec: scilab

  수치 계산을 위한 과학 소프트웨어 패키지

• rec: scotch

  그래프, 메시 및 하이퍼그래프 분할을 위한 프로그램 및 라이브러리

• rec: singular

  Computer Algebra System for Polynomial Computations

• rec: surf-alggeo

  visualization of real algebraic geometry

• rec: sympow

  SYMmetric POWer 타원 곡선 L-함수용 수학 프로그램 -- 프로그램

• rec: tachyon

  병렬/다중프로세서 독립형 광원 추적기 - 메타패키지

• rec: tetgen

  품질 사면체 메시 생성기

• 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

  컴퓨터 대수 시스템 -- x 인터페이스

• rec: xmds2

  eXtensible Multi-Dimensional Simulator

• sug: ann-tools

  근사 근접 이웃 탐색 라이브러리 (도구)

• sug: cliquer

  클리크 검색 프로그램

• sug: evolver-ogl

  Surface Evolver - with OpenGL display

  or evolver-nox

  Surface Evolver - with no X support

• sug: feel++-apps

  Package not available

• sug: freefem3d

  Package not available

• sug: freemat

  Package not available

• 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

  Package not available

• sug: gap-scscp

  SCSCP protocol in GAP

• sug: gap-small-groups

  Package not available

• sug: gap-small-groups-extra

  Package not available

• sug: gap-trans-groups

  Package not available

• sug: gmp-ecm

  타원 곡선 방법을 사용하는 Factor 정수

• sug: isabelle

  Package not available

• sug: julia

  Package not available

• sug: libspectra-dev

  library for large scale eigenvalue problems (development files)

• sug: matita

  Package not available

• sug: matlab-support

  distro integration for local MATLAB installations

• sug: model-builder

  Package not available

• sug: netgen-doc

  Automatic 3d tetrahedral mesh generator documentation

• sug: octaviz

  Package not available

• sug: primesieve

  fast prime number generator C/C++ library

• sug: prover9

  Package not available

• sug: pyomo

  Package not available

• sug: r-cran-evd

  GNU R Functions for extreme value distributions

• sug: sagetex

  Embed Sage code and plots into LaTeX

• sug: scilab-ann

  Package not available

• sug: snappea

  Package not available

• sug: xmds

  Package not available

Download science-mathematics

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	10.8 kB	31.0 kB	[list of files]