Ubuntu 10.10 Maverick Meerkat: Software Packages presenti nella categoria Aplicazioni Matematiche, seconda parte.

Tutto il software presente nella prossima versione di Ubuntu 10.10 Karmic Koala relativo alla Categoria Applicazioni Matematiche.
Come al solito una recensione, sceheda tecnica e istruzioni per il download di ogni programma.
Dai più conosciuti come Maxima e Octave ad altri semplici tools come Hyantesite, Lcalc e Nauty.
In ordine alfabetico da Hol88 a Octave.

hol88 (2.02.19940316-9) [universe]

Higher Order Logic, system image

hol88-contrib-help (2.02.19940316-9) [universe]

Higher Order Logic, user contributed online help files

hol88-contrib-source (2.02.19940316-9) [universe]

Higher Order Logic, user contributed source

hol88-doc (2.02.19940316-9) [universe]

Documentation for hol88

hol88-help (2.02.19940316-9) [universe]

Higher Order Logic, online help files

hol88-library (2.02.19940316-9) [universe]

Higher Order Logic, binary library modules

hol88-library-help (2.02.19940316-9) [universe]

Higher Order Logic, library online help files

hol88-library-source (2.02.19940316-9) [universe]

Higher Order Logic, library source files

hol88-source (2.02.19940316-9) [universe]

Higher Order Logic, source files

hyantesite (1.2.1-1) [universe]

geomatic tool to compute neighbourhood population potential

jacal (1b9-2.1) [universe]

Interactive symbolic math system

jags (2.1.0-2) [universe]

Just Another Gibbs Sampler for Bayesian MCMC simulation

jfractionlab (0.84-2) [universe]

Educative program to practice fractions

jgraph (83-22) [universe]

Jim Plank's program for producing PostScript graphs

kali (3.1-11) [universe]

Draw tilings, frieze patterns, and so on

kayali (0.3.2-0ubuntu3) [universe]

A Qt-based Computer Algebra System

kbruch (4:4.5.1-0ubuntu2)

fraction learning aid for KDE

kig (4:4.5.1-0ubuntu2)

interactive geometry tool for KDE

kitsune (2.0-0ubuntu3) [universe]

Program to solve mathematical problems

kmplot (4:4.5.1-0ubuntu2)

mathematical function plotter for KDE

kseg (0.4.0.3-3) [universe]

Sketchpad for planar Euclidean geometry

ladr4-apps (0.0.200902a-2) [universe]

the LADR deduction library, miscellaneous applications

lbt (1.2.2-4) [universe]

converts from LTL formulas to Büchi automata

lcalc (0.0.20080205-1build1) [universe]

a program for calculating with L-functions

libcdd-test (094b.dfsg-4) [universe]

Test programs for libcdd-dev

libfreefem0 (3.5.8-4.2) [universe]

Shared libraries for FreeFEM

libgeomview-1.9.4 (1.9.4-2) [universe]

geomview library runtime

libgeomview-dev (1.9.4-2) [universe]

geomview library development package

libglpk0 (4.43-1) [universe]

linear programming kit with integer (MIP) support

libgsl0ldbl (1.14+dfsg-1)

GNU Scientific Library (GSL) -- library package

libgts-bin (0.7.6+darcs090508-1) [universe]

utility binaries for libgts

liblpsolve55-dev (5.5.0.13-7)

Solve (mixed integer) linear programming problems - library

liblrs0d (0.42c-1) [universe]

package to enumerate vertices and extreme rays (shared libraries)

libmeschach1.2 (1.2b-13) [universe]

library for performing operations on matrices and vectors

libpgapack-mpi1 (1.1.1-1) [universe]

A general-purpose genetic algorithm package

libpgapack-serial1 (1.1.1-1) [universe]

A general-purpose genetic algorithm package

libplplot-ada (5.9.5-4ubuntu1) [universe]

Ada support for PLplot, a plotting library

libscilab-java (5.2.2-9ubuntu1) [universe]

Scientific software package for numerical computations (Java API)

libsprng2 (2.0a-5) [universe]

The SPRNG Scalable Parallel RNG library -- library package

libssreflect-coq (1.2+dfsg-6) [universe]

small scale reflection library for Coq (theories)

libssreflect-ocaml (1.2+dfsg-6) [universe]

small scale reflection extension for Coq (plugin)

libtachyon-0.98 (0.98~beta.dfsg-1) [universe]

Parallel/Multiprocessor Ray Tracing Software, shared library

lie (2.2.2+dfsg-1) [universe]

Computer algebra package for Lie group computations

littler (0.1.3-1) [universe]

