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
alt-ergo
apron
arb
aribas
axiom
bedwyr
bertini
brial
burrtools
cadabra
cado-nfs
calc
An arbitrary precision C-like arithmetic system
cgal
C++ library for geometric algorithms and data structures
chomp
cipi
cliquer
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
ent
eo
euler
Mathematical programming environment
factmsieve
fann
Fast Artificial Neural Network Library implements multilayer artificial neural networks in C
flint
flintqs
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++
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
gappa
gappalib-coq
gap_sage_packages
genius
Genius Mathematics Tool and the GEL Language
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
gismo
glpk
GNU Linear Programming Kit
gmm
Generic C++ template library for sparse, dense and skyline matrices
gmp-ecm
gp2c
gretl
Regression, econometrics and time-series library
gsl-shell
gwnum
htk
idl
isabelle
jags
javanns
jessie2
kash-bin
kayali
key
koctave
kodkod
kodkodi
kseg
lattE-macchiato
lcalc
libsfmt
lie
lpsolve
lrcalc
ltl2ba
lybniz
A function plotter program written in PyGTK
Macaulay2
research tool for commutative algebra and algebraic geometry
matgen
mathmod
mathomatic
Automatic algebraic manipulator
matlab
maxima
Free computer algebra environment based on Macsyma
mcsim
mcube
mdp
minisat
mlpy
Machine Learning PYthon (mlpy) is a high-performance Python library for predictive modeling
msieve
nauty
nestedsums
netgen
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
optimal
otter
An Automated Deduction System.
p9m4
palp
pari
A software package for computer-aided number theory
pari-data
petsc
pff
planarity
polybori
polymake
research tool for polyhedral geometry and combinatorics
prng
prover9
pspp
Program for statistical analysis of sampled data.
pulp
pvs
pybrain
pymc
pyquante
qsieve
qtoctave
QtOctave is a Qt4 front-end for Octave
ratpoints
reduce
regina
relational
Qt4 relational algebra application
rkward
An IDE/GUI for the R-project
rngstreams
rsltc
rstudio
rw
sage
sage-data-combinatorial_designs
sage-data-conway_polynomials
sage-data-elliptic_curves
sage-data-graphs
sage-data-polytopes_db
sage-notebook
scilab
scilab-bin
sha1-polyml
singular
Computer algebra system for polynomial computations
slepc
snns
Stuttgart Neural Network Simulator
sofastatistics
spass
spin
spline3
sta
surfer
sympow
tisean
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.
xcas
xmds
XMDS - The eXtensible Multi-Dimensional Simulator
yacas
Powerful general purpose computer algebra system
yafu
yorick
z3