4ti2 : Software package for algebraic, geometric and combinatorial problems ( http://www.4ti2.de/ )
Macaulay2 : Research tool for commutative algebra and algebraic geometry ( http://www.math.uiuc.edu/Macaulay2/ )
agda : A dependently typed functional programming language and proof assistant ( http://wiki.portal.chalmers.se/agda/ )
agda-executable : Command-line program for type-checking and compiling Agda programs ( http://wiki.portal.chalmers.se/agda/ )
agda-lib-ffi : Auxiliary Haskell code used by Agda's standard library ( http://wiki.portal.chalmers.se/agda/ )
agda-stdlib : Agda standard library ( http://wiki.portal.chalmers.se/agda/ )
axiom : Axiom is a general purpose Computer Algebra system ( http://axiom.axiom-developer.org/ )
bertini : Software for Numerical Algebraic Geometry ( http://bertini.nd.edu )
cado-nfs : Number Field Sieve (NFS) implementation for factoring integers ( http://cado-nfs.gforge.inria.fr/ )
calc : Arbitrary precision C-like arithmetic system ( http://www.isthe.com/chongo/tech/comp/calc/ )
cgal : C++ library for geometric algorithms and data structures ( http://www.cgal.org/ https://gforge.inria.fr/projects/cgal/ )
coq : Proof assistant written in O'Caml ( http://coq.inria.fr/ )
cvc3 : CVC3 is an automatic theorem prover for Satisfiability Modulo Theories (SMT) problems ( http://www.cs.nyu.edu/acsys/cvc3/index.html )
dataplot : Program for scientific visualization and statistical analyis ( http://www.itl.nist.gov/div898/software/dataplot/ )
diagrtb : Calculation of some eigenvectors of a large real, symmetrical, matrix ( http://ecole.modelisation.free.fr/modes.html )
drgeo : Interactive geometry package ( http://www.ofset.org/drgeo )
e : E is a theorem prover for full first-order logic with equality ( http://www4.informatik.tu-muenchen.de/~schulz/E/E.html )
ent : Pseudorandom number sequence test ( http://www.fourmilab.ch/random/ )
euler : Mathematical programming environment ( http://euler.sourceforge.net/ )
factmsieve : Convenient factorization helper script using msieve and ggnfs ( http://gladman.plushost.co.uk/oldsite/computing/factoring.php )
fann : Fast Artificial Neural Network Library ( http://leenissen.dk/fann/ )
flint : Fast Library for Number Theory ( http://www.flintlib.org/ )
freemat : Environment for rapid engineering and scientific processing ( http://freemat.sourceforge.net/ )
fricas : FriCAS is a fork of Axiom computer algebra system ( http://fricas.sourceforge.net/ )
frobby : Software system and project for computations with monomial ideals ( http://www.broune.com/frobby/ )
genius : Genius Mathematics Tool and the GEL Language ( http://www.jirka.org/genius.html )
geogebra : Mathematics software for geometry ( http://www.geogebra.org/cms/en )
geomview : Interactive Geometry Viewer ( http://geomview.sourceforge.net )
gfan : computes Groebner fans and tropical varities ( http://www.math.tu-berlin.de/~jensen/software/gfan/gfan.html )
ggnfs : A suite of algorithms to help factoring large integers ( https://github.com/radii/ggnfs )
gimps : The Great Internet Mersenne Prime Search ( http://mersenne.org/ )
ginac : C++ library and tools for symbolic calculations ( http://www.ginac.de/ )
glpk : GNU Linear Programming Kit ( https://www.gnu.org/software/glpk/ )
gmm : Generic C++ template library for sparse, dense and skyline matrices ( http://www-gmm.insa-toulouse.fr/getfem/ )
gmp-ecm : Elliptic Curve Method for Integer Factorization ( http://ecm.gforge.inria.fr/ )
gretl : Regression, econometrics and time-series library ( http://gretl.sourceforge.net/ )
gsl-shell : Lua interactive shell for sci-libs/gsl ( http://www.nongnu.org/gsl-shell/ )
gwnum : George Woltman's GWNUM library ( http://www.mersenne.org/freesoft/ )
isabelle : Isabelle is a generic proof assistant ( http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html )
jags : Just Another Gibbs Sampler for Bayesian MCMC simulation ( http://mcmc-jags.sourceforge.net/ )
kodkod : a constraint solver for relational logic ( http://alloy.mit.edu/kodkod/index.html )
kodkodi : A text front-end for the Kodkod Java library ( http://www21.in.tum.de/~blanchet/#software )
lpsolve : Mixed Integer Linear Programming (MILP) solver ( http://sourceforge.net/projects/lpsolve/ )
lybniz : A function plotter program written in PyGTK ( http://lybniz2.sourceforge.net/ )
mathomatic : Automatic algebraic manipulator ( http://www.mathomatic.org/" SRC_URI="${HOMEPAGE}/archive/${P}.tar.bz2 )
maxima : Free computer algebra environment based on Macsyma ( http://maxima.sourceforge.net/ )
minisat : Small yet efficient SAT solver with reference paper ( http://minisat.se/Main.html )
mlpy : High-performance Python library for predictive modeling ( https://mlpy.fbk.eu/ )
msieve : A C library implementing a suite of algorithms to factor large integers ( http://sourceforge.net/projects/msieve/ )
nauty : Computing automorphism groups of graphs and digraphs ( http://pallini.di.uniroma1.it/ )
nestedsums : A GiNaC-based library for symbolic expansion of certain transcendental functions ( http://wwwthep.physik.uni-mainz.de/~stefanw/nestedsums/ )
normaliz : Tool for computations in affine monoids and more ( http://www.mathematik.uni-osnabrueck.de/normaliz/ )
num-utils : A set of programs for dealing with numbers from the command line ( http://suso.suso.org/programs/num-utils/ )
nusmv : NuSMV: new symbolic model checker ( http://nusmv.irst.itc.it/ )
octave : High-level interactive language for numerical computations ( http://www.octave.org/ )
octave-epstk : Graphical output functions for Matlab and Octave ( http://www.epstk.de/ )
otter : An Automated Deduction System ( http://www.cs.unm.edu/~mccune/otter/ )
p9m4 : This is a Graphical User Interface for Prover9 and Mace4 ( http://www.cs.unm.edu/~mccune/mace4/ )
pari : Computer-aided number theory C library and tools ( http://pari.math.u-bordeaux.fr/ )
pari-data : Data sets for pari ( http://pari.math.u-bordeaux.fr/ )
polymake : research tool for polyhedral geometry and combinatorics ( http://polymake.org )
prng : Pseudo-Random Number Generator library ( http://statmath.wu.ac.at/prng/" SRC_URI="${HOMEPAGE}${P}.tar.gz )
prover9 : Automated theorem prover for first-order and equational logic ( http://www.cs.unm.edu/~mccune/mace4/ )
pspp : Program for statistical analysis of sampled data ( https://www.gnu.org/software/pspp/pspp.html )
pymc : Markov chain Monte Carlo for Python ( https://github.com/pymc-devs/${PN} https://pypi.python.org/pypi/${PN} )
qtoctave : Qt4 front-end for Octave ( http://forja.rediris.es/projects/csl-qtoctave/ )
reduce : A general-purpose computer algebra system ( HOMEPAGE=" )
relational : Qt4 relational algebra application ( http://galileo.dmi.unict.it/wiki/relational/ )
rkward : IDE for the R-project ( http://rkward.sourceforge.net/ )
rngstreams : Multiple independent streams of pseudo-random numbers ( http://statmath.wu.ac.at/software/RngStreams/" SRC_URI="${HOMEPAGE}${P}.tar.gz )
rstudio : IDE for the R language ( http://www.rstudio.or )
rw : Compute rank-width decompositions of graphs ( ${AUTHORPAGE}software/rw.shtml )
sha1-polyml : implementation of SHA1 is taken from the GNU coreutils package ( http://isabelle.in.tum.de/ )
singular : Computer algebra system for polynomial computations ( http://www.singular.uni-kl.de/ )
snns : Stuttgart Neural Network Simulator ( http://sourceforge.net/projects/snns/ )
spass : An Automated Theorem Prover for First-Order Logic with Equality ( http://www.spass-prover.org/ )
spin : Tool for formal verification of distributed software systems ( http://spinroot.com/ )
topcom : Computing Triangulations Of Point Configurations and Oriented Matroids ( http://www.rambau.wm.uni-bayreuth.de/TOPCOM/ )
twelf : Implementation of the logical framework LF ( http://twelf.org/ )
unuran : Universal Non-Uniform Random number generator ( http://statmath.wu.ac.at/unuran/" SRC_URI="${HOMEPAGE}${P}.tar.gz )
wxmaxima : Graphical frontend to Maxima, using the wxWidgets toolkit ( http://andrejv.github.io/wxmaxima/ )
xmds : XMDS - The eXtensible Multi-Dimensional Simulator ( http://www.xmds.org )
yacas : General purpose computer algebra system ( http://yacas.sourceforge.net/ )
yafu : Yet another factoring utility ( http://sourceforge.net/projects/yafu/ )
Add an ebuild in portage :
The ebuild is now in the portage tree.
You can also use layman : emerge layman then layman -a gentoo
For Paludis use this rsync : rsync://gentoo.zugaina.org/gentoo-portage
If you have a problem : ycarus(-at-)zugaina.org