GNU R scripting and command-line front-end

lp-solve (5.5.0.13-7)

Solve (mixed integer) linear programming problems

lrslib (0.42c-1) [universe]

package to enumerate vertices and extreme rays of a convex polyhedron

lybniz (1.3.2-2) [universe]

mathematical function graph plotter

mace2 (3.3f-1) [universe]

program that searches for finite models of first-order statements

magnus (20060324-5.2ubuntu1) [universe]

Computational group theory software with GUI

maria (1.3.5-2) [universe]

reachability analyzer for Algebraic System Nets

mascyma (0.59-1ubuntu3) [universe]

A user-friendly frontend for MAXIMA

mathomatic (15.1.1-1) [universe]

portable Computer Algebra System (CAS)

mathomatic-primes (15.1.1-1) [universe]

prime number tools for mathomatic

matita (0.5.8-2build2) [universe]

interactive theorem prover

maxima (5.21.1-2ubuntu1) [universe]

A computer algebra system -- base system

maxima-doc (5.21.1-2ubuntu1) [universe]

A computer algebra system -- documentation

maxima-emacs (5.21.1-2ubuntu1) [universe]

A computer algebra system -- emacs interface

maxima-share (5.21.1-2ubuntu1) [universe]

A computer algebra system -- extra code

maxima-src (5.21.1-2ubuntu1) [universe]

A computer algebra system -- source code

maxima-test (5.21.1-2ubuntu1) [universe]

A computer algebra system -- test suite

mcl (1:10-148-1) [universe]

the Markov Cluster algorithm

mcrl2 (201001+svn7611-1) [universe]

the mCRL2 formal specification language toolset

minlog (4.0.99.20100221-5.2) [universe]

Proof assistant based on first order natural deduction calculus

model-builder (0.4.1-4ubuntu1) [universe]

graphical ODE simulator

mrbayes (3.1.2-0ubuntu2) [universe]

A program for the Bayesian estimation of phylogeny

multimix (19981218-12) [universe]

automatic classification or clustering

mumps-test (4.9.2.dfsg-4) [universe]

Example/test binaries using MUMPS

nauty (2.4-2) [multiverse]

command line tools to compute graph automorphisms

nco (4.0.1-1build1) [universe]

command-line operators to analyze netCDF files

netgen (4.9.12.dfsg-3ubuntu1) [universe]

Automatic 3d tetrahedral mesh generator

num-utils (0.5-11) [universe]

programs for dealing with numbers from the command line

octave-ad (1.0.6-3build1) [universe]

automatic forward differentiation in Octave

octave-ann (1.0.2+dfsg-2build1) [universe]

octave binding to the approximate nearest neighbors library

octave-audio (1.1.4-2build1) [universe]

functions to work with audio files in Octave

octave-benchmark (1.1.1-2) [universe]

code to benchmark speed of Octave

octave-bim (1.0.0-1) [universe]

PDE solver using a finite element/volume approach in Octave

octave-bioinfo (0.1.2-2) [universe]

bioinformatic functions for Octave

octave-combinatorics (1.0.9-2build1) [universe]

combinatorics function for Octave

octave-communications (1.0.10-2) [universe]

communications package for Octave

octave-communications-common (1.0.10-2) [universe]

communications package for Octave (arch-indep files)

octave-control (1.0.11-2) [universe]

control functions for Octave from Octave-Forge

octave-data-smoothing (1.2.0-2) [universe]

functions to do data smoothing on noisy data

octave-econometrics (1:1.0.8-2build1) [universe]

econometrics functions for Octave

octave-epstk (2.2-15) [universe]

GNU Octave encapsulated postscript toolkit

octave-financial (0.3.2-1) [universe]

financial manipulation and plotting functions

octave-fixed (0.7.10-2build1) [universe]

fixed point computation for Octave

octave-fpl (1.0.0-1) [universe]

plot data on unstructured triangular and tetrahedral meshes in Octave

octave-ftp (1.0.2-4build1) [universe]

Octave binding for ftplib, and MATLAB compatible APIs

octave-ga (0.9.7-1) [universe]

genetic optimization code for Octave

octave-general (1.2.1-1) [universe]

provide extra general functions for Octave

octave-gsl (1.0.8-2build1) [universe]

GSL binding for Octave

octave-ident (1.0.7-2) [universe]

system identification functions for Octave

octave-image (1.0.12-1) [universe]

image manipulation for Octave

octave-informationtheory (0.1.8-1) [universe]

information theory functions for Octave

octave-integration (1.0.7-2) [universe]

numerical integration toolbox for Octave

