Summary
Mathematics
이 메타패키지는 수학과 관련된 데비안 과학 패키지를 설치할 것 입니다. 또한 field::mathematics debtag 및 사용자 관심에 따라 education-mathematics 메타패키지에도 관심을 가질 수 있습니다.
Description
For a better overview of the project's availability as a Debian package, each head row has a color code according to this scheme:
If you discover a project which looks like a good candidate for Debian Science
to you, or if you have prepared an unofficial Debian package, please do not hesitate to
send a description of that project to the Debian Science mailing list
Links to other tasks
|
Debian Science Mathematics packages
Official Debian packages with high relevance
4ti2
mathematical tool suite for problems on linear spaces -- tools
|
Versions of package 4ti2 |
Release | Version | Architectures |
bookworm | 1.6.9+ds-8 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 1.6.9+ds-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 1.6.9+ds-1 | amd64,arm64,armhf,i386 |
stretch | 1.6.7+ds-2 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
trixie | 1.6.10+ds-1.1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 1.6.10+ds-1.1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
|
License: DFSG free
|
4ti2 is a mathematical software package for algebraic, geometric
and combinatorial problems on linear spaces.
This package provides the 4ti2 tool suite.
|
|
agda
|
Versions of package agda |
Release | Version | Architectures |
trixie | 2.6.4.3-1 | all |
jessie | 2.4.0.2-2 | all |
stretch | 2.5.1.1-3 | all |
buster | 2.5.4.1-3 | all |
bullseye | 2.6.1-1 | all |
bookworm | 2.6.2.2-1.1 | all |
sid | 2.6.4.3-1 | all |
upstream | 2.7.0.1 |
Debtags of package agda: |
role | metapackage |
|
License: DFSG free
|
Agda는 종속 타입 함수형 프로그래밍 언어입니다: Haskell의 GADT처럼 귀납적인 관계를 가지고 있지만, 유형이 아닌 단지 값에 의해서 인덱스될 수 있습니다. 모듈, mixfix 연산자, 유니코드 문자, 대화형 Emacs 인터페이스등을 매개변수화 합니다 (형식 검사기는 개발에 도움을 줄 수 있습니다).
Agda는 증명 보조자이기도 합니다: 증명 작성 및 확인을 위한 대화형 시스템입니다. Agda는 직관주의적 유형 이론을 기반으로 하며, 이 이론은 스웨덴 논리학자 Per Martin-Löf 가 개발한 건설 수학을 위한 기본 시스템입니다. Coq, Epigram, NuPRL 같은 종속 유형을 기반으로 하는 다른 증명 보조자와 많이 유사합니다.
이 패키지는 Agda의 이맥스 모드, 실행 파일, 표준 라이브러리, 문서를 제공하는 메타 패키지입니다.
|
|
auto-07p
software for continuation and bifurcation problems in ODE
|
Versions of package auto-07p |
Release | Version | Architectures |
sid | 0.9.2+dfsg-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
jessie | 0.9.1+dfsg-1 | amd64,armel,armhf,i386 |
stretch | 0.9.1+dfsg-3 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
buster | 0.9.1+dfsg-7 | amd64,arm64,armhf,i386 |
bullseye | 0.9.2+dfsg-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 0.9.2+dfsg-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 0.9.2+dfsg-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
|
License: DFSG free
|
AUTO can do a limited bifurcation analysis of algebraic systems
of the form
f(u,p) = 0, f,u in Rn
and of systems of ordinary differential equations of the form
u'(t) = f(u(t),p), f,u in Rn
subject to initial conditions, boundary conditions, and integral
constraints. Here p denotes one or more parameters. AUTO can also
do certain continuation and evolution computations for parabolic
PDEs. It also includes the software HOMCONT for the bifurcation
analysis of homoclinic orbits. AUTO is quite fast and can benefit
from multiple processors; therefore it is applicable to rather
large systems of differential equations.
|
|
axiom
General purpose computer algebra system: main binary and modules
|
Versions of package axiom |
Release | Version | Architectures |
bullseye | 20170501-6 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 20170501-13 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
stretch | 20140801-12 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
jessie | 20140801-6 | amd64,armel,armhf,i386 |
sid | 20170501-13 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
buster | 20170501-4 | amd64,arm64,armhf,i386 |
bookworm | 20170501-12 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
Debtags of package axiom: |
devel | compiler, interpreter |
field | mathematics |
interface | text-mode |
role | program |
scope | utility |
|
License: DFSG free
|
Axiom is useful for
research and development of mathematical algorithms. It defines a
strongly typed, mathematically correct type hierarchy. It has a
programming language and a built-in compiler.
Axiom has been in development since 1973 and was sold as a
commercial product. It has been released as free software.
Efforts are underway to extend this software to (a) develop a
better user interface (b) make it useful as a teaching tool
(c) develop an algebra server protocol (d) integrate additional
mathematics (e) rebuild the algebra in a literate programming style
(f) integrate logic programming (g) develop an Axiom Journal with
refereed submissions.
This package contains the main program binary and all precompiled
algebra and autoloadable modules.
The package is enhanced by the following packages:
texmacs-bin
|
|
bliss
그래프 자기동형 및 라벨 계산 도구 -- bin
|
Versions of package bliss |
Release | Version | Architectures |
stretch | 0.73-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
sid | 0.77-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
trixie | 0.77-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 0.73-5 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 0.73-5 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 0.73-2 | amd64,arm64,armhf,i386 |
jessie | 0.72-5 | amd64,armel,armhf,i386 |
Debtags of package bliss: |
interface | commandline |
role | program |
|
License: DFSG free
|
Bliss는 개별화 및 개선에 근거한, 자기동형 그룹 계산 및 그래프의 기본형을 위
한 역추적 알고리즘입니다. Bliss의 데이타 구조, 서브루틴, 그리고 pruning 휴
리스틱은 크고 드문 그래픽의 처리를 위해 특별히 설계되었습니다.
이 패키지는 명령행 도구 bliss를 제공합니다.
|
|
cohomcalg
sheaf cohomology of line bundles on toric varieties
|
Versions of package cohomcalg |
Release | Version | Architectures |
bullseye | 0.32+ds-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
sid | 0.32+ds-6 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
trixie | 0.32+ds-6 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 0.32+ds-6 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 0.32+ds-2 | amd64,arm64,armhf,i386 |
|
License: DFSG free
|
The algorithm for the computation of sheaf cohomologies for line bundles on
toric varieties presented in "Cohomology of Line Bundles: A Computational
Algorithm" by Ralph Blumenhagen, Benjamin Jurke, Thorsten Rahn, and Helmut
Roschy has been implemented in a convenient and high-performance C/C++
application called cohomCalg.
The optional cohomCalg Koszul extension serves as a Mathematica 7 frontend and
allows for the easy computation of hypersurface and complete intersection
cohomologies, following the material presented in "Cohomology of Line Bundles:
Applications" by the same authors.
|
|
coinor-cbc
Coin-or branch-and-cut mixed integer programming solver
|
Versions of package coinor-cbc |
Release | Version | Architectures |
stretch | 2.8.12-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
bullseye | 2.10.5+ds1-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 2.10.8+ds1-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 2.10.12+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 2.10.12+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
jessie | 2.8.12-1 | amd64,armel,armhf,i386 |
buster | 2.9.9+repack1-1 | amd64,arm64,armhf,i386 |
|
License: DFSG free
|
Cbc (Coin-or branch and cut) is an open-source mixed integer programming
solver written in C++. It can be used as a callable library or as a
stand-alone executable.
This package contains cbc executable.
|
|
coinor-csdp
Software package for semidefinite programming (binaries)
|
Versions of package coinor-csdp |
Release | Version | Architectures |
bookworm | 6.2.0-4 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
sid | 6.2.0-5 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
trixie | 6.2.0-5 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bullseye | 6.2.0-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 6.1.1-1 | amd64,arm64,armhf,i386 |
stretch | 6.1.1-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
jessie | 6.1.1-1 | amd64,armel,armhf,i386 |
|
License: DFSG free
|
CSDP is a library of routines that implements a predictor corrector variant of
the semidefinite programming algorithm of Helmberg, Rendl, Vanderbei, and
Wolkowicz. The code runs in parallel on shared memory multi-processor systems,
and it makes effective use of sparsity in the constraint matrices.
CSDP is part of the larger COIN-OR initiative (Computational Infrastructure
for Operations Research).
This package contains the binaries.
|
|
coinor-libbonmin-dev
COIN-OR mixed integer programming (developer files)
|
Versions of package coinor-libbonmin-dev |
Release | Version | Architectures |
trixie | 1.8.9-1.1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 1.8.9-1.1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 1.8.9-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
|
License: DFSG free
|
Bonmin (Basic Open-source Nonlinear Mixed INteger programming) is an
open-source code for solving general MINLP (Mixed Integer NonLinear
Programming) problems.
Bonmin is part of the larger COIN-OR initiative (Computational Infrastructure
for Operations Research) and can be used with other COIN-OR packages that
make use of cuts, such as the mixed-integer linear programming solver Cbc.
This package contains the header files for developers.
|
|
coinor-symphony
COIN-OR solver for mixed-integer linear programs
|
Versions of package coinor-symphony |
Release | Version | Architectures |
sid | 5.6.17+dfsg-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 5.6.17+dfsg-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 5.6.16+repack1-1.1 | amd64,arm64,armhf,i386 |
bullseye | 5.6.16+repack1-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
stretch | 5.6.1-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
jessie | 5.6.1-1 | amd64,armel,armhf,i386 |
|
License: DFSG free
|
SYMPHONY is an open-source generic mixed-integer linear programs (MILP) solver,
callable library, and extensible framework for implementing customized solvers
SYMPHONY has a number of advanced capabilities, including the ability to
solve multi-objective MILPs, the ability to warm start its solution procedure,
and the ability to perform basic sensitivity analyses.
SYMPHONY is part of the larger COIN-OR initiative (Computational Infrastructure
for Operations Research).
This package contains the symphony executable.
|
|
coq
proof assistant for higher-order logic (toplevel and compiler)
|
Versions of package coq |
Release | Version | Architectures |
jessie | 8.4pl4dfsg-1 | amd64,armel,armhf,i386 |
buster | 8.9.0-1 | amd64,arm64,armhf,i386 |
bullseye | 8.12.0-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el |
stretch | 8.6-4 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
bookworm | 8.16.1+dfsg-1 | amd64,arm64,armhf,i386,ppc64el,s390x |
trixie | 8.20.0+dfsg-1 | amd64,arm64,ppc64el,riscv64,s390x |
sid | 8.20.0+dfsg-1 | amd64,arm64,ppc64el,riscv64,s390x |
Debtags of package coq: |
devel | compiler |
field | mathematics |
interface | commandline, text-mode |
role | program |
scope | utility |
uitoolkit | ncurses |
|
License: DFSG free
|
Coq is a proof assistant for higher-order logic, which allows the
development of computer programs consistent with their formal
specification. It is developed using Objective Caml and Camlp5.
This package provides coqtop, a command line interface to Coq.
A graphical interface for Coq is provided in the coqide package.
Coq can also be used with ProofGeneral, which allows proofs to be
edited using emacs and xemacs. This requires the proofgeneral
package to be installed.
|
|
cryptominisat
SAT solver command line interface
|
Versions of package cryptominisat |
Release | Version | Architectures |
trixie | 5.11.21+dfsg1-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 5.11.4+dfsg1-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
sid | 5.11.21+dfsg1-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bullseye | 5.8.0+dfsg1-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
upstream | 5.11.22 |
|
License: DFSG free
|
CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
This package provides a command line interface which reads SAT formulas in
conjunctive normal form in the DIMACS format with the extension of XOR
clauses and decides whether they are satisfiable.
|
|
eclib-tools
Programs for modular symbols and elliptic curves over Q
|
Versions of package eclib-tools |
Release | Version | Architectures |
sid | 20231212-1.1 | armel,armhf |
stretch | 20160720-2 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
experimental | 20241112-1 | amd64,arm64,i386,mips64el,ppc64el,riscv64,s390x |
jessie | 2014-09-21-1 | amd64,armel,armhf,i386 |
bullseye | 20190909-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 20221012-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 20180815-2 | amd64,arm64,armhf,i386 |
sid | 20240408-1 | amd64,arm64,i386,mips64el,ppc64el,riscv64,s390x |
upstream | 20241112 |
|
License: DFSG free
|
This package includes several programs to compute with elliptic curves
over Q ; most notably mwrank (for 2-descent on elliptic curves over Q)
and the modular symbol tools used to create the elliptic curve database.
|
|
eprover
Equational theorem prover
|
Versions of package eprover |
Release | Version | Architectures |
trixie | 3.2.5+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 3.2.5+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 2.6+ds-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
|
License: DFSG free
|
This package provides tools to prove equational theorems:
from a mathematical specification in many-sorted first-order
logic with equality and an hypothesis/conjecture, it
will look for a proof.
|
|
feel++-apps
??? missing short description for package feel++-apps :-(
|
Versions of package feel++-apps |
Release | Version | Architectures |
jessie | 0.99.0-final.1-1 | amd64,i386 |
|
License: DFSG free
|
|
|
fenics
|
Versions of package fenics |
Release | Version | Architectures |
sid | 0.9.0.1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bullseye | 2019.2.0.5 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 2018.1.0.6 | amd64,arm64,armhf,i386 |
stretch | 2016.2.0.1 | all |
bookworm | 0.5.0.1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
jessie | 1.4.0.1 | all |
Debtags of package fenics: |
field | mathematics |
role | metapackage |
|
License: DFSG free
|
FEniCS는 미분 방정식의 자동화, 효율적 솔루션을 위한 자유 소프트웨어 모음입니다.
FEniCS는 가변 문제의 자동화 솔루션, 자동화된 오류 제어 및 적응성, 유한 요소의 포괄적 라이브러리, 고성능 선형 대수등을 포함한 광범위한 기능 목록을 가지고 있습니다.
FEniCS는 문제해결 환경 DOLFIN, 형식 컴파일러 FFC, 유한 요소 타블레이터 FIAT, Just-In-Time 컴파일러 Instant, 코드 생성 인터페이스 UFC, 형식 언어 UFL 및 다양한 추가 구성 요소를 포함한 상호 운용 가능한 콤포넌트의 모음으로 구성됩니다.
이는 모든 FEniCS 콤포넌트에 따라 달라지는 메타패키지입니다.
이는 FEniCS의 레거시 버전입니다. 차세대 FEniCS-X (fenicx 패키지) 설치를 고려할 수도 있습니다.
|
|
flintqs
Program using quadratic sieve to factor integers
|
Versions of package flintqs |
Release | Version | Architectures |
stretch | 1.0-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
trixie | 1.0-4 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 1.0-4 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
sid | 1.0-4 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bullseye | 1.0-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 1.0-3 | amd64,arm64,armhf,i386 |
|
License: DFSG free
|
This package includes William Hart's program to find prime factors of large
integers (at least forty digits).
It does so using highly optimized multi-polynomial quadratic sieve.
|
|
form
|
Versions of package form |
Release | Version | Architectures |
buster | 4.2.1-1 | amd64,arm64,armhf,i386 |
bookworm | 4.3.0+git20230104+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 4.3.1+git20240409+ds-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 4.3.1+git20240409+ds-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bullseye | 4.2.1+git20200217-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
stretch | 4.1-1 | amd64,i386,mips,mips64el,mipsel |
|
License: DFSG free
|
이 패키지는 기호 조작 시스템입니다. 기호 표현을 파일에서 읽어 기호/대수 변
환을 실행합니다. 답은 문자 수학적 표현으로 반환됩니다. 랜드마크 기능으로
FORM에서 고려되는 표현식의 크기는 오직 가용한 디스크 공간에 의해서만 제약을
받으며, 가용한 RAM에 의해서는 제약을 받지 않습니다.
|
|
fplll-tools
Tools to compute LLL-reduction of Euclidian lattices
|
Versions of package fplll-tools |
Release | Version | Architectures |
buster | 5.2.1-2 | amd64,arm64,armhf,i386 |
sid | 5.5.0-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
jessie | 4.0.4-2 | amd64,armel,armhf,i386 |
bullseye | 5.4.0-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 5.4.5-1.1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
stretch | 5.0.3-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
bookworm | 5.4.4-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
|
License: DFSG free
|
fpLLL is a library for computing reduced (nearly orthogonal) bases
for Euclidean lattices using the floating-point LLL algorithm.
fpLLL contains multiple different implementations of the
floating-point LLL reduction algorithm, offering multiple different
speed/guarantees ratios.
It contains a 'wrapper' that chooses the estimated best sequence of
variants in order to provide a guaranteed output as fast as possible.
In the case of the wrapper, the succession of variants is oblivious
to the user.
This package contains the base tools using libfplll.
|
|
freefem
PDE oriented language using Finite Element Method
|
Versions of package freefem |
Release | Version | Architectures |
bullseye | 3.5.8-7 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 3.5.8-7 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 3.5.8-7 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
jessie | 3.5.8-5.1 | amd64,armel,armhf,i386 |
stretch | 3.5.8-5.1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
bookworm | 3.5.8-7 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 3.5.8-7 | amd64,arm64,armhf,i386 |
Debtags of package freefem: |
devel | interpreter |
field | physics |
interface | commandline |
role | program |
scope | utility |
|
License: DFSG free
|
FreeFEM is a language adapted to Partial Differential equation. The
underlying method used is the Finite Element Method.
This tool has been successfully used as a teaching tool and even as a
research tool.
|
|
freefem++
Provides the binaries of the FreeFem++ FE suite
|
Versions of package freefem++ |
Release | Version | Architectures |
trixie | 4.14+dfsg-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 4.11+dfsg1-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
sid | 4.14+dfsg-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
jessie | 3.31-2-1 | amd64,armel,armhf,i386 |
stretch | 3.47+dfsg1-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
buster | 3.61.1+dfsg1-4 | amd64,arm64,armhf,i386 |
upstream | 4.15 |
|
License: DFSG free
|
FreeFem++ is an implementation of a language dedicated to the finite
element method. It enables you to solve Partial Differential
Equations (PDE) easily.
Problems involving PDE from several branches of physics such as
fluid-structure interactions require interpolations of data on
several meshes and their manipulation within one program. FreeFem++
includes a fast quadtree-based interpolation algorithm and a language
for the manipulation of these data on multiple meshes. It contains
also a powerful mesh generation and adaption tool integrated
seamlessly in FreeFem++ called bamg.
FreeFem++ is written in C++ and the FreeFem++ language is a C++ idiom
allowing for a smooth learning curve.
This package contains the executables of FreeFem++.
|
|
freefem3d
??? missing short description for package freefem3d :-(
|
Versions of package freefem3d |
Release | Version | Architectures |
jessie | 1.0pre10-3.2 | amd64,armel,armhf,i386 |
stretch | 1.0pre10-3.4 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
Debtags of package freefem3d: |
devel | interpreter |
field | physics |
interface | commandline |
role | program |
scope | utility |
uitoolkit | qt |
works-with | 3dmodel |
|
License: DFSG free
|
|
|
freemat
mathematics framework (mostly matlab compatible)
|
Versions of package freemat |
Release | Version | Architectures |
jessie | 4.0-5 | amd64,armel,armhf,i386 |
buster | 4.2+dfsg1-6 | amd64,arm64,armhf,i386 |
stretch | 4.2+dfsg1-4 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
Debtags of package freemat: |
field | mathematics |
interface | commandline, x11 |
role | program |
scope | application |
uitoolkit | qt |
x11 | application |
|
License: DFSG free
|
FreeMat is a free environment for rapid engineering and scientific prototyping
and data processing. It is similar to commercial systems such as MATLAB from
Mathworks, and IDL from Research Systems, but is Open Source.
FreeMat is available under the GPL license.
|
|
frobby
Computations with monomial ideals
|
Versions of package frobby |
Release | Version | Architectures |
bookworm | 0.9.5-4 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 0.9.1-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
stretch | 0.9.0-2 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
buster | 0.9.0-5 | amd64,arm64,armhf,i386 |
trixie | 0.9.5-4 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 0.9.5-4 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
|
License: DFSG free
|
Frobby is a software system and project for computations with monomial ideals.
Frobby is free software and it is intended as a vehicle for computational and
mathematical research on monomial ideals.
The current functionality includes Euler characteristic, Hilbert series,
maximal standard monomials, combinatorial optimization on monomial ideals,
primary decomposition, irreducible decomposition, Alexander dual, associated
primes, minimization and intersection of monomial ideals as well as the
computation of Frobenius problems (using 4ti2) with very mmlarge numbers.
Frobby is also able to translate between formats that can be used with several
different computer systems, such as Macaulay 2, Monos, 4ti2, CoCoA4 and
Singular. Thus Frobby can be used with any of those systems.
|
|
gap
그룹, 알고리즘 그리고 프로그래밍에 대한 컴퓨터 대수학 시스템
|
Versions of package gap |
Release | Version | Architectures |
bookworm | 4.12.1-2 | all |
stretch | 4r8p6-2 | all |
buster | 4r10p0-7 | all |
jessie | 4r7p5-2 | all |
bullseye | 4.11.0-4 | all |
trixie | 4.13.1-1 | all |
sid | 4.14.0-2 | all |
Debtags of package gap: |
field | mathematics |
role | metapackage |
|
License: DFSG free
|
GAP는 전산 그룹 이론을 특히 강조하는 전산 이산 대수학을 위한 시스템입니다.
GAP은 대수 개체의 큰 데이타 라이브러리 뿐만 아니라, 프로그래밍 언어, GAP 언
어로 작성된 대수 알고리즘을 구현하는 수천의 함수 라이브러리를 제공합니다.
GAP은 연구 그룹 및 그것에 대한 표현, 링, 벡터 공간, 대수, 조합 구조등을 위
한 연구 및 교육에 사용됩니다.
이 패키지는 표준 GAP 콤포넌트와 의존성을 갖는 더미 패키지입니다.
|
|
gap-character-tables
GAP Library of character tables
|
Versions of package gap-character-tables |
Release | Version | Architectures |
bookworm | 1.3.4-1 | all |
buster | 1r2p2.dfsg.0-3 | all |
bullseye | 1.3.1-1 | all |
stretch | 1r2p2.dfsg.0-3 | all |
sid | 1.3.9-2 | all |
trixie | 1.3.9-2 | all |
jessie | 1r2p2.dfsg.0-2 | all |
Debtags of package gap-character-tables: |
devel | library |
field | mathematics |
role | app-data |
|
License: DFSG free
|
GAP is a system for computational discrete algebra, with particular emphasis
on Computational Group Theory. GAP provides a programming language, a library
of thousands of functions implementing algebraic algorithms written in the GAP
language as well as large data libraries of algebraic objects. GAP is used in
research and teaching for studying groups and their representations, rings,
vector spaces, algebras, combinatorial structures, and more.
This package contains the Character Table Library by Thomas Breuer.
|
|
gap-design
|
Versions of package gap-design |
Release | Version | Architectures |
bullseye | 1.7+ds-2 | all |
bookworm | 1.7+ds-3 | all |
sid | 1.8.2+ds-1 | all |
trixie | 1.8.2+ds-1 | all |
buster | 1r6+ds-2 | all |
|
License: DFSG free
|
GAP is a system for computational discrete algebra with particular
emphasis on computational group theory, but which has already proved
useful also in other areas.
This package provides for GAP routines for constructing, classifying,
partitioning and studying block designs.
|
|
gap-factint
advanced methods for factoring integers for GAP
|
Versions of package gap-factint |
Release | Version | Architectures |
trixie | 1.6.3+ds-3 | all |
bullseye | 1.6.3+ds-1 | all |
sid | 1.6.3+ds-3 | all |
buster | 1.6.2+ds-1 | all |
bookworm | 1.6.3+ds-2 | all |
|
License: DFSG free
|
GAP is a system for computational discrete algebra with particular
emphasis on computational group theory, but which has already proved
useful also in other areas.
This package brings to GAP routines for factoring integers, in particular:
- Pollard's p-1
- Williams' p+1
- Elliptic Curves Method (ECM)
- Continued Fraction Algorithm (CFRAC)
- Multiple Polynomial Quadratic Sieve (MPQS)
It also provides access to Richard P. Brent's tables of factors of integers
of the form b^k +/- 1.
|
|
gap-float
multi-precision floating-point computation for GAP
|
Versions of package gap-float |
Release | Version | Architectures |
buster | 0.9.1+ds-4 | amd64,arm64,armhf,i386 |
sid | 1.0.5+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
trixie | 1.0.5+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 1.0.3+ds-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
jessie | 0.6.3+ds-1 | amd64,armel,armhf,i386 |
stretch | 0.7.4+ds-3 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
bullseye | 0.9.1+ds-6 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
|
License: DFSG free
|
GAP is a system for computational discrete algebra with particular
emphasis on computational group theory, but which has already proved
useful also in other areas.
This GAP package brings to GAP floating-point numbers with arbitrary
precision; it is based on MPFR, MPFI, MPC, CXSC, and FPLLL.
|
|
gap-grape
GRaph Algorithms using PErmutation groups for GAP
|
Versions of package gap-grape |
Release | Version | Architectures |
stretch | 4r7+ds-3 | all |
buster | 4.8.1+ds-3 | all |
bullseye | 4.8.3+ds-1 | all |
bookworm | 4.9.0+ds-1 | all |
trixie | 4.9.2+ds-1 | all |
sid | 4.9.2+ds-1 | all |
|
License: DFSG free
|
GAP is a system for computational discrete algebra with particular
emphasis on computational group theory, but which has already proved
useful also in other areas.
This package implements computing with graphs and groups for GAP.
GRAPE is primarily designed for constructing and analysing graphs
related to groups, finite geometries, and designs; special emphasis
is placed on the determination of regularity properties and subgraph
structure.
|
|
gap-guava
coding theory library for GAP
|
Versions of package gap-guava |
Release | Version | Architectures |
sid | 3.19+ds-3 | all |
trixie | 3.19+ds-3 | all |
bookworm | 3.17+ds-3 | all |
jessie | 3.12+ds1-2 | all |
stretch | 3.13+ds-2 | all |
buster | 3.14+ds-1 | all |
bullseye | 3.15+ds-3 | all |
|
License: DFSG free
|
GAP is a system for computational discrete algebra with particular
emphasis on computational group theory, but which has already proved
useful also in other areas.
This GAP package brings to GAP computing with error-correcting codes.
|
|
gap-laguna
|
Versions of package gap-laguna |
Release | Version | Architectures |
stretch | 3.7.0+ds-1 | all |
sid | 3.9.7+ds-1 | all |
trixie | 3.9.7+ds-1 | all |
bookworm | 3.9.5+ds-2 | all |
bullseye | 3.9.3+ds-2 | all |
buster | 3.9.1+ds-1 | all |
|
License: DFSG free
|
GAP is a system for computational discrete algebra with particular
emphasis on computational group theory, but which has already proved
useful also in other areas.
LAGUNA stands for `Lie AlGebras and UNits of group Algebras'.
This package provides GAP with functionality for calculation of the
normalized unit group of the modular group algebra of the finite p-group
and for investigation of Lie algebra associated with group algebras and
other associative algebras.
|
|
gap-openmath
OpenMath phrasebook for GAP
|
Versions of package gap-openmath |
Release | Version | Architectures |
buster | 11.4.2+ds-3 | all |
bookworm | 11.5.2+ds-1 | all |
bullseye | 11.5.0+ds-2 | all |
sid | 11.5.3+ds-2 | all |
trixie | 11.5.3+ds-2 | all |
jessie | 11.2.0+ds-1 | all |
stretch | 11.3.1+ds-2 | all |
|
License: DFSG free
|
GAP is a system for computational discrete algebra with particular
emphasis on computational group theory, but which has already proved
useful also in other areas.
This package allows GAP to import and export mathematical objects
encoded in OpenMath, for the purpose of exchanging them with other
applications that are OpenMath enabled.
|
|
gap-prim-groups
Database of primitive groups for GAP
|
Versions of package gap-prim-groups |
Release | Version | Architectures |
stretch | 4r8p5-1 | all |
buster | 4r8p5-2 | all |
jessie | 4r7p3-1 | all |
Debtags of package gap-prim-groups: |
devel | library |
field | mathematics |
role | app-data |
|
License: DFSG free
|
GAP is a system for computational discrete algebra with particular
emphasis on computational group theory, but which has already proved
useful also in other areas. In the example text, gap is used to
analyse Rubik's Cube using group theory. A kernel implements a Pascal-like
language.
This package contains the database of primitive groups.
This is a transitional package.
It can be safely removed after the installation is complete.
|
|
gap-small-groups
Database of small groups for GAP
|
Versions of package gap-small-groups |
Release | Version | Architectures |
buster | 4r8p5-2 | all |
jessie | 4r7p3-1 | all |
stretch | 4r8p5-1 | all |
Debtags of package gap-small-groups: |
devel | library |
field | mathematics |
role | app-data |
|
License: DFSG free
|
GAP is a system for computational discrete algebra with particular
emphasis on computational group theory, but which has already proved
useful also in other areas. In the example text, gap is used to
analyse Rubik's Cube using group theory. A kernel implements a Pascal-like
language.
The Small Groups Library is a catalogue of groups of `small' order.
This package contains the groups data and identification routines for groups
of order up to 1000 except 512, 768 and groups whose order factorises in at
most 3 primes.
Note that data for order 512, 768 and between 1000 and 2000 except 1024
are available separately in the gap-small-groups-extra packages.
This is a transitional package.
It can be safely removed after the installation is complete.
|
|
gap-small-groups-extra
Large database of small groups for GAP
|
|
License: DFSG free
|
GAP is a system for computational discrete algebra with particular
emphasis on computational group theory, but which has already proved
useful also in other areas. In the example text, gap is used to
analyse Rubik's Cube using group theory. A kernel implements a Pascal-like
language.
The Small Groups Library is a catalogue of groups of `small' order.
This package contains the groups data and identification routines for groups
- of order at most 2000 except 1024.
- of cubefree order at most 50 000.
- of order p^n for n <= 6 and all primes p.
- of squarefree order.
- whose order factorises in at most 3 primes.
- of order q^n * p for q^n dividing 2^8, 3^6, 5^5, 7^4 and p prime
different to q
The Small Groups Library provides access to these groups and a method to
identify the catalogue number of a given group.
This is a transitional package.
It can be safely removed after the installation is complete.
|
|
gap-sonata
Systems Of Nearrings And Their Applications for GAP
|
Versions of package gap-sonata |
Release | Version | Architectures |
bullseye | 2.9.1+ds-3 | all |
sid | 2.9.6+ds-2 | all |
buster | 2.9.1+ds-2 | all |
bookworm | 2.9.6+ds-1 | all |
trixie | 2.9.6+ds-2 | all |
|
License: DFSG free
|
GAP is a system for computational discrete algebra with particular
emphasis on computational group theory, but which has already proved
useful also in other areas.
This package provides to GAP methods for the construction and analysis
of finite nearrings.
|
|
gap-table-of-marks
GAP TomLib - The GAP Library of Tables of Marks
|
Versions of package gap-table-of-marks |
Release | Version | Architectures |
buster | 1.2.7-2 | all |
jessie | 1r2p2-1 | all |
bullseye | 1.2.9-1 | all |
sid | 1.2.11-1 | all |
bookworm | 1.2.9-2 | all |
trixie | 1.2.11-1 | all |
stretch | 1r2p5-2 | all |
Debtags of package gap-table-of-marks: |
devel | library |
field | mathematics |
role | app-data |
|
License: DFSG free
|
GAP is a system for computational discrete algebra, with particular emphasis
on Computational Group Theory. GAP provides a programming language, a library
of thousands of functions implementing algebraic algorithms written in the GAP
language as well as large data libraries of algebraic objects. GAP is used in
research and teaching for studying groups and their representations, rings,
vector spaces, algebras, combinatorial structures, and more.
This package contains the GAP Library of Tables of Marks by L. Naughton and G.
Pfeiffer.
|
|
gap-toric
|
Versions of package gap-toric |
Release | Version | Architectures |
sid | 1.9.6+ds-1 | all |
buster | 1.9.4+ds-1 | all |
bullseye | 1.9.5+ds-1 | all |
bookworm | 1.9.5+ds-2 | all |
trixie | 1.9.6+ds-1 | all |
|
License: DFSG free
|
GAP is a system for computational discrete algebra with particular
emphasis on computational group theory, but which has already proved
useful also in other areas.
This package provides for GAP routines for working with toric varieties
and dealing with cones and related combinatorial geometric object.
|
|
gap-trans-groups
Database of transitive groups for GAP
|
Versions of package gap-trans-groups |
Release | Version | Architectures |
stretch | 4r8p5-1 | all |
buster | 4r8p5-2 | all |
jessie | 4r7p3-1 | all |
Debtags of package gap-trans-groups: |
devel | library |
field | mathematics |
role | app-data |
|
License: DFSG free
|
GAP is a system for computational discrete algebra with particular
emphasis on computational group theory, but which has already proved
useful also in other areas. In the example text, gap is used to
analyse Rubik's Cube using group theory. A kernel implements a Pascal-like
language.
This package contains the database of transitive groups.
This is a transitional package.
It can be safely removed after the installation is complete.
|
|
geneagrapher
Create tree from Mathematics Genealogy Project (executable)
|
Versions of package geneagrapher |
Release | Version | Architectures |
bookworm | 1.0c2+git20220519-1 | all |
trixie | 2.0.0-1 | all |
stretch | 1.0c2+git20120704-2 | all |
sid | 2.0.0-1 | all |
buster | 1.0c2+git20180919-1 | all |
bullseye | 1.0c2+git20180919-2 | all |
|
License: DFSG free
|
The Mathematics Genealogy Grapher (Geneagrapher) is a software tool to gather
the information for building math genealogy trees with data from the
Mathematics Genealogy Project. The information extracted is stored in dot file
format, which can then be passed to Graphviz to generate a graph.
This package contains the command-line tool.
|
|
geogebra
Dynamic mathematics software for education
|
Versions of package geogebra |
Release | Version | Architectures |
bookworm | 4.0.34.0+dfsg1-9 | all |
trixie | 4.0.34.0+dfsg1-9 | all |
bullseye | 4.0.34.0+dfsg1-9 | all |
sid | 4.0.34.0+dfsg1-9 | all |
jessie | 4.0.34.0+dfsg1-3 | all |
stretch | 4.0.34.0+dfsg1-3 | all |
buster | 4.0.34.0+dfsg1-7 | all |
Debtags of package geogebra: |
field | mathematics |
interface | x11 |
role | program |
scope | application |
uitoolkit | xlib |
use | learning |
works-with | image, image:raster, image:vector |
works-with-format | png, svg |
x11 | applet, application |
|
License: DFSG free
|
GeoGebra is a dynamic geometry program. You can do constructions with points,
vectors, segments, lines, conic sections as well as functions and change
them dynamically afterwards. On the other hand, equations and coordinates
can be entered directly.
Support for many geometric constructions is provided, as well as support
for many calculus-based tools (derivatives, osculating circle, ...).
GeoGebra files can be exported in many different formats, or as interactive
applets for web pages.
|
|
geomview
|
Versions of package geomview |
Release | Version | Architectures |
sid | 1.9.5-5 | amd64,arm64,mips64el,ppc64el,riscv64,s390x |
bookworm | 1.9.5-4 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 1.9.5-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 1.9.5-2 | amd64,arm64,armhf,i386 |
stretch | 1.9.5-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
jessie | 1.9.4-4.1 | amd64,armel,armhf,i386 |
trixie | 1.9.5-5 | amd64,arm64,mips64el,ppc64el,riscv64,s390x |
Debtags of package geomview: |
field | mathematics |
interface | 3d, x11 |
role | program |
scope | application |
uitoolkit | motif |
use | learning, viewing |
works-with | 3dmodel |
x11 | application |
|
License: DFSG free
|
Geomview는 수학 연구와 교육에 특히 적합한 쌍방향 기하학 도형 소프트웨어입니
다. 특히, geomview는 유클리드 공간의 물체와 마찬가지로, 쌍곡선 및 구형 공간
내 물체를 표시할 수 있습니다.
Geomview는 대상과 카메라를 각각 독립적으로 제어할 수 있습니다. Geomview는
움직임, (조명, 명암, 그리고 재료를 포함하는)외관, 오브젝트 선택, 구석 또는
정점 레벨, SGI 이미지 파일 또는 Renderman RIB 형식에서 snapshot, 그리고 마
우스의 직접 조작을 통해 제공되는 오브젝트 추가 또는 삭제, 페널 조종, 그리고
키보드 단축키등을 위해 쌍방향 제어를 제공합니다. 외부 프로그램은 뷰어외 모
든것을 쌍방향으로 제어하는 동안, 뷰어의 모양을 원하는데로 만들 수 있습니다
(위치의 변화를 계속적으로 로딩하거나, 특정 오브젝트의 외관를 제어하는 것과
같이).
|
|
gerris
|
Versions of package gerris |
Release | Version | Architectures |
sid | 20131206+dfsg-21 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
stretch | 20131206+dfsg-17 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
buster | 20131206+dfsg-18 | amd64,arm64,armhf,i386 |
bullseye | 20131206+dfsg-19 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 20131206+dfsg-19 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 20131206+dfsg-21 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
jessie | 20131206+dfsg-5 | amd64,armel,armhf,i386 |
Debtags of package gerris: |
field | mathematics, physics |
role | program |
|
License: DFSG free
|
Gerris는 유체 흐름을 설명하는 편미분 방정식의 해법을 위한 시스템입니다.
(현재의) 주요 기능에 대한 간단한 요약:
- 시간에 따른 비압축성 가변 밀도 오일러, 스톡스 또는 나비어-스톡스
방정식을 해결합니다
- 적응 메쉬 개선: 해상도가 흐름의 특성에 동적으로 적응됩니다
- 전적으로 복잡한 형상에서 자동 메쉬 생성
- 공간과 시간에서 2차
- 무제한 이류/확산 수동 추적자
- 추가 소스 용어의 유연한 사양
- MPI 라이브러리를 사용하는 포터블 병렬 지원
- 계면 흐름을 위한 유체 이류 스키마 볼륨
이 패키지에는 MPI 지원 기능이 내장되어 있습니다.
|
|
getdp
general environment for the treatment of discrete problems
|
Versions of package getdp |
Release | Version | Architectures |
stretch | 2.9.2+dfsg1-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
buster | 3.0.4+dfsg1-1 | amd64,arm64,armhf,i386 |
bullseye | 3.2.0+dfsg1-1.1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 3.2.0+dfsg1-1.1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 3.5.0+dfsg1-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 3.5.0+dfsg1-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
|
License: DFSG free
|
GetDP is a general finite element solver using mixed elements to
discretize de Rham-type complexes in one, two and three dimensions.
The main feature of GetDP is the closeness between the input data
defining discrete problems (written by the user in ASCII data files)
and the symbolic mathematical expressions of these problems.
See GetDP's reference manual for a more thorough overview of GetDP's
capabilities: http://www.geuz.org/getdp
|
|
gfan
program for computing with Groebner fans
|
Versions of package gfan |
Release | Version | Architectures |
sid | 0.7-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
jessie | 0.5+dfsg-5 | amd64,armel,armhf,i386 |
stretch | 0.5+dfsg-6 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
buster | 0.6.2-2 | amd64,arm64,armhf,i386 |
bullseye | 0.6.2-4 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 0.6.2-6 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 0.7-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
|
License: DFSG free
|
Gfan is a software package for computing Groebner fans and tropical
varieties. These are polyhedral fans associated to polynomial
ideals. The maximal cones of a Groebner fan are in bijection with
the marked reduced Groebner bases of its defining ideal. The
software computes all marked reduced Groebner bases of an ideal.
Their union is a universal Groebner basis. The tropical variety of a
polynomial ideal is a certain subcomplex of the Groebner fan. Gfan
contains algorithms for computing this complex for general ideals and
specialized algorithms for tropical curves, tropical hypersurfaces
and tropical varieties of prime ideals. In addition to the above core
functions the package contains many tools which are useful in the
study of Groebner bases, initial ideals and tropical geometry. Among
these are an interactive traversal program for Groebner fans and
programs for graphical renderings.
For ordinary Groebner basis computations Gfan is not competitive in
speed compared to programs such as CoCoA, Singular and Macaulay2.
|
|
ginac-tools
GiNaC symbolic framework support tools
|
Versions of package ginac-tools |
Release | Version | Architectures |
stretch | 1.7.2-2 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
sid | 1.8.7-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
trixie | 1.8.7-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 1.8.6-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 1.8.0-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
jessie | 1.6.2-1 | amd64,armel,armhf,i386 |
buster | 1.7.5-1 | amd64,arm64,armhf,i386 |
Debtags of package ginac-tools: |
devel | lang:c++ |
field | mathematics |
interface | shell, text-mode |
role | program |
scope | utility |
uitoolkit | ncurses |
use | viewing |
|
License: DFSG free
|
GiNaC (which stands for "GiNaC is Not a CAS (Computer Algebra System)") is a
library for doing symbolic (i.e. non-numeric) computation directly in the C++
programming language.
This package provides some additional tools, like the popular ginsh (GiNaC
interactive shell) and viewgar (for inspecting GiNaC archive files).
|
|
gmsh
|
Versions of package gmsh |
Release | Version | Architectures |
stretch | 2.15.0+dfsg1-3 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
sid | 4.13.1+ds1-4 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
trixie | 4.13.1+ds1-4 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 4.8.4+ds2-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 4.7.1+ds1-5 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
jessie | 2.8.5+dfsg-1.1 | amd64,armel,armhf,i386 |
buster | 4.1.5+really4.1.3+ds1-1 | amd64,arm64,armhf,i386 |
Debtags of package gmsh: |
interface | x11 |
role | program |
scope | application |
use | editing |
works-with | 3dmodel |
x11 | application |
|
License: DFSG free
|
Gmsh는 내장 CAD 엔진 및 후처리기 기능이 있는 3D 유한 요소 그리드 생성기입니
다. 개발 목적은 매개 변수 입력 및 고급 시각화 기능이 있는 빠르면서 경량인
사용자 친화적인 메싱 도구를 제공하는 것입니다. Gmsh는 4개의 모듈로 구성됩니
다: geometry, mesh, solver, post-processing. 이 모듈에 대한 임의 입력 항목
은 그래픽 사용자 인터페이스를 사용해서 대화식으로 하거나 또는 Gmsh의 자체
스크리팅 언어를 사용해서 ASCII 텍스트 파일로 할 수 있습니다.
Gmsh의 기능에 대해 더 자세한 개요는 Gmsh의 레퍼런스 메뉴얼을 보십시요.
Please cite:
C. Geuzaine and J.-F. Remacle:
Gmsh: a three-dimensional finite element mesh generator with built-in pre- and post-processing facilities.
(eprint)
International Journal for Numerical Methods in Engineering
79(11):1309-1331
(2009)
|
|
graphviz
rich set of graph drawing tools
|
Versions of package graphviz |
Release | Version | Architectures |
stretch-security | 2.38.0-17+deb9u1 | amd64,arm64,armel,armhf,i386 |
stretch | 2.38.0-17 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
jessie | 2.38.0-7 | amd64,armel,armhf,i386 |
experimental | 12.2.1-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bullseye | 2.42.2-5+deb11u1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster-security | 2.40.1-6+deb10u1 | amd64,arm64,armhf,i386 |
sid | 2.42.4-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
trixie | 2.42.4-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 2.42.2-7+deb12u1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 2.40.1-6+deb10u1 | amd64,arm64,armhf,i386 |
upstream | 12.2.1 |
Debtags of package graphviz: |
field | mathematics |
interface | commandline, x11 |
role | program |
science | visualisation |
scope | utility |
uitoolkit | athena, tk |
use | viewing |
works-with | graphs, image, image:raster, image:vector |
x11 | application |
|
License: DFSG free
|
Graph drawing addresses the problem of visualizing structural information
by constructing geometric representations of abstract graphs and networks.
Automatic generation of graph drawings has important applications in key
technologies such as database design, software engineering, VLSI and
network design and visual interfaces in other domains. Situations where
these tools might be particularly useful include:
- you would like to restructure a program and first need to understand
the relationships between its types, procedures, and source files
- you need to find the bottlenecks in an Internet backbone - not only
individual links, but their relationships
- you're debugging a protocol or microarchitecture represented as a
finite state machine and need to figure out how a certain
error state arises
- you would like to browse a database schema, knowledge base, or
distributed program represented graphically
- you would like to see an overview of a collection of linked documents
- you would like to discover patterns and communities of interest in a
database of telephone calls or e-mail messages
This package contains the command-line tools.
|
|
hol-light
|
Versions of package hol-light |
Release | Version | Architectures |
jessie | 20131026-1 | amd64,armel,armhf,i386 |
sid | 20231021-2 | armel,armhf,i386,mips64el |
bookworm | 20230128-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 20190729-4 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
sid | 3.0.0-1 | amd64,arm64,ppc64el,riscv64,s390x |
stretch | 20170109-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
|
License: DFSG free
|
HOL Light is an interactive theorem prover for Higher-Order Logic
with a very simple logical core running in an OCaml toplevel. HOL
Light is famous for the verification of floating-point
arithmetic as well as for the Flyspeck project, which aimed at the
formalization of Tom Hales' proof of the Kepler conjecture.
|
|
julia
high-performance programming language for technical computing
|
Versions of package julia |
Release | Version | Architectures |
stretch | 0.4.7-6 | amd64,arm64,armhf,i386,mips64el,ppc64el |
jessie | 0.3.2-2 | amd64,i386 |
bullseye | 1.5.3+dfsg-3 | amd64,arm64,armhf,i386,ppc64el |
buster | 1.0.3+dfsg-4 | amd64,arm64,armhf,i386 |
Debtags of package julia: |
uitoolkit | ncurses |
|
License: DFSG free
|
Julia is a high-level, high-performance dynamic programming language for
technical computing, with syntax that is familiar to users of other technical
computing environments. It provides a sophisticated compiler, distributed
parallel execution, numerical accuracy, and an extensive mathematical function
library. The library, mostly written in Julia itself, also integrates mature,
best-of-breed C and Fortran libraries for linear algebra, random number
generation, FFTs, and string processing. Julia programs are organized around
defining functions, and overloading them for different combinations of
argument types (which can also be user-defined).
This package provides a complete Julia installation (JIT compiler, standard
library, text-based user interface).
|
|
lcalc
|
Versions of package lcalc |
Release | Version | Architectures |
trixie | 2.0.5-1.1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
stretch | 1.23+dfsg-6 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
jessie | 1.23+dfsg-3 | amd64,armel,armhf,i386 |
bullseye | 1.23+dfsg-11 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 2.0.5-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 1.23+dfsg-11 | amd64,arm64,armhf,i386 |
sid | 2.0.5-1.1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
Debtags of package lcalc: |
role | program |
|
License: DFSG free
|
lcalc는 L-함수의 0과 값을 계산하기 위한 프로그램입니다. 지원되는 L-함수로는
Riemann 제타 함수, Ramanujan 델타 함수의 L-함수, 유리수에 대해 정의된 타원
곡선의 L-함수를 포함합니다.
|
|
libjgrapht-java
Java library of graph theory data structures and algorithms
|
Versions of package libjgrapht-java |
Release | Version | Architectures |
sid | 1.5.2-1 | all |
trixie | 1.5.2-1 | all |
bookworm | 1.5.1-3 | all |
|
License: DFSG free
|
JGraphT is a free Java class library that provides mathematical graph-theory
objects and algorithms. In JGraphT, a graph is defined as a set of vertices
connected by a set of edges.
It is possible to define graphs, to modify, compare or generate them, to run
many algorithms through them. One may also import or export graphs.
|
|
libmatheval1
GNU library for evaluating symbolic mathematical expressions (runtime)
|
Versions of package libmatheval1 |
Release | Version | Architectures |
bullseye | 1.1.11+dfsg-4 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
sid | 1.1.11+dfsg-5 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
jessie | 1.1.11+dfsg-2 | amd64,armel,armhf,i386 |
stretch | 1.1.11+dfsg-3 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
buster | 1.1.11+dfsg-3 | amd64,arm64,armhf,i386 |
bookworm | 1.1.11+dfsg-5 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 1.1.11+dfsg-5 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
Debtags of package libmatheval1: |
devel | lang:c, library |
field | mathematics |
role | devel-lib, shared-lib |
suite | gnu |
|
License: DFSG free
|
GNU libmatheval is a library comprising of several procedures that make
it possible to create an in-memory tree representation of mathematical
functions over single or multiple variables and later use this
representation to evaluate functions for specified variable values, to
create corresponding trees for function derivatives over specified
variables or to print textual representations of in-memory trees to a
specified string. The library supports arbitrary variable names in
expressions, decimal constants, basic unary and binary operators and
elementary mathematical functions.
This package contains the runtime shared library.
|
|
lp-solve
|
Versions of package lp-solve |
Release | Version | Architectures |
buster | 5.5.0.15-4 | amd64,arm64,armhf,i386 |
jessie | 5.5.0.13-7 | amd64,armel,armhf,i386 |
stretch | 5.5.0.15-4 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
bullseye | 5.5.2.5-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 5.5.2.5-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 5.5.2.11-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 5.5.2.11-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
Debtags of package lp-solve: |
field | mathematics |
role | program |
scope | application |
|
License: DFSG free
|
선형 계획 (LP) 문제는 다음과 같이 공식화 할 수 있습니다: 풀이 V2.x 최대값으로, A.x >= V1. A는 행렬이고, x는 (음이 아닌)변수로 구성된 벡터, V1은 우변으로 불리는 벡터, V2는 목적 함수를 지정하는 벡터입니다.
정수 선형 계획 (ILP) 문제는 모든 변수가 정수라는 제약 조건을 갖는 LP 입니다. 혼합 정수 선형 계획 (MILP) 문제에서 일부 변수는 정수이고 다른 변수는 실수입니다.
프로그램 lp_solve는 LP, ILP, MILP 문제를 해결합니다. A의 모든 행 (하나의 제약 조건 지정)은 자체 (비)균등, <=, >= 또는 =를 가질 수 있다는 점에서 위에서 제안한 것보다 약간 더 일반적입니다. 결과는 모든 변수에 대한 값을 지정합니다.
lp_solve는 순수 LP 문제에 대해 'Simplex' 알고리즘과 희소 행렬 방법을 사용합니다. 변수중 하나 이상이 정수로 선언되었 다면, 원하는 최적 솔루션을 찾을 때까지 Simplex 알고리즘은 분기 및 바인딩 알고리즘으로 반복됩니다. lp_solve는 MPS 형식 입력 파일을 읽을 수 있습니다.
|
|
lrcalc
programs for calculating Littlewood-Richardson coefficients
|
Versions of package lrcalc |
Release | Version | Architectures |
trixie | 1.2-2.1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 1.2-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
experimental | 2.1-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
buster | 1.2-2 | amd64,arm64,armhf,i386 |
jessie | 1.2-1 | amd64,armel,armhf,i386 |
stretch | 1.2-2 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
sid | 1.2-2.1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bullseye | 1.2-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
upstream | 2.1 |
|
License: DFSG free
|
The "Littlewood-Richardson Calculator" is a package of C programs for
computing Littlewood-Richardson coefficients, providing fast calculation of
single LR coefficients, products of Schur functions, and skew Schur functions.
Its interface uses the same notation as the SF package of John Stembridge, to
make it easier to use both packages at the same time.
This package contains the command-line programs.
|
|
lrslib
package to enumerate vertices and extreme rays of a convex polyhedron
|
Versions of package lrslib |
Release | Version | Architectures |
sid | 0.73-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
jessie | 0.43-1 | amd64,armel,armhf,i386 |
bullseye | 0.71a-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 0.70-3 | amd64,arm64,armhf,i386 |
stretch | 0.51-2 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
bookworm | 0.71b-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 0.73-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
Debtags of package lrslib: |
role | program |
|
License: DFSG free
|
A convex polyhedron is the set of points satisfying a finite family
of linear inequalities. The study of the vertices and extreme rays
of such systems is important and useful in e.g. mathematics and
optimization. In a dual interpretation, finding the vertices of a
(bounded) polyhedron is equivalent to finding the convex hull
(bounding inequalities) of an (arbitrary dimensional) set of points.
Lrs (lexicographic reverse search) has two important features that
can be very important for certain applications: it works in exact
arithmetic, and it consumes memory proportional to the input, no
matter how large the output is.
|
|
macaulay2
Software system for algebraic geometry research
|
Versions of package macaulay2 |
Release | Version | Architectures |
bullseye | 1.17.1+ds-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,s390x |
bookworm | 1.21+ds-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,s390x |
trixie | 1.24.11+ds-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 1.24.11+ds-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
|
License: DFSG free
|
Macaulay 2 is a software system for algebraic geometry research, written by
Daniel R. Grayson and Michael E. Stillman. Based on Groebner bases, it
provides algorithms for computing homological invariants of rings and
modules.
This package contains the architecture dependent portion of Macaulay2.
|
|
magnus
Very simple screen magnifier
|
Versions of package magnus |
Release | Version | Architectures |
bookworm | 1.0.3-3 | all |
bullseye | 1.0.3-3 | all |
sid | 1.0.3-4 | all |
trixie | 1.0.3-4 | all |
|
License: DFSG free
|
Magnus is a simple screen magnifying glass. It nicely integrates with
X11 desktops like MATE or Xfce (probably with others not named here,
too).
Visually impaired users may find this tool helpful for zooming into
certain screen areas in order to improve readability/visibilty of fonts,
icons and other data.
|
|
mathicgb
Compute Groebner bases (command line tool)
|
Versions of package mathicgb |
Release | Version | Architectures |
stretch | 1.0~git20170104-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el |
sid | 1.0~git20240206-1.1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bullseye | 1.0~git20200526-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 1.0~git20240206-1.1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 1.0~git20220621-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
|
License: DFSG free
|
Mathicgb is a program for computing Groebner basis and signature Groebner
bases. Mathicgb is based on the fast data structures from mathic.
The paper "Practical Groebner Basis Computation" describes the algorithms in
Mathicgb from a high level. It was presented at ISSAC 2012 and is available at
http://arxiv.org/abs/1206.6940
This package contains the command line tool.
|
|
mathomatic
|
Versions of package mathomatic |
Release | Version | Architectures |
bullseye | 16.0.5-4 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 16.0.5-1 | amd64,arm64,armhf,i386 |
stretch | 15.8.2-2 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
bookworm | 16.0.5-5 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
jessie | 15.8.2-2 | amd64,armel,armhf,i386 |
trixie | 16.0.5-5 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 16.0.5-5 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
Debtags of package mathomatic: |
field | mathematics |
interface | text-mode |
role | program |
scope | application |
uitoolkit | ncurses |
use | calculating, learning |
|
License: DFSG free
|
Mathomatic은 수학 연산자 +, -, *, /, % (모듈러스), 거듭 제곱(근 포함)에 대한 대부분의 대수학 규칙을 구현합니다.
Mathomatic은 기호적으로 아래 사항을 수행할 수 있습니다:
- 방정식 결합, 해결,
- 식과 방정식을 완전히 단순화하고 비교,
- 간단한 미적분 변환과 계열을 수행,
- 표준, 복소수, 모듈러, 다항식 연산 수행,
- 단순화된 방정식에서 최적화된 C, Java, Python 언어 코드를 생성,
- 2차원 또는 3차원의 gnuplot을 사용한 플롯 표현식,
- 빠른 계산, 표현 색상화 등을 수행.
|
|
matita
??? missing short description for package matita :-(
|
Versions of package matita |
Release | Version | Architectures |
stretch | 0.99.3-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
jessie | 0.99.1-3 | amd64,armel,armhf,i386 |
Debtags of package matita: |
field | mathematics |
interface | commandline, x11 |
role | program |
uitoolkit | gtk |
use | checking |
x11 | application |
|
License: DFSG free
|
|
|
maxima-sage
Computer algebra system -- base system
|
Versions of package maxima-sage |
Release | Version | Architectures |
buster | 5.41.0+ds-4 | amd64,arm64,armhf,i386 |
stretch | 5.35.1-2 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
bullseye | 5.44.0-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 5.45.1-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 5.45.1-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 5.45.1-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
upstream | 5.47.0 |
|
License: DFSG free
|
Maxima is a fully symbolic computation program. It is full featured
doing symbolic manipulation of polynomials, matrices, rational
functions, integration, Todd-coxeter methods for finite group
analysis, graphing, multiple precision floating point computation.
It has a symbolic source level debugger for maxima code. Maxima is
based on the original Macsyma developed at MIT in the 1970s. It is
quite reliable, and has good garbage collection, and no memory leaks.
It comes with hundreds of self tests.
The maxima-sage packages are meant to be used together with SageMath.
They contain the version of Maxima that works together with the
SageMath version in Debian and use ECL instead of GCL as Lisp compiler.
To use Maxima by itself, the more complete and up-to-date maxima package
is recommended.
This package contains the main executables and base system files.
|
|
mcl
|
Versions of package mcl |
Release | Version | Architectures |
jessie | 14-137-1 | amd64,armel,armhf,i386 |
bookworm | 22-282+ds-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
stretch | 14-137-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
buster | 14-137+ds-3 | amd64,arm64,armhf,i386 |
bullseye | 14-137+ds-9 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
sid | 22-282+ds-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
trixie | 22-282+ds-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
Debtags of package mcl: |
field | mathematics |
role | program |
|
License: DFSG free
|
MCL 패키지는 MCL 알고리즘의 구현이며, 그리고 희소 행렬(MCL 알고리즘에 필수적
자료 구조) 조작 및 클러스터 실을 위한 유틸리티를 제공합니다.
MCL는 현재 생물학(단백질 집단 검축, 유전체학)같은 과학, 컴퓨터 과학(P-to-P
네트웍스에서 노드 클러스트링), 그리고 언어학(텍스트 분석)에서 사용됩니다.
The package is enhanced by the following packages:
zoem
|
|
minisat
Fast and lightweight SAT solver
|
Versions of package minisat |
Release | Version | Architectures |
stretch | 2.2.1-5 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
jessie | 2.2.1-5 | amd64,armel,armhf,i386 |
sid | 2.2.1-8 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
trixie | 2.2.1-8 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 2.2.1-5 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 2.2.1-5 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 2.2.1-5 | amd64,arm64,armhf,i386 |
Debtags of package minisat: |
field | mathematics |
role | program |
|
License: DFSG free
|
Despite the NP completeness of the satisfiability problem of Boolean formulas
(SAT), SAT solvers are often able to decide this problem in a reasonable time
frame. As all other NP complete problems are reducible to SAT, the solvers
have become a general purpose tool for this class of problems.
MiniSat is a minimalistic, open-source SAT solver, developed to help
researchers and developers alike to get started on SAT. Winning all the
industrial categories of the SAT 2005 competition, MiniSat is a good starting
point both for future research in SAT, and for applications using SAT.
|
|
model-builder
|
Versions of package model-builder |
Release | Version | Architectures |
stretch | 0.4.1-6.2 | all |
jessie | 0.4.1-6.2 | all |
buster | 0.4.1-6.2 | all |
Debtags of package model-builder: |
role | program |
|
License: DFSG free
|
Module Builder는 상미분 방정식 (ODEs) 시스템으로 구성된 수학 모델을 디자인,
시뮬레이션, 분석하기 위한 그래픽 도구입니다.
|
|
mumps-test
Example/test binaries using MUMPS
|
Versions of package mumps-test |
Release | Version | Architectures |
trixie | 5.7.3-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 5.5.1-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 5.3.5-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 5.1.2-4 | amd64,arm64,armhf,i386 |
stretch | 4.10.0.dfsg-4 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
jessie | 4.10.0.dfsg-3 | amd64,armel,armhf,i386 |
sid | 5.7.3-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
|
License: DFSG free
|
MUMPS implements a direct solver for large sparse linear systems, with a
particular focus on symmetric positive definite matrices. It can
operate on distributed matrices e.g. over a cluster. It has Fortran and
C interfaces, and can interface with ordering tools such as Scotch.
|
|
nauty
그래프 자기동형을 위한 라이브러리 -- 인터페이스 및 도구
|
Versions of package nauty |
Release | Version | Architectures |
bookworm | 2.8.6+ds-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
stretch | 2.6r7+ds-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
sid | 2.8.9+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
trixie | 2.8.9+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bullseye | 2.7r1+ds-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
jessie | 2.5r9+ds-1 (non-free) | amd64,i386 |
buster | 2.6r10+ds-1 | amd64,arm64,armhf,i386 |
Debtags of package nauty: |
interface | commandline |
role | program |
|
License: DFSG free
|
nauty (No AUTomorphisms, Yes?)는 그래프와 이중음자의 자기동형 그룹을 계산하
기 위한 절차 세트입니다. 이 수학적 소프트웨어 제품은 Brendan McKay 와
Adolfo Piperno가 개발하였습니다:
http://pallini.di.uniroma1.it
nauty는 일련의 생성자, 그룹의 크기, 그리고 그룹 궤도의 형태로 그래프 정보를
계산합니다; 정식 레이블을 생성할 수도 있습니다. nauty 제품은 C로 개발되었으
며 명령행 도구 및 어플리케이션 프로그래밍 인터페이스 (API)와 함께 제공됩니다.
이 패키지는 dreadnaut이라 불리는 nauty 인터페이스와 gtools라 불리는 작은 유
틸리티들의 모음도 제공합니다.
The package is enhanced by the following packages:
nauty-doc
|
|
netgen
Automatic 3d tetrahedral mesh generator
|
Versions of package netgen |
Release | Version | Architectures |
buster | 6.2.1804+dfsg1-3 | amd64,arm64,armhf,i386 |
sid | 6.2.2404+dfsg1-5 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bullseye | 6.2.2006+really6.2.1905+dfsg-2.1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 6.2.2006+really6.2.1905+dfsg-5.1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 6.2.2404+dfsg1-5 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
upstream | 6.2.2406 |
Debtags of package netgen: |
role | program |
|
License: DFSG free
|
NETGEN is an automatic 3d tetrahedral mesh generator. It accepts
input from constructive solid geometry (CSG) or boundary
representation (BRep) from STL file format. NETGEN contains modules
for mesh optimization and hierarchical mesh refinement.
|
|
normaliz
math computing tools for affine monoids, rational polytopes and cones
|
Versions of package normaliz |
Release | Version | Architectures |
trixie | 3.10.4+ds-1 | all |
stretch | 3.1.1+ds-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
bookworm | 3.9.4+ds-2 | all |
bullseye | 3.8.9+ds-0.1 | all |
buster | 3.6.3+ds-1 | amd64,arm64,armhf,i386 |
sid | 3.10.4+ds-1 | all |
|
License: DFSG free
|
Normaliz is a mathematical tool for computations in affine monoids, vector
configurations, lattice polytopes, and rational cones.
This dummy package provides the standard installation.
|
|
octave
GNU Octave language for numerical computations
|
Versions of package octave |
Release | Version | Architectures |
jessie | 3.8.2-4 | amd64,armel,armhf,i386 |
bullseye | 6.2.0-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster-backports | 5.2.0-3~bpo10+1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
stretch-backports | 4.4.0-3~bpo9+1 | s390x |
bookworm | 7.3.0-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
stretch | 4.0.3-3 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
sid | 9.2.0-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
trixie | 9.2.0-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
stretch-backports | 4.4.1-4~bpo9+1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el |
buster | 4.4.1-5 | amd64,arm64,armhf,i386 |
Debtags of package octave: |
field | mathematics |
role | program |
suite | gnu |
|
License: DFSG free
|
Octave is a (mostly MATLAB® compatible) high-level language, primarily
intended for numerical computations. It provides a convenient command-line
interface for solving linear and nonlinear problems numerically.
Octave can be dynamically extended with user-supplied C++ files.
|
|
palp
|
Versions of package palp |
Release | Version | Architectures |
buster | 2.1-5 | amd64,arm64,armhf,i386 |
jessie | 2.1-2 | amd64,armel,armhf,i386 |
sid | 2.21-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
trixie | 2.21-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 2.20-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 2.20-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
stretch | 2.1-3 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
Debtags of package palp: |
role | program |
use | analysing |
|
License: DFSG free
|
이 패키지는 격자 폴리토프 작업을 위한 여러가지 도구를 포함합니다:
- mori.x는 폴리토프의 별 삼각측량을 계산합니다
- cws.x는 중량 시스템과 결합된 중량 시스템을 생성합니다
- class.x는 반사 폴리토프를 분류합니다
- poly.x는 폴리토프의 데이타를 계산합니다
- nef.x는 nef 파티션의 Hodge 수를 계산합니다
|
|
pari-gp
PARI/GP Computer Algebra System binaries
|
Versions of package pari-gp |
Release | Version | Architectures |
bullseye | 2.13.1-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
stretch-backports | 2.11.1-2~bpo9+1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
buster | 2.11.1-2 | amd64,arm64,armhf,i386 |
buster-backports | 2.13.1-1~bpo10+1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
jessie | 2.7.2-1 | amd64,armel,armhf,i386 |
bullseye-backports | 2.15.2-1~bpo11+1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 2.15.2-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye-backports-sloppy | 2.15.4-2~bpo11+1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm-backports | 2.17.0-2~bpo12+1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
stretch | 2.9.1-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
trixie | 2.17.0-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 2.17.0-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
Debtags of package pari-gp: |
field | mathematics |
role | documentation |
uitoolkit | ncurses |
|
License: DFSG free
|
PARI/GP is a widely used computer algebra system designed for fast
computations in number theory (factorizations, algebraic number theory,
elliptic curves...), but also contains a large number of other useful
functions to compute with mathematical entities such as matrices,
polynomials, power series, algebraic numbers etc., and a lot of
transcendental functions. PARI is also available as a C library to allow
for faster computations.
Originally developed by Henri Cohen and his co-workers (University Bordeaux I,
France), PARI is now under the GPL and maintained by Karim Belabas
with the help of many volunteer contributors.
This package contains the GP calculator.
The package is enhanced by the following packages:
texmacs-bin
|
|
persalys
GUI for uncertainty treatment and variabilities management
|
Versions of package persalys |
Release | Version | Architectures |
sid | 16.1+ds-1 | amd64,arm64,mips64el,ppc64el,riscv64,s390x |
bookworm | 13.1.1+ds-1 | amd64,arm64,mips64el,ppc64el,s390x |
trixie | 16.1+ds-1 | amd64,arm64,mips64el,ppc64el,riscv64,s390x |
upstream | 17.0.1 |
|
License: DFSG free
|
Persalys is a graphical user interface for OpenTURNS, dedicated to the
treatment of uncertainty and the management of variabilities. The software is
a tool between the computer simulation, probabilistic analyses and the data
sciences. The interface is available in French or in English.
Persalys allows one to:
- create mathematical models: analytical, coupling with an external model
(finite elements, ...), FMU;
- analyse the variability of one's parameters thanks to many methods and
visualisation tools;
- statistically analyse one's measuring data, infer probability distributions
or create metamodels.
|
|
phcpack
general-purpose solver for polynomial systems (command line)
|
Versions of package phcpack |
Release | Version | Architectures |
sid | 2.4.90+dfsg-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
trixie | 2.4.90+dfsg-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 2.4.86+dfsg-4 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
|
License: DFSG free
|
PHCpack is a software package to solve polynomial systems by homotopy
continuation methods.
A polynomial system is given as a sequence of polynomials in several
variables. Homotopy continuation methods operate in two stages. In
the first stage, a family of polynomial systems (the so-called
homotopy) is constructed. This homotopy contains a polynomial system
with known solutions. In the second stage, numerical continuation
methods are applied to track the solution paths defined by the
homotopy, starting at the known solutions and leading to the solutions
of the given polynomial system.
This package contains the command line interface to PHCpack.
Please cite:
Verschelde, Jan:
Algorithm 795: PHCpack: A general-purpose solver for polynomial systems by homotopy continuation
ACM Trans. Math. Software
25(2):251-276
(1999)
|
|
planarity
Program for planarity-related graph algorithms
|
Versions of package planarity |
Release | Version | Architectures |
trixie | 3.0.2.0-2.1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
buster | 3.0.0.5-3 | amd64,arm64,armhf,i386 |
stretch | 3.0.0.5-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
sid | 3.0.2.0-2.1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 3.0.2.0-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 3.0.1.0-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
|
License: DFSG free
|
This package contains a command-line reference implementation of the
Edge Addition Planarity Algorithm, which is the best linear-time
method to embed a planar graph and isolate planarity obstructions.
|
|
polylib-utils
Various tools using libpolylib
|
Versions of package polylib-utils |
Release | Version | Architectures |
bullseye | 5.22.5-4+dfsg | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 5.22.5-4+dfsg | amd64,arm64,armhf,i386 |
stretch | 5.22.5-3+dfsg | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
jessie | 5.22.5-3+dfsg | amd64,armel,armhf,i386 |
bookworm | 5.22.5-4+dfsg | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 5.22.5-4.2+dfsg | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 5.22.5-4.2+dfsg | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
Debtags of package polylib-utils: |
role | program |
|
License: DFSG free
|
Polylib is a free C library for doing computations on polyhedra.
The library is operating on objects like vectors, matrices, lattices,
polyhedra, Z-polyhedra, unions of polyhedra and other intermediary
structures.
It provides functions for all important operations on these structures.
This package contains various utilities to perform polyhedral operations.
|
|
proofgeneral
generic frontend for proof assistants
|
Versions of package proofgeneral |
Release | Version | Architectures |
bullseye | 4.4.1~pre170114-1.2 | all |
sid | 4.5-3 | all |
stretch | 4.4.1~pre170114-1 | all |
trixie | 4.5-3 | all |
jessie | 4.3~pre131011-0.2 | all |
bookworm | 4.4.1~pre170114-1.2 | all |
Debtags of package proofgeneral: |
field | mathematics |
interface | text-mode, x11 |
role | plugin |
suite | emacs |
use | editing |
|
License: DFSG free
|
Proof General is a major mode to turn Emacs into an interactive proof
assistant to write formal mathematical proofs using a variety of
theorem provers.
This package provides Proof General support for Coq. (There is no
other proof assistant that one could sensibly support.)
|
|
prover9
theorem prover and countermodel generator
|
Versions of package prover9 |
Release | Version | Architectures |
stretch | 0.0.200911a-2.1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
jessie | 0.0.200911a-2.1 | amd64,armel,armhf,i386 |
buster | 0.0.200911a-2.1 | amd64,arm64,armhf,i386 |
|
License: DFSG free
|
This package provides the Prover9 resolution/paramodulation theorem
prover and the Mace4 countermodel generator.
Prover9 is an automated theorem prover for first-order and equational
logic. It is a successor of the Otter prover. Prover9 uses the
inference techniques of ordered resolution and paramodulation with
literal selection.
The program Mace4 searches for finite structures satisfying first-order
and equational statements, the same kind of statement that Prover9
accepts. If the statement is the denial of some conjecture, any
structures found by Mace4 are counterexamples to the conjecture.
Mace4 can be a valuable complement to Prover9, looking for
counterexamples before (or at the same time as) using Prover9 to search
for a proof. It can also be used to help debug input clauses and formulas
for Prover9.
|
|
pyomo
??? missing short description for package pyomo :-(
|
Versions of package pyomo |
Release | Version | Architectures |
stretch | 4.3.11388+git20160622.d3e3f0a-1 | all |
|
License: DFSG free
|
|
|
python3-deap
Distributed Evolutionary Algorithms in Python3
|
Versions of package python3-deap |
Release | Version | Architectures |
buster | 1.0.2.post2-6 | all |
jessie | 1.0.1-3+deb8u1 | all |
bullseye | 1.3.1-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 1.3.1-4 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
stretch | 1.0.2.post2-2 | all |
trixie | 1.4.1-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 1.4.1-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
|
License: DFSG free
|
DEAP is a novel evolutionary computation framework for rapid prototyping and
testing of ideas. It seeks to make algorithms explicit and data structures
transparent. It works in perfect harmony with parallelisation mechanism such as
multiprocessing and SCOOP.
This package contains the modules for Python3.
|
|
python3-dolfin
Base Python interface for DOLFIN (Python 3)
|
Versions of package python3-dolfin |
Release | Version | Architectures |
bullseye | 2019.2.0~git20201207.b495043-5 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 2019.2.0~git20230116.bd54183-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
sid | 2019.2.0~legacy20240219.1c52e83-11 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
buster | 2018.1.0.post1-16 | amd64,arm64,armhf,i386 |
|
License: DFSG free
|
DOLFIN is the Python and C++ interface of the FEniCS project for the
automated solution of differential equations, providing a consistent
PSE (Problem Solving Environment) for solving ordinary and partial
differential equations. Key features include a simple, consistent and
intuitive object-oriented API; automatic and efficient evaluation of
variational forms; automatic and efficient assembly of linear
systems; and support for general families of finite elements.
This is the base package depending on specific dolfin builds. By
default the version built against the preferred version of PETSc in
/usr/lib/petsc is selected (with 32-bit indexing, but the
alternative version (64-bit PETSc) can be selected by setting the
environment variable PETSC_DIR.
This is the legacy version of DOLFIN, you may want to install the
next-generation python3-dolfinx (DOLFIN-X) instead.
|
|
python3-ffc
compiler for finite element variational forms (Python 3)
|
Versions of package python3-ffc |
Release | Version | Architectures |
sid | 2019.2.0~legacy20230509.35df986-3 | all |
buster | 2018.1.0-5 | all |
bookworm | 2019.2.0~git20210714.a20cbe7-3 | all |
trixie | 2019.2.0~legacy20230509.35df986-3 | all |
bullseye | 2019.2.0~git20210115.cb26c91-1 | all |
|
License: DFSG free
|
The FEniCS Form Compiler FFC provides state-of-the-art automatic and
efficient evaluation of general multilinear forms (variational
formulations) for FEniCS. FFC functions as the form evaluation
system for DOLFIN but can also be used to compile forms for other
systems.
FFC works as a compiler for multilinear forms by generating code (C
or C++) for the evaluation of a multilinear form given in
mathematical notation. This new approach to form evaluation makes it
possible to combine generality with efficiency; the form can be given
in mathematical notation and the generated code is as efficient as
hand-optimized code.
This package installs the legacy FFC library for Python 3.
You may want to consider installing python3-ffcx instead to get the
next-generation FFC-X.
|
|
python3-minieigen
Wrapper of parts of the Eigen library (Python 3)
|
Versions of package python3-minieigen |
Release | Version | Architectures |
stretch | 0.50.3+dfsg1-5 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
bookworm | 0.50.3+dfsg1-13 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
sid | 0.50.3+dfsg1-13 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bullseye | 0.50.3+dfsg1-12 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 0.50.3+dfsg1-8 | amd64,arm64,armhf,i386 |
trixie | 0.50.3+dfsg1-13 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
|
License: DFSG free
|
Small wrapper for core parts of Eigen, c++ library for linear algebra.
It is mainly useful for inspecting c++ code which already uses eigen and
boost::python. Supported types are Vectors (2,3,6 and dynamic-sized with
integer and floating-point values), Matrices (3x3, 6x6 and dynamic-sized
with floating-point values) and Quaternions. Numerous methods are wrapped
and the original API of Eigen is followed.
This is the Python 3 version of the package.
|
|
python3-openturns
Python3 front-end of OpenTURNS (aka TUI)
|
Versions of package python3-openturns |
Release | Version | Architectures |
trixie | 1.23-5 | amd64,arm64,armel,armhf,mips64el,ppc64el,riscv64,s390x |
stretch | 1.7-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,s390x |
sid | 1.23-5 | amd64,arm64,armel,armhf,mips64el,ppc64el,riscv64,s390x |
bookworm | 1.20-9 | amd64,arm64,armel,armhf,mips64el,ppc64el,s390x |
upstream | 1.24 |
|
License: DFSG free
|
OpenTURNS is a powerful and generic tool to treat and quantify
uncertainties in numerical simulations in design, optimization and
control. It allows both sensitivity and reliability analysis studies:
- defining the outputs of interest and decision criterion;
- quantify and model the source of uncertainties;
- propagate uncertainties and/or analyse sensitivity and
- rank the sources of uncertainty
Targeted users are all engineers who want to introduce the
probabilistic dimension in their so far deterministic studies.
This package provides the Python3 bindings to the library.
|
|
python3-persalys
GUI for uncertainty treatment (Python bindings)
|
Versions of package python3-persalys |
Release | Version | Architectures |
bookworm | 13.1.1+ds-1 | amd64,arm64,mips64el,ppc64el,s390x |
trixie | 16.1+ds-1 | amd64,arm64,mips64el,ppc64el,riscv64,s390x |
sid | 16.1+ds-1 | amd64,arm64,mips64el,ppc64el,riscv64,s390x |
upstream | 17.0.1 |
|
License: DFSG free
|
Persalys is a graphical user interface for OpenTURNS, dedicated to the
treatment of uncertainty and the management of variabilities. The software is
a tool between the computer simulation, probabilistic analyses and the data
sciences. The interface is available in French or in English.
Persalys allows one to:
- create mathematical models: analytical, coupling with an external model
(finite elements, ...), FMU;
- analyse the variability of one's parameters thanks to many methods and
visualisation tools;
- statistically analyse one's measuring data, infer probability distributions
or create metamodels.
This package contains the Python3 bindings.
|
|
python3-sagenb-export
Convert SageNB Notebooks (Python 3)
|
Versions of package python3-sagenb-export |
Release | Version | Architectures |
bullseye | 3.2-4 | all |
trixie | 3.4-1 | all |
stretch | 2.0-2 | all |
sid | 3.4-1 | all |
buster | 3.2-3 | all |
bookworm | 3.2-4 | all |
|
License: DFSG free
|
This is a tool to convert SageNB notebooks to other formats,
in particular IPython/Jupyter notebooks.
|
|
python3-ufl
unified language for form-compilers (Python 3)
|
Versions of package python3-ufl |
Release | Version | Architectures |
bookworm | 2022.2.0-2 | all |
buster | 2018.1.0-5 | all |
trixie | 2024.2.0-2 | all |
stretch | 2016.2.0-2 | all |
bullseye | 2019.2.0~git20210211.d60cd09-1 | all |
sid | 2024.2.0-2 | all |
|
License: DFSG free
|
UFL (Unified Form Language) is a unified language for definition of
variational forms intended for finite element discretization. More
precisely, it defines a fixed interface for choosing finite element
spaces and defining expressions for weak forms in a notation close to
mathematical notation. The form compilers FFC and SyFi use UFL as
their end-user interface, producing UFC implementations as their
output.
This package installs the library for Python 3.
|
|
qepcad
quantifier elimination tool
|
Versions of package qepcad |
Release | Version | Architectures |
trixie | 1.74+ds-5 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 1.74+ds-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
sid | 1.74+ds-5 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
|
License: DFSG free
|
QEPCAD is an implementation of quantifier elimination by partial
cylindrical algebraic decomposition due originally to Hoon Hong, and
subsequently added on to by many others. It is an interactive
command-line program written in C/C++, and based on the SACLIB
library. Presented here is QEPCAD B version 1.x, the "B" designating a
substantial departure from the original QEPCAD and distinguishing it
from any development of the original that may proceed in a different
direction. QEPCAD and the SACLIB library are the result of a program
of research by George Collins and his PhD students that has spanned
several decades ... and continues still!
|
|
qhull-bin
|
Versions of package qhull-bin |
Release | Version | Architectures |
trixie | 2020.2-6 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 2020.2-6 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
buster | 2015.2-4 | amd64,arm64,armhf,i386 |
jessie | 2012.1-5 | amd64,armel,armhf,i386 |
bullseye | 2020.2-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 2020.2-5 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
stretch | 2015.2-2 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
Debtags of package qhull-bin: |
field | mathematics |
role | program |
scope | utility |
|
License: DFSG free
|
Qhull은 철포, 들로네 삼각 분할, 점에 대한 반공간 교차점, 보로노이 다이어그램, 가장 먼 지점 들로네 삼각 분할 및 가장 먼 지점 보로노이 다이어그램을 계산합니다. 2차원, 3차원, 4차원 및 더 높은 차원에서 실행됩니다.
이 패키지는 라이브러리의 일부 기능에 파이프 인터페이스를 제공하는 qhull 실행 파일이 포함되어 있습니다.또한 포함된 rbox는 Qhull에 대한 입력을 생성하는 유용한 도구입니다; 하이퍼큐브, 다이아몬드, 원뿔, 원, simplices, 나선형, 격자 및 임의의 점을 생성합니다.
Qhull은 Geomview에 대한 그래픽 출력은 생성합니다. 이는 출력을 이해하는데 도움이 됩니다 (http://www.geomview.org).
|
|
qsopt-ex
Exact linear programming solver
|
Versions of package qsopt-ex |
Release | Version | Architectures |
bullseye | 2.5.10.3-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
stretch | 2.5.10.3-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
trixie | 2.5.10.3-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 2.5.10.3-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 2.5.10.3-2 | amd64,arm64,armhf,i386 |
sid | 2.5.10.3-3 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
|
License: DFSG free
|
QSopt-ex is an implementation of a simplex-based algorithm that returns exact
rational solutions, taking advantage of the speed of floating-point
calculations and attempting to minimize the operations performed in
rational arithmetic.
This package contains the command-line utilities.
|
|
regina-normal
mathematical software for low-dimensional topology
|
Versions of package regina-normal |
Release | Version | Architectures |
bullseye | 6.0.1-4 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
jessie | 4.96-2 | amd64,armel,armhf,i386 |
stretch | 5.1-1 | amd64,arm64,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
sid | 7.3-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,s390x |
buster | 5.1-6 | amd64,arm64,armhf,i386 |
bookworm | 7.3-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
Debtags of package regina-normal: |
field | mathematics |
interface | commandline, x11 |
role | program |
scope | utility |
suite | kde |
uitoolkit | qt |
x11 | application |
|
License: DFSG free
|
Regina is a software package for 3-manifold and 4-manifold topologists,
with a focus on triangulations, knots and links, normal surfaces, and
angle structures.
For 3-manifolds, it includes high-level tasks such as 3-sphere recognition,
connected sum decomposition and Hakenness testing, comes with a rich
database of census manifolds, and incorporates the SnapPea kernel for
working with hyperbolic manifolds. For 4-manifolds, it offers a range of
combinatorial and algebraic tools, plus support for normal hypersurfaces.
For knots and links, Regina can perform combinatorial manipulation,
compute knot polynomials, and work with several import/export formats.
Regina comes with a full graphical user interface, as well as Python bindings
and a low-level C++ programming interface.
This package includes the graphical user interface and the command-line
Python interface. The users' handbook and the API documentation are in
the separate package regina-normal-doc.
|
|
rheolef
|
Versions of package rheolef |
Release | Version | Architectures |
sid | 7.2-3 | amd64,arm64,i386,mips64el,ppc64el,riscv64,s390x |
bullseye | 7.1-6 | amd64,arm64,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 7.2-2 | amd64,arm64,i386,mips64el,mipsel,ppc64el,s390x |
jessie | 6.5-1 | amd64,i386 |
stretch | 6.7-1 | amd64,i386,mips,mipsel,ppc64el |
buster | 7.0-2 | amd64,arm64,i386 |
Debtags of package rheolef: |
field | mathematics |
role | program |
|
License: DFSG free
|
Rheolef는 유한 요소와 유사한 방법으로 응용 수학에서 계산을 위해 편리한 실험실 역활을 하는 컴퓨터 환경입니다. 일련의 명령과 C++ 알고리즘 그리고 컨테이너를 제공합니다.
.
기본적으로, 컨테이너는 희소 행렬과 유한 요소 메쉬를 위한 고전적 그래프 데이타 구조를 포함합니다. 더 높은 추상적 수준에서, 컨테이너는 거의 정확한 유한 요소 공간, 개별 필드를 처리할 수 있습니다. 유연하고 강력한 표현식은 쌍일자식을 지정하는데 사용됩니다.
.
현재 어플리케이션은 다음을 포함합니다:
- MPI 기반에 대규모 분산 메모리 유한 요소 환경;
- 2D 및 3D의 탄력성, Stokes 및 Navier-Stokes 문제;
- 복잡한 유체 응용: 점소성, 점탄성, wall 슬립;
- 고정 소수점, 뉴턴 및 연속 방법의 비선형 문제;
- 고차 다항식, 혼합 요소 및 불연속 Galerkin 방법
- 자동 적응 메쉬 방식;
- 축대칭 문제;
- 다중 지역 및 가변 계수 문제
.
이 패키지는 rheolef 명령을 제공합니다. Paraview, gnuplot 같은 메시 생성기 및 수치 데이타 시각화 시스템을 위한 다양한 파일 형식의 입출력 지원합니다.
Please cite:
Piere Saramito:
(2016)
|
|
rubiks
Small collection of Rubik's cube solvers
|
Versions of package rubiks |
Release | Version | Architectures |
sid | 20070912-7 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
trixie | 20070912-7 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 20070912-5 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 20070912-5 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 20070912-3 | amd64,arm64,armhf,i386 |
stretch | 20070912-2 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
|
License: DFSG free
|
This package contains several different Rubik's cube solvers,
either useful directly on the command-line or through sagemath.
Michael Reid's "optimal" uses pre-computed tables to find an optimal solution
to the 3x3x3 Rubik's cube.
Dik T.Winter's "dikcube" uses Kociemba's algorithm to iteratively
find a short solution to the 3x3x3 cube.
Eric Dietz' "cubex" has fast non-optimal solver for the 3x3x3 cube.
|
|
sagemath
Open Source Mathematical Software
|
Versions of package sagemath |
Release | Version | Architectures |
stretch | 7.4-9 | amd64,i386 |
sid | 9.5-6 | all |
buster | 8.6-6 | amd64,arm64,armhf,i386 |
bookworm | 9.5-6 | all |
bullseye | 9.2-2 | amd64,arm64,i386 |
upstream | 10.5 |
|
License: DFSG free
|
SageMath is a free open-source mathematics software system licensed under the
GPL. It builds on top of many existing open-source packages: NumPy, SciPy,
matplotlib, Sympy, Maxima, GAP, FLINT, R and many more. Access their combined
power through a common, Python-based language or directly via interfaces or
wrappers.
Mission: Creating a viable free open source alternative to Magma, Maple,
Mathematica and Matlab.
This package contains the main SageMath installation.
The package is enhanced by the following packages:
texmacs-bin
|
|
sagemath-database-conway-polynomials
Database of Conway polynomials
|
Versions of package sagemath-database-conway-polynomials |
Release | Version | Architectures |
bookworm | 0.5-8 | all |
jessie | 0.4.p0+dfsg-1 | all |
stretch | 0.4.p0+dfsg-2 | all |
buster | 0.5-4 | all |
bullseye | 0.5-8 | all |
trixie | 0.10-2 | all |
sid | 0.10-2 | all |
|
License: DFSG free
|
This package contains a small database of Conway polynomials, for
primes up to 109987 and a various number of exponents.
It is part of the sagemath software suite.
|
|
sagemath-database-cremona-elliptic-curves
Databases of elliptic curves over the rationals
|
Versions of package sagemath-database-cremona-elliptic-curves |
Release | Version | Architectures |
bookworm | 20221013-1 | all |
sid | 20221013-1 | all |
bullseye | 0~20191029-3 | all |
trixie | 20221013-1 | all |
|
License: DFSG free
|
This package contains John Cremona's database of all elliptic curves
over the rationals of bounded conductor.
It is a complement to the sagemath software suite.
|
|
sagemath-database-elliptic-curves
Databases for elliptic curves
|
Versions of package sagemath-database-elliptic-curves |
Release | Version | Architectures |
jessie | 0.7+dfsg-1 | all |
stretch | 0.8-1 | all |
bullseye | 0.8.1-5 | all |
buster | 0.8-2 | all |
bookworm | 0.8.1-5 | all |
sid | 0.8.1-6 | all |
trixie | 0.8.1-6 | all |
|
License: DFSG free
|
This package contains in fact two databases:
- the subset of John Cremona's database of elliptic curves up to conductor
at most 10000
- William Stein's database of interesting elliptic curves
It is part of the sagemath software suite.
|
|
sagemath-database-graphs
|
Versions of package sagemath-database-graphs |
Release | Version | Architectures |
stretch | 20161026+dfsg-1 | all |
jessie | 20120404.p4+dfsg-1 | all |
buster | 20161026+dfsg-2 | all |
bullseye | 20161026+dfsg-5 | all |
bookworm | 20210214+dfsg-1 | all |
trixie | 20210214+dfsg-2 | all |
sid | 20210214+dfsg-2 | all |
|
License: DFSG free
|
This package contains a database of graphs, created by Emily Kirkman
based on the work of Jason Grout. It also contains the ISGCI graph
database.
It is part of the sagemath software suite.
|
|
sagemath-database-mutually-combinatorial-designs
Databases of combinatorial designs
|
Versions of package sagemath-database-mutually-combinatorial-designs |
Release | Version | Architectures |
jessie | 20140630-1 | all |
bullseye | 20140630-6 | all |
buster | 20140630-3 | all |
stretch | 20140630-2 | all |
sid | 20140630-7 | all |
trixie | 20140630-7 | all |
bookworm | 20140630-6 | all |
|
License: DFSG free
|
This package contains a database of mutually orthogonal Latin squares,
as found in the Handbook of Combinatorial Designs, 2ed.
It is part of the sagemath software suite.
|
|
sagemath-database-polytopes
|
Versions of package sagemath-database-polytopes |
Release | Version | Architectures |
stretch | 20120220+dfsg-2 | all |
jessie | 20120220+dfsg-1 | all |
buster | 20170220-2 | all |
bullseye | 20170220-5 | all |
bookworm | 20170220-5 | all |
trixie | 20170220-6 | all |
sid | 20170220-6 | all |
|
License: DFSG free
|
This package contains a database of 2-dimension and of 3-dimensional
reflexive polytopes.
It is part of the sagemath software suite.
|
|
science-statistics
|
Versions of package science-statistics |
Release | Version | Architectures |
jessie | 1.4 | all |
sid | 1.14.7 | all |
trixie | 1.14.7 | all |
bookworm | 1.14.5 | all |
bullseye | 1.14.2 | all |
buster | 1.10 | all |
stretch | 1.7 | all |
Debtags of package science-statistics: |
role | metapackage |
suite | debian |
|
License: DFSG free
|
이 메타패키지는 Debian Pure Blend "Debian Science"의 일부이며 통계와 관련된 패키지를 설치합니다. 이 태스크는 모든 과학 작업에 유용한 일반적인 태스크입니다. 통계 작성은 많은 R 패키지 뿐만 아니라 통계 작성에 유용한 다른 도구에서 결정됩니다. 게다가 과학 수학 작업은 모든 수학 관련 소프트웨어를 추가적으로 설치할 것을 제안합니다.
|
|
scilab
|
Versions of package scilab |
Release | Version | Architectures |
buster | 6.0.1-10+deb10u1 | all |
bullseye | 6.1.0+dfsg1-7 | all |
bookworm | 6.1.1+dfsg2-6 | all |
sid | 2024.1.0+dfsg-6 | all |
stretch-security | 5.5.2-4+deb9u1 | all |
trixie | 2024.1.0+dfsg-6 | all |
jessie | 5.5.1-7 | all |
stretch | 5.5.2-4 | all |
upstream | 2025.0.0 |
Debtags of package scilab: |
field | electronics, mathematics, physics, statistics |
interface | x11 |
role | program |
scope | utility |
uitoolkit | tk |
use | analysing, learning |
works-with | image |
x11 | application |
|
License: DFSG free
|
Scilab은 매트릭스 기반의 과학 소프트웨어 패키지입니다. Scilab은 수백의 내장
수학 함수, 다양한 데이타 구조(다항식, 유리수, 선형 시스템, 배열, 등등...)를
포함하며 그리고 제어, 신호 처리, 등등을 위한 다수의 특정 툴박스가 부속합니다.
이 패키지는 또한 하이브리드 동적 시스템 모델을 설계할 수 있는 그래픽 편집기
인, Xcos를 제공합니다. 모델을 설계, 로드, 저장, 컴파일 및 시뮬레이트 할 수
있습니다. 기업과 학교의 요구에 대한 안정적이고 효과적인 솔루션, Xcos는 기계
시스템(자동차, 항공기..), 유압 회로(댐, 파이프 모델링...), 제어 시스템등의
모델링 기능을 제공합니다.
Scilab의 최소 사양을 원한다면, "scilab-cli" 패키지를 설치하십시요.
The package is enhanced by the following packages:
texmacs-bin
|
|
scilab-ann
??? missing short description for package scilab-ann :-(
|
Versions of package scilab-ann |
Release | Version | Architectures |
jessie | 0.4.2.4-1 | all |
stretch | 0.4.2.4-1 | all |
Debtags of package scilab-ann: |
devel | library |
role | devel-lib, shared-lib |
|
License: DFSG free
|
|
|
scotch
그래프, 메시 및 하이퍼그래프 분할을 위한 프로그램 및 라이브러리
|
Versions of package scotch |
Release | Version | Architectures |
jessie | 5.1.12b.dfsg-2 | amd64,armel,armhf,i386 |
sid | 7.0.6-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
trixie | 7.0.5-2 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 7.0.3-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 6.1.0-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 6.0.6-2 | amd64,arm64,armhf,i386 |
stretch | 5.1.12b.dfsg-2.1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
Debtags of package scotch: |
role | program |
|
License: DFSG free
|
그 목적은 구조 역학부터 운영 체제 또는 생화학에 이르는 응용 분야에서 그래프 및 메시 분할, 정적 매핑 및 희소 행렬 순서 지정과 같은 과학 컴퓨팅 문제에 분할 및 정복 접근법을 사용하여 그래프 이론을 적용하는 것입니다.
SCOTCH 분포는 SCOTCH 프로젝트 내에서 개발된 정적 매핑 및 희소 행렬 재정렬 알고리즘을 구현하는 일련의 프로그램 및 라이브러리입니다.
SCOTCH에는 많은 흥미로운 기능이 있습니다.
-
C 및 Fortran 인터페이스를 모두 제공하는 libSCOTCH 라이브러리뿐만 아니라 독립 실행형 프로그램 세트를 통해 해당 기능을 사용할 수 있습니다.
-
노드 요소 이분 그래프로 정의되고 하이퍼 그래프를 나타낼 수도 있는 메쉬 구조뿐만 아니라 그래프 구조를 분할하는 알고리즘을 제공합니다.
-
가중 소스 그래프를 가중 대상 그래프에 매핑 할 수 있습니다. 소스 및 대상 그래프에는 토폴로지가있을 수 있으며 해당 정점 및 에지에 가중치가 적용될 수 있습니다. 또한 소스 및 대상 그래프 모두 연결이 끊어질 수 있습니다. 이 기능을 사용하면 이기종 프로세서 및 통신 링크로 구성된 병렬 아키텍처의 연결되지 않은 하위 부분에 프로그램을 매핑 할 수 있습니다.
-
BLAS 루틴을 사용한 효율적 해결을 위해 희소 행렬의 혼합된 블록 순서를 계산합니다.
-
실행 시간은 소스 그래프 에지 수에서 선형이며, 매핑 계산을 위해 대상 그래프 꼭짓점 수에서 로그입니다.
-
0 또는 1부터 시작하는 배열 인덱스를 갖는 C 또는 Fortran 프로그램 내에서 생성된 그래프 및 메시 데이터 구조를 균등하게 처리 할 수 있습니다.
-
분리된 에지 배열 처리를 통해 적응형 그래프 및 메시에 대한 확장된 지원을 제공합니다.
-
런타임에 해석되는 전략 문자열 덕분에 동적으로 매개 변수화 할 수 있습니다.
-
시스템 메모리를 효율적으로 사용하여 메모리 부족 에러없이 큰 그래프와 메시를 처리합니다.
-
고도의 모듈화 및 문서화되어 있습니다. CeCILL-C free / libre 소프트웨어 라이센스로 출시되었으므로 새로운 파티셔닝 및 주문 방법을 쉽고 빠르게 개발하고 테스트 할 수 있는 테스트 베드로 사용할 수 있습니다.
-
다른 프로그램과 쉽게 인터페이스 할 수 있습니다. SCOTCH 프로젝트를 구성하는 프로그램은 대화형 프롬프트없이 명령행 모드에서 실행되도록 설계되어 system() 또는 popen() 호출을 통해 다른 프로그램에서 쉽게 호출하거나 단일 명령행으로 함께 파이프 할 수 있습니다. 또한 정점 레이블 지정 기능을 사용하면 정점 번호를 쉽게 변경할 수 있습니다.
-
그래프, 메시 및 매트릭스 패턴을 구축, 확인 및 표시하는 많은 도구를 제공합니다.
-
C로 작성되었고 POSIX 인터페이스를 사용하기 때문에 이식성이 뛰어납니다. PT-SCOTCH는 MPI 인터페이스를 사용하고 선택적으로 POSIX 스레드를 사용합니다.
|
|
singular
Computer Algebra System for Polynomial Computations
|
Versions of package singular |
Release | Version | Architectures |
sid | 4.4.0-p7+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
stretch | 4.0.3-p3+ds-5 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
buster | 4.1.1-p2+ds-3 | amd64,arm64,armhf,i386 |
bullseye | 4.1.1-p2+ds-4 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 4.3.1-p3+ds-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 4.4.0-p7+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
Debtags of package singular: |
field | mathematics |
role | program |
uitoolkit | ncurses |
|
License: DFSG free
|
SINGULAR is a Computer Algebra System (CAS) for polynomial computations with
emphasis on the special needs of commutative algebra, algebraic geometry,
and singularity theory.
This dummy package provides the standard installation.
|
|
snappea
program for creating and studying hyperbolic 3-manifolds
|
Versions of package snappea |
Release | Version | Architectures |
buster | 3.0d3-24 | amd64,arm64,armhf,i386 |
stretch | 3.0d3-24 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
jessie | 3.0d3-23 | amd64,armel,armhf,i386 |
Debtags of package snappea: |
devel | lang:python |
field | mathematics |
interface | x11 |
uitoolkit | tk |
x11 | application |
|
License: DFSG free
|
SnapPea is Jeff Weeks' computational tool for mathematicians working in
low-dimensional topology. It is used for creating and studying hyperbolic
3-manifolds, and is accessible via Python scripts as well as through a
traditional graphical user interface.
|
|
surf-alggeo
visualization of real algebraic geometry
|
Versions of package surf-alggeo |
Release | Version | Architectures |
sid | 1.0.6+ds-7 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
trixie | 1.0.6+ds-7 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bullseye | 1.0.6+ds-5 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 1.0.6+ds-4 | amd64,arm64,armhf,i386 |
stretch | 1.0.6+ds-4 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
bookworm | 1.0.6+ds-6 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
|
License: DFSG free
|
Surf is a script driven tool to visualize some real algebraic geometry:
plane algebraic curves, algebraic surfaces and hyperplane sections of
surfaces.
The algorithms should be stable enough not to be confused by curve/surface
singularities in codimension greater than one and the degree of the surface
or curve. This has been achieved quite a bit. Curves of degree up to 30 and
surfaces of degree up to 20 have been drawn successfully. However, there are
examples of curves/surfaces of lower degree where surf fails to produce
perfect images. This happens especially if the equation of the curve/surface
is not reduced. Best results are achieved using reduced equations. On the other
hand, surf displays the Fermat-curves accurately for degree up to 98.
Surf is free software distributed under the GNU General Public License (GPL).
This dummy package is meant to allow multi-variant support for surf.
|
|
sympow
SYMmetric POWer 타원 곡선 L-함수용 수학 프로그램 -- 프로그램
|
Versions of package sympow |
Release | Version | Architectures |
stretch | 1.023-8 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
trixie | 2.023.7-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
buster | 2.023.5-2 | amd64,arm64,armhf,i386 |
jessie | 1.019-4 | amd64,armel,armhf,i386 |
sid | 2.023.7-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 2.023.6-1.1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 2.023.6-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
Debtags of package sympow: |
role | program |
|
License: DFSG free
|
SYMPOW는 대칭형 타원 곡선 L-함수의 특수 값을 계산하는 수학 프로그램입니다;
최대 64 자리 정밀도로 계산할 수 있습니다.
이 패키지는 SYMPOW 프로그램 그 자신을 제공합니다.
|
|
tachyon
병렬/다중프로세서 독립형 광원 추적기 - 메타패키지
|
Versions of package tachyon |
Release | Version | Architectures |
trixie | 0.99~b6+dsx-13 | all |
jessie | 0.99~b2+dfsg-0.4 | amd64,armel,armhf,i386 |
bullseye | 0.99~b6+dsx-9 | all |
bookworm | 0.99~b6+dsx-10 | all |
buster | 0.99~b6+dsx-9 | all |
stretch | 0.99~b6+dsx-8 | all |
sid | 0.99~b6+dsx-13 | all |
upstream | 0.99.5 |
Debtags of package tachyon: |
role | program |
works-with | 3dmodel |
|
License: DFSG free
|
Tachyon은 MPI 및 멀티쓰레드를 지원하는 포터블, 고성능 병렬 광원 추적 시스템입니다. Tachyon은 어플리케이션내에서 사용될 수 있는 호출 가능한 C 라이브러리로 제작되었습니다.
Tachyon은 삼각형, 평면, 구, 원통등과 같은 기본 기하학적 원형의 모두를 구현합니다. Tachyon 개발 목표중에 하나로는, 빠르게 만들고 빠르게 하기 위해 잘 병렬화하는 것 입니다. 이러한 것들이 POV-Ray, Rayshade 그리고 기타 여러가지 완전한 기능을 갖춘 프로그램들과 차별화되는 점입니다. Tachyon은 까다로운 애니메이션과 과학적 시각화 작업에 사용되는 느리고 무거운 프로그램의 훌륭한 대안이 될 수 있도록 충분한 기능들을 지원합니다.
이 메타패키지는 tachyon에 구축된 도구들을 위해 다중변형을 지원합니다.
|
|
tetgen
|
Versions of package tetgen |
Release | Version | Architectures |
stretch | 1.5.0-4 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
jessie | 1.5.0-3 | amd64,armel,armhf,i386 |
buster | 1.5.0-5 | amd64,arm64,armhf,i386 |
bullseye | 1.5.0-5 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 1.5.0-5 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 1.5.0-5 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 1.5.0-5 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
Debtags of package tetgen: |
role | program |
|
License: DFSG free
|
TetGen은 삼차원 포인트 세트에 대한 Delaunay 사면체화, Voronoi 다이어그램 및 볼록 껍질을 생성하며, 조각 선형 경계가 있는 삼차원 도메인에 대한 제한된 Delaunay 사면체화 및 품질 사면체 메쉬를 생성합니다.
|
|
topcom
Triangulations Of Point Configurations and Oriented Matroids
|
Versions of package topcom |
Release | Version | Architectures |
bookworm | 1.1.2+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
experimental | 1.2.0~beta+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
sid | 1.1.2+ds-1.1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bullseye | 0.17.8+ds-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 1.1.2+ds-1.1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
upstream | 1.2.0.beta |
|
License: DFSG free
|
TOPCOM is a collection of clients to compute Triangulations Of Point
Configurations and Oriented Matroids, resp.
The algorithms use only combinatorial data of the point configuration
as is given by its oriented matroid. Some basic commands for computing
and manipulating oriented matroids can also be accessed by the user.
It was very much inspired by the maple program PUNTOS, which was
written by Jesus de Loera. TOPCOM is entirely written in C++, so there
is a significant speed up compared to PUNTOS.
|
|
toulbar2
Exact combinatorial optimization for Graphical Models
|
Versions of package toulbar2 |
Release | Version | Architectures |
bullseye | 1.1.1+dfsg-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 1.1.1+dfsg-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
sid | 1.2.1+dfsg-0.1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
buster | 1.0.0+dfsg3-2 | amd64,arm64,armhf,i386 |
|
License: DFSG free
|
Toulbar2 is an exact discrete optimization tool for Graphical Models
such as Cost Function Networks, Markov Random Fields, Weighted Constraint
Satisfaction Problems and Bayesian Nets.
|
|
wxmaxima
GUI for the computer algebra system Maxima
|
Versions of package wxmaxima |
Release | Version | Architectures |
trixie | 24.02.1-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 22.12.0-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 20.12.1-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 19.01.2-1 | amd64,arm64,armhf,i386 |
stretch | 16.04.2-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
sid | 24.02.1-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
jessie | 13.04.2-4+deb8u1 | amd64,armel,armhf,i386 |
upstream | 24.11.0 |
Debtags of package wxmaxima: |
field | mathematics |
interface | x11 |
role | program |
scope | application |
uitoolkit | wxwidgets |
x11 | application |
|
License: DFSG free
|
wxMaxima is a graphical user interface for the computer algebra system
Maxima. It eases the use of Maxima by making most of its commands available
through a menu system and by providing input dialogs for commands that
require more than one argument. It also implements its own display engine
that outputs mathematical symbols directly instead of depicting them with
ASCII characters.
wxMaxima also features 2D and 3D inline plots, simple animations, mixing of
text and mathematical calculations to create documents, exporting of input
and output to TeX, and a browser for Maxima's manual including command index
and full text searching.
|
|
xcas
Computer Algebra System - console and graphical calculator
|
Versions of package xcas |
Release | Version | Architectures |
bullseye | 1.6.0.41+dfsg1-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel |
sid | 1.9.0.93+dfsg2-3 | amd64,arm64,armel,armhf,i386,mips64el,riscv64 |
buster | 1.4.9.69+dfsg1-2 | amd64,arm64,armhf,i386 |
bookworm | 1.9.0.35+dfsg2-1.1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel |
trixie | 1.9.0.93+dfsg2-3 | amd64,arm64,armel,armhf,i386,mips64el,riscv64 |
upstream | 1.9.0.996 |
|
License: DFSG free
|
Giac is a computer algebra system, following the development of the CAS for HP
calculators. It has fast implementation of algorithms for polynomial
operations, and compatibility mode with Maple or Mupad CAS as well as TI
calculators.
This package contains the user-facing giac programs: xcas, icas, and pgiac;
as well as the cas_help program for providing user-oriented help.
The package is enhanced by the following packages:
texmacs-bin
|
|
xmaxima
|
Versions of package xmaxima |
Release | Version | Architectures |
bullseye | 5.44.0-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 5.46.0-11 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
sid | 5.47.0-5 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
jessie | 5.34.1-2 | amd64,armel,armhf,i386 |
stretch | 5.38.1-8 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
buster | 5.42.1-1 | amd64,arm64,armhf,i386 |
trixie | 5.47.0-5 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
Debtags of package xmaxima: |
field | mathematics |
interface | x11 |
role | program |
scope | application |
uitoolkit | tk |
x11 | application |
|
License: DFSG free
|
Maxima는 완전한 심볼 계산 프로그램입니다. 다항식, 행렬, 유리 함수, 적분, 유한 그룹 분석을 위한 Todd-coxeter 방법, 그래프, 다중 정밀도 부동 소수점 계산에 대한 완전한 심볼 처리 기능을 제공합니다. maxima 코드를 위한 심볼 소스 레벨 디버거가 있습니다. Maxima는 1970년대 MIT에서 개발된 Macsyma를 기반으로 합니다. 높은 신뢰성이 있으며, 성능 좋은 가비지 컬렉션을 가지고 있고, 그리고 메모리 누수도 없습니다. 수백가지의 자체 테스트들이 제공됩니다.
이 패키지는 tcl/tk 라이브러리를 사용하는 X 윈도우 인터페이스를 포함합니다.
|
|
xmds
??? missing short description for package xmds :-(
|
Versions of package xmds |
Release | Version | Architectures |
jessie | 1.6.6-7 | amd64,armel,armhf,i386 |
Debtags of package xmds: |
role | program |
|
License: DFSG free
|
|
|
xmds2
eXtensible Multi-Dimensional Simulator
|
Versions of package xmds2 |
Release | Version | Architectures |
stretch | 2.2.2+dfsg-3 | all |
sid | 3.1.0+dfsg2-10 | all |
trixie | 3.1.0+dfsg2-10 | all |
buster | 2.2.3+dfsg-15 | all |
bookworm | 3.1.0+dfsg2-3 | all |
bullseye | 3.0.0+dfsg-5 | all |
jessie | 2.2.2+dfsg-1 | all |
|
License: DFSG free
|
XMDS is a code generator that integrates equations, from Ordinary
Differential Equations (ODEs) up to stochastic Partial Differential
Equations (PDEs). You write them down in human readable form in an
XML file, and it goes away and writes and compiles a C++ program that
integrates those equations as fast as it can possibly be done in your
architecture.
XMDS 2 is a major upgrade rewritten in Python which is faster and far
more versatile than previous versions, allowing the efficient integration
of almost any initial value problem on regular domains.
|
|
Official Debian packages with lower relevance
ann-tools
|
Versions of package ann-tools |
Release | Version | Architectures |
jessie | 1.1.2+doc-5 | amd64,armel,armhf,i386 |
sid | 1.1.2+doc-9 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
trixie | 1.1.2+doc-9 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 1.1.2+doc-9 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 1.1.2+doc-7 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 1.1.2+doc-7 | amd64,arm64,armhf,i386 |
stretch | 1.1.2+doc-6 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
Debtags of package ann-tools: |
role | program |
|
License: DFSG free
|
ANN은 C++로 작성된 라이브러리로 임의 고차원에서 정확하고 근사한 근접 이웃 탐색을 위한 데이타 구조 및 알고리즘 모두를 지원합니다. ANN은 Minkowski 메트릭이라고 하는 모든 종류의 거리 함수를 사용해서 거리를 측정한다고 가정합니다. 여기에는 잘 알려진 Euclidean 거리, Manhattan 거리, 최대 거리를 포함합니다. ANN은 크기가 수천에서 수십만까지, 치수가 20에 이르는 포인트 세트에 대해 상당히 효율적으로 작업을 수행합니다.
이 패키지는 ann2fig (ANN 출력을 fig 형식으로 표시) 및 ann_sample (ANN 샘플 데모) 프로그램을 포함합니다.
|
|
evolver-nox
Surface Evolver - with no X support
|
Versions of package evolver-nox |
Release | Version | Architectures |
bookworm | 2.70+ds-8 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 2.70+ds-8 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 2.70+ds-8 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
stretch | 2.70+ds-2 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,s390x |
buster | 2.70+ds-4 | amd64,arm64,armhf,i386 |
sid | 2.70+ds-8 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
|
License: DFSG free
|
The Surface Evolver is an interactive program for the modelling of liquid
surfaces shaped by various forces and constraints.
This package provides evolver variants built with different floating point
formats (double, long double, quadruple) but with no X support.
The package is enhanced by the following packages:
evolver-doc
|
|
evolver-ogl
Surface Evolver - with OpenGL display
|
Versions of package evolver-ogl |
Release | Version | Architectures |
buster | 2.70+ds-4 | amd64,arm64,armhf,i386 |
bookworm | 2.70+ds-8 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 2.70+ds-8 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
trixie | 2.70+ds-8 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
stretch | 2.70+ds-2 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,s390x |
sid | 2.70+ds-8 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
|
License: DFSG free
|
The Surface Evolver is an interactive program for the modelling of liquid
surfaces shaped by various forces and constraints.
This package provides evolver variants built with different floating point
formats (double, long double, quadruple) and with an OpenGL/GLUT display.
The package is enhanced by the following packages:
evolver-doc
|
|
gap-gapdoc
GAPDoc - A Meta Package for GAP Documentation
|
Versions of package gap-gapdoc |
Release | Version | Architectures |
trixie | 1.6.7-1 | all |
sid | 1.6.7-1 | all |
jessie | 1.5.1-1 | all |
stretch | 1.5.1-3 | all |
buster | 1.6.2-1 | all |
bullseye | 1.6.3-1 | all |
bookworm | 1.6.6-1 | all |
|
License: DFSG free
|
GAP is a system for computational discrete algebra, with particular emphasis
on Computational Group Theory. GAP provides a programming language, a library
of thousands of functions implementing algebraic algorithms written in the GAP
language as well as large data libraries of algebraic objects. GAP is used in
research and teaching for studying groups and their representations, rings,
vector spaces, algebras, combinatorial structures, and more.
This package contains GAPDoc, "A Meta Package for GAP Documentation", by
Frank Lübeck and Max Neunhöffer, which is used to manage GAP documentation.
|
|
gap-io
low level C library IO bindings for GAP
|
Versions of package gap-io |
Release | Version | Architectures |
stretch | 4.4.6+ds-2 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
trixie | 4.9.1+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
buster | 4.5.4+ds-3 | amd64,arm64,armhf,i386 |
sid | 4.9.1+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bullseye | 4.7.0+ds-2 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bookworm | 4.8.0+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
jessie | 4.4.2+ds-1 | amd64,armel,armhf,i386 |
|
License: DFSG free
|
GAP is a system for computational discrete algebra with particular
emphasis on computational group theory, but which has already proved
useful also in other areas.
This package allows GAP to access UNIX I/O C-library functions.
|
|
gap-online-help
GAP computer algebra system, online help
|
Versions of package gap-online-help |
Release | Version | Architectures |
bullseye | 4.11.0-4 | all |
trixie | 4.13.1-1 | all |
sid | 4.14.0-2 | all |
buster | 4r10p0-7 | all |
stretch | 4r8p6-2 | all |
jessie | 4r7p5-2 | all |
bookworm | 4.12.1-2 | all |
Debtags of package gap-online-help: |
field | mathematics |
made-of | tex |
role | documentation |
|
License: DFSG free
|
GAP is a system for computational discrete algebra, with particular emphasis
on Computational Group Theory. GAP provides a programming language, a library
of thousands of functions implementing algebraic algorithms written in the GAP
language as well as large data libraries of algebraic objects. GAP is used in
research and teaching for studying groups and their representations, rings,
vector spaces, algebras, combinatorial structures, and more.
This package contains the documentation in TeX format needed for the online
help system.
|
|
gap-scscp
|
Versions of package gap-scscp |
Release | Version | Architectures |
jessie | 2.1.4+ds-1 | all |
sid | 2.4.3+ds-1 | all |
trixie | 2.4.3+ds-1 | all |
bookworm | 2.4.0+ds-1 | all |
bullseye | 2.3.1+ds-2 | all |
buster | 2.2.3+ds-2 | all |
stretch | 2.1.4+ds-3 | all |
|
License: DFSG free
|
GAP is a system for computational discrete algebra with particular
emphasis on computational group theory, but which has already proved
useful also in other areas.
This package implements the Symbolic Computation Software
Composability Protocol (SCSCP) for GAP.
|
|
gmp-ecm
|
Versions of package gmp-ecm |
Release | Version | Architectures |
stretch | 7.0.4+ds-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
jessie | 6.4.4-2 | amd64,armel,armhf,i386 |
trixie | 7.0.6+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 7.0.5+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
buster | 7.0.4+ds-5 | amd64,arm64,armhf,i386 |
sid | 7.0.6+ds-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bullseye | 7.0.4+ds-5 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
Debtags of package gmp-ecm: |
field | mathematics |
interface | commandline |
role | program |
scope | utility |
|
License: DFSG free
|
gmp-ecm은 정수 분해를 위한 타원 곡선 방법 (ECM)의 자유 구현입니다.
ECMNET 프로젝트의 원래 목적은 Richard Brent의 예측을 사실로 만드는 것이었습
니다, 즉 ECM으로 50개 이상의 인수를 찾는 것입니다. 이 목표는 1998년 9월 14
일 George Woltman의 mprime 프로그램을 사용해서 2^677-1 c150의 53개 인수를
찾아서 달성되었습니다. 이제 Bob Silverman을 인용하면, ECMNET의 새로운 목표
는 역사적으로 가장 길고, 지속중인 계산 프로젝트, Cunningham 프로젝트에 기여
함으로 ecm을 사용한 다른 큰 인수를 찾는 것입니다. 1999년 12월 Nik Lygeros
및 Michel Mizony가 GMP-ECM을 사용해서 54개 소인수를 찾아 새로운 기록을 세워
졌습니다.
ecmnet에 대한 자세한 정보는 아래 사이트를 참조하십시오.
http://www.loria.fr/~zimmerma/records/ecmnet.html
이 패키지는 명령행 유틸리티를 제공합니다.
|
|
libspectra-dev
library for large scale eigenvalue problems (development files)
|
Versions of package libspectra-dev |
Release | Version | Architectures |
bookworm | 1.0.1-2 | all |
sid | 1.0.1-3 | all |
trixie | 1.0.1-3 | all |
|
License: DFSG free
|
Spectra stands for Sparse Eigenvalue Computation Toolkit as a Redesigned
ARPACK. It is a C++ library for large scale eigenvalue problems, built on top
of Eigen, an open source linear algebra library.
Spectra is implemented as a header-only C++ library, whose only dependency,
Eigen, is also header-only. Hence Spectra can be easily embedded in C++
projects that require calculating eigenvalues of large matrices.
Spectra is designed to calculate a specified number of eigenvalues of a large
square matrix. Usually this number of eigenvalues is much smaller than the
size of the matrix, so that only a few eigenvalues and eigenvectors are
computed, which in general is more efficient than calculating the whole
spectral decomposition. Users can choose eigenvalue selection rules to pick
the eigenvalues of interest, such as the largest k eigenvalues, or eigenvalues
with largest real parts, etc.
|
|
netgen-doc
Automatic 3d tetrahedral mesh generator documentation
|
Versions of package netgen-doc |
Release | Version | Architectures |
bullseye | 6.2.2006+really6.2.1905+dfsg-2.1 | all |
trixie | 6.2.2404+dfsg1-5 | all |
buster | 6.2.1804+dfsg1-3 | all |
sid | 6.2.2404+dfsg1-5 | all |
bookworm | 6.2.2006+really6.2.1905+dfsg-5.1 | all |
upstream | 6.2.2406 |
Debtags of package netgen-doc: |
role | documentation |
|
License: DFSG free
|
NETGEN is an automatic 3d tetrahedral mesh generator. It accepts
input from constructive solid geometry (CSG) or boundary
representation (BRep) from STL file format. NETGEN contains modules
for mesh optimization and hierarchical mesh refinement.
This package contains the user manual (in PDF format) and example
files.
|
|
primesieve
fast prime number generator C/C++ library
|
Versions of package primesieve |
Release | Version | Architectures |
trixie | 12.6+ds-1 | all |
sid | 12.6+ds-1 | all |
bookworm | 11.0+ds-2 | all |
stretch | 5.7.2+ds-2 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
bullseye | 7.6+ds-1 | all |
buster | 7.3+ds-1 | amd64,arm64,armhf,i386 |
|
License: DFSG free
|
primesieve is a free software program and C/C++ library that generates
primes using a highly optimized sieve of Eratosthenes implementation.
primesieve can generate primes and prime k-tuplets up to nearly 2^64.
See http://primesieve.org/ for more information.
This dummy package provides the standard installation.
|
|
r-cran-evd
GNU R Functions for extreme value distributions
|
Versions of package r-cran-evd |
Release | Version | Architectures |
sid | 2.3-7.1-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
bookworm | 2.3-6.1-1 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
bullseye | 2.3-3-3 | amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x |
stretch | 2.3-2-1 | amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,ppc64el,s390x |
trixie | 2.3-7.1-1 | amd64,arm64,armel,armhf,i386,mips64el,ppc64el,riscv64,s390x |
buster | 2.3-3-2 | amd64,arm64,armhf,i386 |
jessie | 2.3-0-1 | amd64,armel,armhf,i386 |
|
License: DFSG free
|
Extends simulation, distribution, quantile and density functions to
univariate and multivariate parametric extreme value distributions, and
provides fitting functions which calculate maximum likelihood estimates
for univariate and bivariate maxima models, and for univariate and
bivariate threshold models.
|
|
sagetex
Embed Sage code and plots into LaTeX
|
Versions of package sagetex |
Release | Version | Architectures |
bookworm | 3.6.1+ds-1 | all |
bullseye | 3.5+ds-2 | all |
buster | 3.2+ds-2 | all |
stretch | 3.0+ds-4 | all |
sid | 3.6.1+ds-1 | all |
|
License: DFSG free
|
The SageTeX LaTeX package allows you to embed code, results of computations,
and plots from the SageMath mathematics software suite into LaTeX documents.
SageMath is an open-source Computer Algebra System (CAS).
This package provides the LaTeX package.
The package is enhanced by the following packages:
sagetex-doc
|
|
Debian packages in contrib or non-free
matlab-support
distro integration for local MATLAB installations
|
Versions of package matlab-support |
Release | Version | Architectures |
bookworm | 0.0.23 (contrib) | all |
stretch | 0.0.21 (contrib) | all |
jessie | 0.0.19+nmu1 (contrib) | all |
bullseye | 0.0.22 (contrib) | all |
sid | 0.1 (contrib) | all |
buster | 0.0.21 (contrib) | all |
trixie | 0.1 (contrib) | all |
|
License: DFSG free, but needs non-free components
|
This package does not provide MATLAB. Instead, it configures an
existing MATLAB installation to integrate more comfortably in
a Debian installation.
Currently it provides /usr/bin/matlab through the alternatives
system, offers to work around incompatibilities between the libraries
bundled with MATLAB and system libraries, and provides a helper
utility meant to be used by other packages to compile MEX extensions.
Install this if you would like your MATLAB installation to behave more
like an ordinary Debian package. Other packages may depend on
this one if they install MATLAB code, for example in order to
compile MEX extensions.
|
Packaging has started and developers might try the packaging code in VCS
isabelle
generic theorem proving environment
|
Versions of package isabelle |
Release | Version | Architectures |
VCS | 2008-4 | all |
|
License: free
Debian package not available
Version: 2008-4
|
Features a choice of several ready-to-use logics (Higher Order Logic,
Higher Order Logic augmented with Scott's Logic for Computable
Functions, First Order Logic, Zermello-Frankel, an extensional
version of Martin-Löf Type Theory, Barendregt's Lambda Cube, a few
sequent calculi (including modal and linear logics), ...) or defining
your own logic / deductive system, a procedural and a declarative
proof style, rich automation for classical reasoning, equational
logic and algebra, LaTeX and X-Symbols notational support.
This package contains the isabelle toolchain.
|
Unofficial packages built by somebody else
octaviz
3D visualization system for Octave
|
|
License: unknown
|
Octaviz is a visualization system for Octave. It is a wrapper that
makes all VTK classes accessible from within Octave using the same
object-oriented syntax as in C++ or Python. Octaviz also provides
high-level functions for 2D and 3D visualization. Using those
functions, most common visualization tasks (3D surface plots, contour
plots etc) can be accomplished without any knowledge about VTK.
|
|