Oid : An interactive, extensible software system for experimenting with matroids ( https://sites.google.com/site/wwwmatroids/ )
acl2 : Industrial strength theorem prover ( https://www.cs.utexas.edu/users/moore/acl2/ )
cipi : Computing information projections iteratively ( https://github.com/tom111/cipi )
flocq : A floating-point formalization for the Coq system ( http://flocq.gforge.inria.fr/ )
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/ )
gap : Computational discrete algebra system - minimal GAP core system ( https://www.gap-system.org/ )
gappa : Verifying and proving properties on floating-point or fixed-point arithmetic ( https://gappa.gitlabpages.inria.fr/ )
gappalib-coq : Allows the certificates Gappa generates to be imported by the Coq ( http://gappa.gforge.inria.fr/ )
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/ )
Add an ebuild in portage :
The ebuild is now in the portage tree.
You can also use layman : emerge layman then layman -a science
For Paludis use this rsync : rsync://gentoo.zugaina.org/science-portage
If you have a problem : ycarus(-at-)zugaina.org