gpo.zugaina.org

Search Portage & Overlays:

Browse sci-mathematics

4ti2
software package for algebraic, geometric and combinatorial problems
abc
acl2
agda
Proof assistant in Haskell
agda-stdlib
alectryon
alt-ergo
arb
bertini
boolector
btor2tools
cadabra
cadical
cado-nfs
calc
An arbitrary precision C-like arithmetic system
cgal
C++ library for geometric algorithms and data structures
cipi
cliquer
coq
Coq is a proof assistant written in O'Caml
coq-mathcomp
coq-serapi
cryptominisat
cu2
cubex
cubicle
cudd
cvc4
database_knotinfo
dataplot
A program for scientific visualization and statistical analyis
diagrtb
dikcube
dsfmt
dunshire
easycrypt
eclib
ent
eprover
euler
Mathematical programming environment
ExportSageNB
fann
Fast Artificial Neural Network Library implements multilayer artificial neural networks in C
flint
flocq
form
frama-c
Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C.
frama-c-aorai
frama-c-callgraph
frama-c-constant-folding
frama-c-dive
frama-c-e-acsl
frama-c-eva
frama-c-from
frama-c-impact
frama-c-inout
frama-c-instantiate
frama-c-loopanalysis
frama-c-metrics
frama-c-nonterm
frama-c-obfuscator
frama-c-occurrence
frama-c-pdg
frama-c-postdominators
frama-c-printapi
frama-c-qed
frama-c-reduc
frama-c-report
frama-c-rtegen
frama-c-scope
frama-c-security-slicing
frama-c-server
frama-c-slicing
frama-c-sparecode
frama-c-studia
frama-c-users
frama-c-variadic
freefem++
fricas
FriCAS is a fork of Axiom computer algebra system
frobby
Frobby is a software system and project for computations with monomial ideals
FXrays
gap
gappa
gappalib-coq
genius
Genius Mathematics Tool and the GEL Language
geogebra-bin
geomview
Interactive Geometry Viewer
gfan
Gfan computes Groebner fans and tropical varities
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
gp2c
gretl
Regression, econometrics and time-series library
gsl-shell
hom4ps-bin
isabelle-bin
jags
kind2
kissat
knot_floer_homology
latte-int
lcalc
lean
libpoly
libsfmt
lie
lpsolve
lrcalc
ltl2ba
mathematica
mathlib-tools
mathmod
mathomatic
Automatic algebraic manipulator
maxima
Free computer algebra environment based on Macsyma
mcube
metamath
metamath-databases
minisat
modular_resolution
msieve
nauty
nestedsums
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
octave
High-level interactive language for numerical computations
octave-epstk
Graphical output functions for Matlab and Octave
octave-meta
Oid
opensmt
optimal
otter
An Automated Deduction System.
palp
pari
A software package for computer-aided number theory
pari-data
petsc
pGroupCohomology
picosat
planarity
plfit
plink
polymake
primecount
primesieve
prng
prover9
proverif
psmt2-frontend
pspp
Program for statistical analysis of sampled data.
pulp
pyromaths
reduce
ripser
rkward
An IDE/GUI for the R-project
rngstreams
rstudio-desktop-bin
rw
sage-conf
sage-data-combinatorial_designs
sage-data-elliptic_curves
sage-data-graphs
sage-data-polytopes_db
sage-doc
sage-flatsurf
sage-sws2rst
sagemath-bliss
sagemath-categories
sagemath-environment
sagemath-meataxe
sagemath-objects
sagemath-repl
sagemath-sirocco
sagemath-standard
sage_docbuild
sage_setup
scilab-bin
sha1-polyml
shared_meataxe
singular
Computer algebra system for polynomial computations
slepc
smtinterpol
snappy
snappy-manifolds
sofastatistics
spherogram
spin
spline3
stp
surface-dynamics
sympow
topcom
A package for computing Triangulations Of Point Configurations and Oriented Matroids.
twelf
unuran
vampire
verifpal
verit
why3
why3-for-spark
wxmaxima
Graphical frontend to Maxima, using the wxWidgets toolkit.
xmds
XMDS - The eXtensible Multi-Dimensional Simulator
yacas
Powerful general purpose computer algebra system
yafu
yices2
z3