Oid : An interactive, extensible software system for experimenting with matroids ( https://sites.google.com/site/wwwmatroids/ )
cipi : Computing information projections iteratively ( https://github.com/tom111/cipi )
frama-c : Framework for analysis of source codes written in C ( https://frama-c.com )
freefem++ : Solve PDEs using FEM on 2d and 3d domains ( https://freefem.org/ )
libsfmt : SIMD-oriented Fast Mersenne Twister ( http://www.math.sci.hiroshima-u.ac.jp/~m-mat/MT/SFMT/index.html )
lie : A Computer algebra package for Lie group computations ( http://www-math.univ-poitiers.fr/~maavl/LiE/" # no https, invalid certificat )
ltl2ba : Fast LTL to Buechi Automata Translation ( http://www.lsv.ens-cachan.fr/~gastin/ltl2ba )
pulp : Create MPS/LP files, call solvers, and present results ( https://coin-or.github.io/pulp/ )
ripser : efficient computation of Vietoris-Rips persistence barcodes ( https://github.com/Ripser/ripser )
scilab-bin : Scientific software package for numerical computations ( https://www.scilab.org/ )
Pour rajouter une e-build dans l'arbre de portage :
L'ebuild est alors rajouté dans l'arbre de portage.
Vous pouvez aussi utiliser layman : emerge layman puis layman -a science
Pour Paludis utilisez ce rsync : rsync://gentoo.zugaina.org/science-portage
En cas de problèmes : ycarus(-at-)zugaina.org