octave-io (1.0.12-1) [universe]

input/output data functions for Octave

octave-irsa (1.0.7-2) [universe]

irregular sampling analysis functions for Octave

octave-linear-algebra (1.0.8-1build1) [universe]

additional linear-algebra functions for Octave

octave-mapping (1.0.7-2) [universe]

geographical mapping functions for Octave

octave-miscellaneous (1.0.9-1build2) [universe]

miscellaneous tools for Octave

octave-missing-functions (1.0.2-2) [universe]

finds functions that are in Matlab but not in Octave

octave-msh (1.0.1-1) [universe]

create and manage meshes for FE or FV solvers in Octave

octave-multicore (0.2.15-1build1) [universe]

parallel processing on multiple cores for Octave

octave-nan (1.0.9-1build1) [universe]

handles data with and without missing values in Octave

octave-nlwing2 (1.1.1-3build1) [universe]

nonlinear lifting line for wings in Octave

octave-nnet (0.1.12-1) [universe]

feed forward multi-layer neural network functions for Octave

octave-nurbs (1.0.3-1) [universe]

non-uniform rational B-splines for Octave

octave-ocs (0.1.0-2) [universe]

circuit simulator for Octave

octave-octcdf (1.0.13-2) [universe]

NetCDF data files interface for Octave

octave-octgpr (1.1.5-3) [universe]

functions to smooth and interpolate scattered data in Octave

octave-odepkg (0.6.10-1) [universe]

solve differential equations and initial value problems in Octave

octave-optim (1.0.12-1) [universe]

unconstrained non-linear optimization toolkit for Octave

octave-optiminterp (0.3.2-2build1) [universe]

optimal interpolation package for Octave

octave-outliers (0.13.9-2) [universe]

outliers detection function for Octave

octave-parallel (2.0.1-1) [universe]

parallel execution of Octave in clusters of computers

octave-pdb (1.0.7-2build1) [universe]

process files from protein databank in Octave

octave-pfstools (1.8.1-2build1) [universe]

octave bindings for pfstools

octave-physicalconstants (0.1.7-2) [universe]

provide physical constants values in Octave

octave-plot (1.0.8-1) [universe]

additional plotting tools for Octave

octave-plplot (5.9.5-4ubuntu1) [universe]

Octave support for PLplot, a plotting library

octave-secs1d (0.0.8-2build1) [universe]

semi conductor simulator in 1D for Octave

octave-secs2d (0.0.8-2build1) [universe]

semi conductor simulator in 2D for Octave

octave-signal (1.0.11-2) [universe]

signal processing functions for Octave

octave-simp (1.1.0-2) [universe]

single interval mathematics package for Octave

octave-sockets (1.0.6-1build1) [universe]

communication through Internet sokects in Octave

octave-sp (1:2003-10) [universe]

Semidefinite Programming functions for GNU Octave

octave-specfun (1.0.9-1) [universe]

special mathematical functions for Octave

octave-splines (1.0.7-2) [universe]

cubic spline functions for Octave

octave-statistics (1.0.10-1) [universe]

additional statistical functions for Octave

octave-strings (1.0.7-2) [universe]

additional string manipulation functions for Octave

octave-struct (1.0.7-2) [universe]

additional structure manipulation functions for Octave

octave-symband (1.0.10-1build1) [universe]

symmetric banded matrices for Octave

octave-symbolic (1.0.9-1build1) [universe]

symbolic package for Octave

octave-time (1.0.9-2) [universe]

date format manipulation function for Octave

octave-tsa (4.0.1-2) [universe]

time series analysis in Octave

octave-vrml (1.0.11-1) [universe]

VRML functions for Octave

octave-xraylib (1.0.8-2build1) [universe]

Octave bindings to the xraylib functions

octave-zenity (0.5.7-2) [universe]

simple graphical user interfaces using zenity in Octave

octave3.2 (3.2.4-6) [universe]

GNU Octave language for numerical computations (3.2 branch)

octave3.2-emacsen (3.2.4-6) [universe]

Emacs support for the GNU Octave language (3.2 branch)

octave3.2-headers (3.2.4-6) [universe]

header files for the GNU Octave language (3.2 branch)

octave3.2-info (3.2.4-6) [universe]

GNU Info documentation on the GNU Octave language (3.2 branch)

orpie (1.5.1-8) [universe]

RPN calculator for the terminal

otter (3.3f-1) [universe]

resolution-style theorem prover

Se ti è piaciuto l'articolo , iscriviti al feed cliccando sull'immagine sottostante per tenerti sempre aggiornato sui nuovi contenuti del blog: