Pakiet: science-mathematics (1.14.7)

[ Pakiet źródłowy: debian-science  ]

"Debian Science" - pakiety związane z matematyką

Ten metapakiet instaluje pakiety z projektu "Debian Science" związane z Matematyką. Osoby zainteresowane może zaciekawić znacznik field::mathematics oraz, w zależności od upodobań, metapakiet education-mathematics.

Znaczniki: Dziedzina: Matematyka, Rola: Metapakiet, Zestaw oprogramowania: Debian

Inne pakiety związane z science-mathematics

• dep: science-config (= 1.14.7)

  "Debian Science" - pakiet konfiguracyjny projektu

• dep: science-tasks (= 1.14.7)

  "Debian Science" - zadania dla narzędzia tasksel

• rec: 4ti2

  Matematyczny pakiet narzędziowy do problemów w przestrzeniach liniowych - narzędzia

• rec: agda

  dependently typed functional programming language

• rec: auto-07p

  software for continuation and bifurcation problems in ODE

• rec: axiom

  Uniwersalny system algebry komputerowej: główny program i moduły

• rec: bliss

  Narzędzie do obliczania automorfizmów i etykietowania grafów - plik wykonywalny

• rec: cohomcalg

  sheaf cohomology of line bundles on toric varieties

• rec: coinor-cbc

  Program "Coin-or branch-and-cut" do rozwiązywania mieszanych liczb całkowitych

• rec: coinor-csdp

  Software package for semidefinite programming (binaries)

• rec: coinor-libbonmin-dev

  COIN-OR mixed integer programming (developer files)

• rec: coinor-symphony

  Pakiet niedostępny

• rec: coq

  Asystent udowadniania logiki wyższego rzędu (interfejs i kompilator)

• rec: cryptominisat

  SAT solver command line interface

• rec: eclib-tools

  Pakiet niedostępny

• rec: eprover

  Equational theorem prover

• rec: fenics

  Pakiet niedostępny

• rec: flintqs

  Program wykorzystujący sito kwadratowe do rozkładania liczb całkowitych na czynniki

• rec: form

  System manipulacji symbolicznej

• rec: fplll-tools

  Tools to compute LLL-reduction of Euclidian lattices

• rec: freefem

  Język wykorzystujący Metodę Elementów Skończonych do obliczeń PDE

• rec: freefem++

  Provides the binaries of the FreeFem++ FE suite

• rec: frobby

  Computations with monomial ideals

• rec: gap

  Komputerowy system algebraiczny do grup, algorytmów i programowania

• rec: gap-character-tables

  Biblioteka tabeli znaków do systemu GAP

• rec: gap-design

  Projekty bloków dla GAP

• rec: gap-factint

  Zaawansowane metody do rozkładu liczb całkowitych na czynniki pierwsze dla GAP

• rec: gap-float

  Wieloprecyzyjne obliczenia zmiennoprzecinkowe dla GAP

• rec: gap-grape

  Algorytmy grafowe wykorzystujące grupy permutacyjne dla GAP

• rec: gap-guava

  coding theory library for GAP

• rec: gap-laguna

  LAGUNA GAP package

• rec: gap-openmath

  Zbiór wyrażeń OpenMath dla GAP

• rec: gap-sonata

  Systemy Nearrings i ich zastosowania w GAP

• rec: gap-table-of-marks

  GAP TomLib - biblioteka GAP z tablicami znaków

• rec: gap-toric

  Różnorodność toryczna dla GAP

• rec: geneagrapher

  Create tree from Mathematics Genealogy Project (executable)

• rec: geogebra

  Dynamiczny program matematyczny do edukacji

• rec: geomview

  Interaktywna przeglądarka geometryczna

• rec: gerris

  Narzędzie do rozwiązywania równań opisujących przepływ cieczy

• rec: getdp

  general environment for the treatment of discrete problems

• rec: gfan

  program for computing with Groebner fans

• rec: ginac-tools

  Narzędzia do obsługi symbolicznej infrastruktury GiNaC

• rec: gmsh

  Program do tworzenia trójwymiarowych siatek przestrzennych do metody elementów skończonych

• rec: graphviz

  rich set of graph drawing tools

• rec: hol-light

  HOL Light theorem prover

• rec: lcalc

  Program obliczeniowy do L-funkcji

• rec: libjgrapht-java

  Java library of graph theory data structures and algorithms
  również pakiet wirtualny udostępniany przez libjgrapht0.8-java

• rec: libmatheval1

  GNU library for evaluating symbolic mathematical expressions (runtime)

• rec: lp-solve

  Solve (mixed integer) linear programming problems

• rec: lrcalc

  Programy do obliczania współczynników Littlewooda-Richardsona

• rec: lrslib

  package to enumerate vertices and extreme rays of a convex polyhedron

• rec: macaulay2

  System oprogramowania do badań geometrii algebraicznej

• rec: magnus

  Bardzo prosta lupa ekranowa

• rec: mathicgb

  Compute Groebner bases (command line tool)

• rec: mathomatic

  portable Computer Algebra System (CAS)

• rec: maxima-sage

  System algebry komputerowej - system podstawowy

• rec: mcl

  Algorytm klastrów Markowa

• rec: minisat

  Fast and lightweight SAT solver

• rec: mumps-test

  Example/test binaries using MUMPS

• rec: nauty

  library for graph automorphisms -- interface and tools

• rec: netgen

  Automatyczny generator trójwymiarowych, czworościennych siatek

• rec: normaliz

  Narzędzia matematyczne do obliczania monoidów afinicznych, wymiernych wielotopów i stożków

