89 Packages in sci-mathematics
Portage Tree » sci-mathematics
Click the package name to view details, versions available and change logs.
- - Versions: ()
- 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.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)
- alt-ergo
- Automatic theorem prover - Versions: 1.30 (CeCILL-C)
- 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-r1 (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, 29.4.5, 29.4.7 (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.41.0-r1, 5.41.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
- Computer-aided number theory C library and tools - Versions: 2.9.4, 2.3.5 (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)
- 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.5_p20170420 (GPL-2+ LGPL-2)
- rngstreams
- Multiple independent streams of pseudo-random numbers - Versions: 1.0.1 (GPL-3)
- rstudio
- IDE for the R language - Versions: 1.1.383, 1.1.368 (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-r3, 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)
- why3-for-spark
- Platform for deductive program verification - Versions: 2017 (GPL-3)
- wxmaxima
- Graphical frontend to Maxima, using the wxWidgets toolkit - Versions: 15.08.2, 17.10.1, 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)