gpo.zugaina.org

Search Portage & Overlays:

Browse sci-mathematics

4ti2
software package for algebraic, geometric and combinatorial problems
acl2
agda
Proof assistant in Haskell
agda-executable
agda-lib-ffi
agda-stdlib
alberta
An adaptive hierarchical finite element toolbox
aldor
alt-ergo
apron
APRON is a library dedicated to the static analysis of the numerical variables of a program by Abstract Interpretation
aribas
Interpreter for big integer and multi-precision floating point arithmetic
axiom
bedwyr
bertini
burrtools
Program to solve assembly and interlocking puzzles
cadabra
Field-theory motivated computer algebra system
cado-nfs
calc
An arbitrary precision C-like arithmetic system
cdfplayer
cgal
C++ library for geometric algorithms and data structures
chomp
cipi
coq
Coq is a proof assistant written in O'Caml
cu2
cubex
cvc3
cvc4
dafny
dataplot
A program for scientific visualization and statistical analyis
diagrtb
dikcube
dolfin
drgeo
Interactive geometry package
dsfmt
e
eclib
Programs for enumerating and computing with elliptic curves defined over the rational numbers.
ecm
Elliptic Curve Method for Integer Factorization
elefant
ent
eo
euler
Mathematical programming environment
extcalc
Extcalc scientific calculator based QT
factmsieve
fann
Fast Artificial Neural Network Library implements multilayer artificial neural networks in C
flint
flintqs
William Hart's GPL'd highly optimized multi-polynomial quadratic sieve for integer factorization
flocq
form
frama-c
Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C.
freefem++
Solve PDEs using FEM on 2d and 3d domains
freemat
Environment for rapid engineering and scientific processing
fricas
FriCAS is a fork of Axiom computer algebra system
frobby
Frobby is a software system and project for computations with monomial ideals
fvm2
gambit
gap
System for computational discrete algebra
gap-guava
GUAVA is a package that implements coding theory algorithms in GAP
gappa
A tool to help verifying and proving properties on floating-point or fixed-point arithmetic.
gappalib-coq
This library allows the certificates Gappa generates to be imported by the Coq.
gap_sage_packages
genius
Genius Mathematics Tool and the GEL Language
genus2reduction
Conductor and Reduction Types for Genus 2 Curves
geogebra
geomview
Interactive Geometry Viewer
gfan
Gfan computes Groebner fans and tropical varities
ggnfs
giac
gimps
GIMPS - The Great Internet Mersenne Prime Search
ginac
C++ library and tools for symbolic calculations
glpk
GNU Linear Programming Kit
gmm
Generic C++ template library for sparse, dense and skyline matrices
gmp-ecm
graphthing
A tool that allows you to create, manipulate and study graphs
gretl
Regression, econometrics and time-series library
gsl-shell
gwnum
htk
idl
isabelle
jags
javanns
an efficient universal simulator of neural networks
kash-bin
kayali
Qt front-end for Computer Algebra System mainly maxima
key
koctave
A KDE GUI for Octave numerical computing system
kodkod
kodkodi
kseg
Interactive geometry program for exploring Euclidean geometry
lattE-macchiato
lattE-macchiato consists of tools for lattice point enumeration
lcalc
A program for calculating with L-functions
libsfmt
SIMD-oriented Fast Mersenne Twister
lie
A Computer algebra package for Lie group computations
lpsolve
lrcalc
ltl2ba
Fast LTL to B├╝chi Automata Translation
lybniz
A function plotter program written in PyGTK
Macaulay2
research tool for commutative algebra and algebraic geometry
matgen
mathomatic
Automatic algebraic manipulator
matlab
maxima
Free computer algebra environment based on Macsyma
mcsim
mcube
mdp
A Python data processing framework.
minisat
mlpy
Machine Learning PYthon (mlpy) is a high-performance Python library for predictive modeling
msieve
nauty
nestedsums
netgen
NETGEN is an automatic 3d tetrahedral mesh generator
normaliz
Normaliz is a tool for computations in affine monoids and more
num-utils
A set of programs for dealing with numbers from the command line
nusmv
NuSMV: new symbolic model checker
octave
High-level interactive language for numerical computations
octave-epstk
Graphical output functions for Matlab and Octave
octavede
Development environment for Octave.
Oid
open-axiom
Symbolic and algebraic computations system
optimal
orange
otter
An Automated Deduction System.
p9m4
palp
A Package for Analyzing Lattice Polytopes
pari
A software package for computer-aided number theory
pari-data
pest
Model-independent Parameter ESTimation for model calibration and predictive uncertainty analysis.
petsc
pff
Library for reasoning about floating point numbers in coq.
polybori
Polynomials over Boolean Rings
polymake
research tool for polyhedral geometry and combinatorics
prng
prover9
pspp
Program for statistical analysis of sampled data.
pulp
pvs
pybrain
A modular machine learning library for Python
pymc
pyquante
a quantum chemistry package written in Python.
qsieve
qtoctave
QtOctave is a Qt4 front-end for Octave
ratpoints
Ratpoints tries to find all rational points on a hyperelliptic curve
reduce
regina
relational
Qt4 relational algebra application
rkward
An IDE/GUI for the R-project
rngstreams
rsltc
rstudio
sage
Math software for algebra, geometry, number theory, cryptography and numerical computation
sage-baselayout
sage-clib
C library for Sage
sage-data-combinatorial_designs
sage-data-conway_polynomials
sage-data-elliptic_curves
sage-data-graphs
sage-data-polytopes_db
sage-doc
Documentation for Sage
sage-extcode
Extcode for Sage
sage-matroids
sage-notebook
The Sage Notebook is a web-based graphical user interface for mathematical software
scilab
Scientific software package for numerical computations
scilab-bin
sha1-polyml
singular
Computer algebra system for polynomial computations
snns
Stuttgart Neural Network Simulator
sofastatistics
spass
spin
surfer
Frontend to surf to visualize algebraic curves and surfaces
sympow
Computes special values of symmetric power elliptic curve L-functions
topcom
A package for computing Triangulations Of Point Configurations and Oriented Matroids.
twelf
ufc
unuran
why
Why is a software verification platform.
why3
wxmaxima
Graphical frontend to Maxima, using the wxWidgets toolkit.
xmds
XMDS - The eXtensible Multi-Dimensional Simulator
yacas
Powerful general purpose computer algebra system
yafu
yorick
Language for scientific computing and rapid prototyping
z3