• rec: octave

  Język GNU Octave do obliczeń numerycznych

• rec: palp

  Pakiet do analizy wielotopów kratowych

• rec: pari-gp

  PARI/GP Computer Algebra System binaries

• rec: persalys

  GUI for uncertainty treatment and variabilities management

• rec: phcpack

  general-purpose solver for polynomial systems (command line)

• rec: planarity

  Program for planarity-related graph algorithms

• rec: polylib-utils

  Różne narzędzia korzystające z libpolylib

• rec: proofgeneral

  Ogólny interfejs dla asystentów dowodzenia twierdzeń

• rec: python3-deap

  Distributed Evolutionary Algorithms in Python3

• rec: python3-dolfin

  Pakiet niedostępny

• rec: python3-ffc

  compiler for finite element variational forms (Python 3)

• rec: python3-minieigen

  Wrapper of parts of the Eigen library (Python 3)

• rec: python3-openturns

  Python3 front-end of OpenTURNS (aka TUI)

• rec: python3-persalys

  GUI for uncertainty treatment (Python bindings)

• rec: python3-sagenb-export

  Convert SageNB Notebooks (Python 3)

• rec: python3-ufl

  unified language for form-compilers (Python 3)

• rec: qepcad

  quantifier elimination tool

• rec: qhull-bin

  calculate convex hulls and related structures (utilities)

• rec: qsopt-ex

  Exact linear programming solver

• rec: regina-normal

  Pakiet niedostępny

• rec: rheolef

  Pakiet niedostępny

• rec: rubiks

  Small collection of Rubik's cube solvers

• rec: sagemath

  Pakiet niedostępny

• rec: sagemath-database-conway-polynomials

  Baza danych wielomianów Conwaya

• rec: sagemath-database-cremona-elliptic-curves

  Databases of elliptic curves over the rationals

• rec: sagemath-database-elliptic-curves

  Bazy danych do krzywych eliptycznych

• rec: sagemath-database-graphs

  Bazy danych z wykresami

• rec: sagemath-database-mutually-combinatorial-designs

  Databases of combinatorial designs

• rec: sagemath-database-polytopes

  Databases of polytopes

• rec: science-statistics

  "Debian Science" - pakiety związane ze statystykami

• rec: scilab

  Pakiet oprogramowania naukowego do obliczeń numerycznych

• rec: scotch

  programs and libraries for graph, mesh and hypergraph partitioning

• rec: singular

  Computer Algebra System for Polynomial Computations

• rec: surf-alggeo

  visualization of real algebraic geometry

• rec: sympow

  Program matematyczny dla funkcji L z krzywymi eliptycznymi o potęgach symetrycznych - program

• rec: tachyon

  Parallel/Multiprocessor Standalone Ray Tracer - metapackage

• rec: tetgen

  Quality Tetrahedral Mesh Generator

• rec: topcom

  Triangulations Of Point Configurations and Oriented Matroids

• rec: toulbar2

  Exact combinatorial optimization for Graphical Models

• rec: wxmaxima

  Interfejs graficzny dla systemu algebraicznego Maxima

• rec: xcas

  System algebry komputerowej - konsola i kalkulator graficzny

• rec: xmaxima

  Komputerowy system algebraiczny - interfejs do systemu X Window

• rec: xmds2

  eXtensible Multi-Dimensional Simulator

• sug: ann-tools

  Biblioteka do przybliżonego wyszukiwania najbliższego sąsiada - narzędzia

• sug: cliquer

  Program do wyszukiwania klik

• sug: evolver-ogl

  Surface Evolver (modelator powierzchni) - z wyświetlaczem wykorzystującym OpenGL

  lub evolver-nox

  Surface Evolver (modelator powierzchni) - bez obsługi X

• sug: feel++-apps

  Pakiet niedostępny

• sug: freefem3d

  Pakiet niedostępny

• sug: freemat

  Pakiet niedostępny

• sug: gap-gapdoc

  GAPDoc - metapakiet do dokumentacji GAP

• sug: gap-io

  low level C library IO bindings for GAP

• sug: gap-online-help

  Komputerowy system algebraiczny GAP, pomoc online

• sug: gap-prim-groups

  Pakiet niedostępny

• sug: gap-scscp

  Protokół SCSCP w GAP

• sug: gap-small-groups

  Pakiet niedostępny

• sug: gap-small-groups-extra

  Pakiet niedostępny

• sug: gap-trans-groups

  Pakiet niedostępny

• sug: gmp-ecm

  Factor integers using the Elliptic Curve Method

• sug: isabelle

  Pakiet niedostępny

• sug: julia

  Pakiet niedostępny

• sug: libspectra-dev

  library for large scale eigenvalue problems (development files)

• sug: matita

  Pakiet niedostępny

• sug: matlab-support

  distro integration for local MATLAB installations

• sug: model-builder

  Pakiet niedostępny

• sug: netgen-doc

  Automatyczny generator trójwymiarowych, czworościennych siatek - dokumentacja

• sug: octaviz

  Pakiet niedostępny

• sug: primesieve

  fast prime number generator C/C++ library

• sug: prover9

  Pakiet niedostępny

• sug: pyomo

  Pakiet niedostępny

• sug: r-cran-evd

  GNU R Functions for extreme value distributions

• sug: sagetex

  Pakiet niedostępny

• sug: scilab-ann

  Pakiet niedostępny

• sug: snappea

  Pakiet niedostępny

• sug: xmds

  Pakiet niedostępny

Pobieranie science-mathematics

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
all	10,8 KiB	31,0 KiB	[lista plików]