87 Packages in sci-mathematics

Portage Tree » sci-mathematics

Click the package name to view details, versions available and change logs.

4ti2
Software package for algebraic, geometric and combinatorial problems - Versions: 1.6.2, 1.6.6, 1.6.5, 1.6.7 (GPL-2)
Macaulay2
Research tool for commutative algebra and algebraic geometry - Versions: 1.7_pre, 1.8.2.1-r1 (GPL-2)
agda
A dependently typed functional programming language and proof assistant - Versions: 2.5.2-r1, 2.4.2.5-r2 (MIT)
agda-lib-ffi
Auxiliary Haskell code used by Agda's standard library - Versions: 0.0.2, 0.0.2-r2 (MIT)
agda-stdlib
Agda standard library - Versions: 2.4.2.5, 2.5.2.0.13 (MIT)
arb
C library for arbitrary-precision interval arithmetic - Versions: 2.11.1-r1 (GPL-2+)
axiom
Axiom is a general purpose Computer Algebra system - Versions: 200805 (BSD-2)
bertini
Software for Numerical Algebraic Geometry - Versions: 1.4 (bertini)
calc
An arbitrary precision C-like arithmetic system - Versions: 2.12.2.2, 2.12.4.13-r1, 2.12.5.4 (LGPL-2)
cgal
C++ library for geometric algorithms and data structures - Versions: 4.9, 4.10 (LGPL-3 GPL-3 Boost-1.0)
coq
Proof assistant written in O'Caml - Versions: 8.6, 8.6.1 (LGPL-2.1)
cvc3
CVC3 is a theorem prover for Satisfiability Modulo Theories (SMT) problems - Versions: 2.4.1, 2.4.1-r1 (BSD MIT HPND zchaff? ( zchaff ))
dataplot
Program for scientific visualization and statistical analyis - Versions: 20131220, 20090821 (public-domain)
diagrtb
Calculation of some eigenvectors of a large real, symmetrical, matrix - Versions: 2.64 (all-rights-reserved)
drgeo
Interactive geometry package - Versions: 1.1.0-r1 (GPL-2)
dunshire
Python library to solve linear games over symmetric cones - Versions: 0.1.1 (AGPL-3+)
e
E is a theorem prover for full first-order logic with equality - Versions: 1.6, 1.8-r1, 1.8, 1.5 (GPL-2)
ent
Pseudorandom number sequence test - Versions: 101202 (public-domain)
euler
Mathematical programming environment - Versions: 1.61.0 (GPL-2)
factmsieve
Convenient factorization helper script using msieve and ggnfs - Versions: 76-r1 (BSD)
fann
Fast Artificial Neural Network Library - Versions: 2.2.0-r1, 9999 (LGPL-2.1)
flint
Fast Library for Number Theory - Versions: 2.4.4-r1, 2.5.2, 2.4.5 (GPL-2)
form
Symbolic Manipulation System - Versions: 4.2.0, 4.1 (GPL-3)
fricas
FriCAS is a fork of Axiom computer algebra system - Versions: 1.3.1, 1.3.0-r1, 1.3.2 (BSD-2)
frobby
Software system and project for computations with monomial ideals - Versions: 0.9.0-r1, 0.9.0-r2 (GPL-2)
genius
Genius Mathematics Tool and the GEL Language - Versions: 1.0.21 (GPL-3)
geogebra
Mathematics software for geometry - Versions: 5.0.339.0_p20170308 (Geogebra CC-BY-NC-SA-3.0 GPL-3 Apache-2.0 BSD-2 BSD BSD-4 colt EPL-1.0 icu LGPL-2.1 LGPL-2.1+ MIT W3C || ( GPL-2 CDDL ))
geomview
Interactive Geometry Viewer - Versions: 1.9.5-r1 (LGPL-2.1)
gfan
computes Groebner fans and tropical varities - Versions: 0.5-r1 (GPL-2)
ggnfs
A suite of algorithms to help factoring large integers - Versions: 0.77.1-r2 (GPL-2)
gimps
The Great Internet Mersenne Prime Search - Versions: 28.10-r1 (GIMPS)
ginac
C++ library and tools for symbolic calculations - Versions: 1.7.2, 1.6.6 (GPL-2+)
glpk
GNU Linear Programming Kit - Versions: 4.61-r1, 4.48, 4.63, 4.54, 4.57, 4.60, 4.45, 4.55 (GPL-3)
gmm
Generic C++ template library for sparse, dense and skyline matrices - Versions: 5.1 (|| ( LGPL-3 LGPL-3-with-linking-exception ))
gmp-ecm
Elliptic Curve Method for Integer Factorization - Versions: 6.4.4-r1, 9999, 6.4.3-r5 (GPL-3 LGPL-3)
gretl
Regression, econometrics and time-series library - Versions: 1.9.14, 1.9.90 (GPL-3)
gsl-shell
Lua interactive shell for sci-libs/gsl - Versions: 2.3.0_beta1 (GPL-3)
gwnum
George Woltman's GWNUM library - Versions: 277 (gwnum BSD GPL-2+)
isabelle
Isabelle is a generic proof assistant - Versions: 2016.1 (BSD)
jags
Just Another Gibbs Sampler for Bayesian MCMC simulation - Versions: 4.2.0, 4.0.0, 3.4.0, 4.1.0 (GPL-2)
kodkod
a constraint solver for relational logic - Versions: 1.5.2-r1, 1.5.2 (MIT)
kodkodi
A text front-end for the Kodkod Java library - Versions: 1.5.2-r1, 1.5.2 (BSD)
lpsolve
Mixed Integer Linear Programming (MILP) solver - Versions: 5.5.2.0 (LGPL-2.1)
lybniz
A function plotter program written in PyGTK - Versions: 1.3.2-r1 (BSD)
mathmod
Plot parametric and implicit surfaces - Versions: 4.1-r1 (GPL-3)
mathomatic
Automatic algebraic manipulator - Versions: 15.8.5, 16.0.5 (LGPL-2.1)
maxima
Free computer algebra environment based on Macsyma - Versions: 5.39.0, 5.37.3-r4, 5.40.0, 5.38.1 (GPL-2 GPL-2+)
minisat
Small yet efficient SAT solver with reference paper - Versions: 2.2.0_p20130925, 2.2.0-r4 (MIT)
mlpy
High-performance Python library for predictive modeling - Versions: 3.5.0 (GPL-3)
msieve
A C library implementing a suite of algorithms to factor large integers - Versions: 1.51, 9999 (public-domain)
nauty
Computing automorphism groups of graphs and digraphs - Versions: 2.5.9, 2.6.7 (nauty)
nestedsums
A GiNaC-based library for symbolic expansion of certain transcendental functions - Versions: 1.5.1 (GPL-2)
normaliz
Tool for computations in affine monoids and more - Versions: 3.1.3, 3.1.1, 2.12.2, 3.3.0 (GPL-3)
num-utils
A set of programs for dealing with numbers from the command line - Versions: 0.5-r1, 0.3 (GPL-2)
nusmv
NuSMV: new symbolic model checker - Versions: 2.6.0 (LGPL-2.1)
octave
High-level interactive language for numerical computations - Versions: 4.2.1 (GPL-3)
octave-epstk
Graphical output functions for Matlab and Octave - Versions: 2.3, 2.4 (GPL-2)
otter
An Automated Deduction System - Versions: 3.3-r3 (otter)
p9m4
This is a Graphical User Interface for Prover9 and Mace4 - Versions: 05-r1 (GPL-2)
pari
A software package for computer-aided number theory - Versions: 2.5.1-r1, 2.5.4, 2.5.1, 2.5.2, 2.7.1, 2.3.5, 2.5.3, 2.7.0, 2.5.0-r3 (GPL-2)
pari-data
Data sets for pari - Versions: 20120726 (GPL-2)
polymake
research tool for polyhedral geometry and combinatorics - Versions: 3.0_p2 (GPL-2)
prng
Pseudo-Random Number Generator library - Versions: 3.0.2-r2 (GPL-2)
prover9
Automated theorem prover for first-order and equational logic - Versions: 2009.11a (GPL-2)
pspp
Program for statistical analysis of sampled data - Versions: 0.10.2, 0.10.1 (GPL-3)
pymc
Markov Chain Monte Carlo sampling toolkit - Versions: 2.3.6 (AFL-3.0)
pymc3
Bayesian Modeling and Probabilistic Machine Learning in Python - Versions: 3.1 (AFL-3.0)
qtoctave
Qt4 front-end for Octave - Versions: 0.10.1-r1 (GPL-2)
reduce
A general-purpose computer algebra system - Versions: 20110414-r1 (BSD-2 X? ( LGPL-2.1 ))
relational
Educational tool for relational algebra - Versions: 2.5 (GPL-3)
rkward
IDE for the R-project - Versions: 0.6.1, 0.6.5 (GPL-2)
rngstreams
Multiple independent streams of pseudo-random numbers - Versions: 1.0.1 (GPL-3)
rstudio
IDE for the R language - Versions: 1.0.143, 0.97.551, 0.99.491, 0.99.879, 0.99.903, 0.99.902, 0.99.896, 0.99.483, 0.98.490-r1, 0.98.953, 1.0.153, 0.98.932, 0.99.484, 1.0.44, 0.98.1028, 0.98.1091, 0.99.473-r1, 0.99.893, 0.98.490, 0.99.486-r1, 1.0.136, 0.99.482, 0.97.336 (AGPL-3)
rw
Compute rank-width decompositions of graphs - Versions: 0.7-r2 (GPL-2+)
sha1-polyml
implementation of SHA1 is taken from the GNU coreutils package - Versions: 5.5.0, 5.6_p1 (GPL-3)
singular
Computer algebra system for polynomial computations - Versions: 4.0.2, 4.0.3, 3.1.6 (GPL-2)
snns
Stuttgart Neural Network Simulator - Versions: 4.3-r2 (LGPL-2.1)
spass
An Automated Theorem Prover for First-Order Logic with Equality - Versions: 3.7, 3.9 (BSD-2)
spin
Tool for formal verification of distributed software systems - Versions: 6.2.3, 6.2.5, 6.2.1, 6.4.5 (|| ( spin-commercial spin-educational ))
topcom
Computing Triangulations Of Point Configurations and Oriented Matroids - Versions: 0.17.7 (GPL-2)
twelf
Implementation of the logical framework LF - Versions: 1.7.1 (BSD-2)
unuran
Universal Non-Uniform Random number generator - Versions: 1.8.1 (GPL-2)
wxmaxima
Graphical frontend to Maxima, using the wxWidgets toolkit - Versions: 15.08.2, 16.04.2, 16.12.2, 16.12.0 (GPL-2)
xmds
XMDS - The eXtensible Multi-Dimensional Simulator - Versions: 2.2.2 (GPL-2)
yacas
General purpose computer algebra system - Versions: 1.6.1-r1 (GPL-2)
yafu
Yet another factoring utility - Versions: 9999, 1.34.3 (public-domain)
z3
An efficient theorem prover - Versions: 4.5.0, 4.4.1 (MIT)
comments powered by Disqus