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

alt-ergo : Alt-Ergo is an automatic theorem prover ( http://alt-ergo.ocamlpro.com )

apron : Static analysis of the numerical variables by Abstract Interpretation ( http://apron.cri.ensmp.fr/library/ )

aribas : Interpreter for big integer and multi-precision floating point arithmetic ( http://www.mathematik.uni-muenchen.de/~forster/sw/aribas.html )

axiom : Axiom is a general purpose Computer Algebra system ( http://axiom.axiom-developer.org/ )

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

cadabra : Field-theory motivated computer algebra system ( http://cadabra.phi-sci.com )

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

dolfin : C++/Python interface of FEniCS ( https://bitbucket.org/fenics-project/dolfin )

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

gambit : Gambit: Software Tools for Game Theory ( http://www.gambit-project.org/doc/index.html )

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 )

kayali : Qt front-end for Computer Algebra System mainly maxima ( http://kayali.sourceforge.net/ )

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

mathics : A free lightweight CAS using Wolfram Language ( https://mathics.github.io/ )

mdp : Modular data processing framework for python ( http://mdp-toolkit.sourceforge.net/index.html )

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

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

petsc : Portable, Extensible Toolkit for Scientific Computation ( http://www.mcs.anl.gov/petsc/ )

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

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

slepc : Scalable Library for Eigenvalue Problem Computations ( http://slepc.upv.es/ )

tisean : Time series analytics with theory of non-liner deterministic dynamical systems ( HOMEPAGE=" )

ufc : Unified framework for finite element assembly ( https://bitbucket.org/fenics-project/ufc-deprecated/ )

why : Why is a software verification platform ( http://why.lri.fr/ )

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

yorick : Language for scientific computing and rapid prototyping ( http://yorick.sourceforge.net/ )

z3 : An efficient theorem prover ( http://z3.codeplex.com/ )

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