Ycarus Gentoo ebuild

science

These ebuilds come from .

If you have some problems, go to the official site first.

sci-mathematics

Macaulay2 : Research tool for commutative algebra and algebraic geometry ( http://www.math.uiuc.edu/Macaulay2/ )

Oid : An interactive, extensible software system for experimenting with matroids ( http://sites.google.com/site/wwwmatroids/ )

acl2 : Industrial strength theorem prover ( http://www.cs.utexas.edu/users/moore/acl2/ )

burrtools : Program to solve assembly and interlocking puzzles ( http://burrtools.sourceforge.net/ )

cipi : Computing information projections iteratively ( http://github.com/tom111/cipi )

dsfmt : Double precision SIMD-oriented Fast Mersenne Twister library ( http://www.math.sci.hiroshima-u.ac.jp/~m-mat/MT/SFMT" SRC_URI="${HOMEPAGE}/${MYP}.tar.gz )

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 ( http://frama-c.com )

freefem++ : Solve PDEs using FEM on 2d and 3d domains ( http://www.freefem.org/ff++/ )

gap : System for computational discrete algebra ( http://www.gap-system.org/ )

gappa : Verifying and proving properties on floating-point or fixed-point arithmetic ( http://gappa.gforge.inria.fr/ )

gappalib-coq : Allows the certificates Gappa generates to be imported by the Coq ( http://gappa.gforge.inria.fr/ )

giac : A free C++ CAS (Computer Algebra System) library and its interfaces ( http://www-fourier.ujf-grenoble.fr/~parisse/giac.html )

htk : Toolkit for building and manipulating hidden Markov models ( http://htk.eng.cam.ac.uk/" elog "from ${HOMEPAGE} )

kash-bin : software package for algebraic number theory ( http://page.math.tu-berlin.de/~kant/kash.html )

lattE-macchiato : lattE-macchiato consists of tools for lattice point enumeration ( http://www.math.ucdavis.edu/~mkoeppe/latte/ )

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/ )

ltl2ba : Fast LTL to Buechi Automata Translation ( http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/ )

netgen : Automatic 3d tetrahedral mesh generator ( http://www.hpfem.jku.at/netgen/ )

open-axiom : Symbolic and algebraic computations system ( http://www.open-axiom.org/ )

pff : Library for reasoning about floating point numbers in coq ( http://lipforge.ens-lyon.fr/www/pff/ )

pulp : Create MPS/LP files, call solvers, and present results ( http://pulp-or.googlecode.com/ )

ripser : efficient computation of Vietoris-Rips persistence barcodes ( https://ripser.org )

scilab : Scientific software package for numerical computations ( http://www.scilab.org/ )

why3 : Why3 is a platform for deductive program verification ( http://why3.lri.fr/ )

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