Browse sci-mathematics
4ti2
gretl
octave-secs1d
acl2
gsl-shell
octave-secs2d
agda
isabelle
octave-secs3d
agda-stdlib
isabelle-bin
octave-signal
alectryon
jags
octave-sockets
alt-ergo
knot_floer_homology
octave-sparsersb
arb
latte-int
octave-splines
bertini
lcalc
octave-statistics
cadabra
lean
octave-stk
cadical
lean-mathlib
octave-strings
calc
libsfmt
octave-struct
cgal
lie
octave-symbolic
chaco
lpsolve
octave-tisean
cipi
lrcalc
octave-tsa
cliquer
ltl2ba
octave-vibes
coq
mathematica
octave-video
coq-mathcomp
mathlib-tools
octave-vrml
coq-serapi
mathmod
octave-zeromq
cryptominisat
mathomatic
Oid
cu2
maxima
optimal
cubex
mccs
otter
cvc4
mcube
packup
database_knotinfo
metamath
palp
dataplot
metamath-databases
pari
diagrtb
minisat
pari-data
dikcube
minisat+
petsc
dsfmt
modular_resolution
pGroupCohomology
dunshire
msieve
planarity
easycrypt
nauty
plink
eclib
nestedsums
polymake
ent
netgen
primecount
euler
normaliz
primesieve
ExportSageNB
num-utils
prng
fann
octave
prover9
flint
octave-arduino
psmt2-frontend
flintqs
octave-audio
pspp
flocq
octave-bim
pulp
form
octave-bsltl
pymc3
frama-c
octave-cgi
qsieve
frama-c-aorai
octave-communications
radian
frama-c-callgraph
octave-control
ratpoints
frama-c-constant-folding
octave-data-smoothing
reduce
frama-c-dive
octave-database
relational
frama-c-e-acsl
octave-dataframe
ripser
frama-c-eva
octave-dicom
rkward
frama-c-from
octave-divand
rngstreams
frama-c-impact
octave-doctest
rstudio
frama-c-inout
octave-econometrics
rw
frama-c-instantiate
octave-epstk
sage
frama-c-loopanalysis
octave-fem-fenics
sage-data-combinatorial_designs
frama-c-metrics
octave-financial
sage-data-conway_polynomials
frama-c-nonterm
octave-fits
sage-data-elliptic_curves
frama-c-obfuscator
octave-fpl
sage-data-graphs
frama-c-occurrence
octave-fuzzy-logic-toolkit
sage-data-polytopes_db
frama-c-pdg
octave-ga
sage-doc
frama-c-postdominators
octave-general
sage-flatsurf
frama-c-printapi
octave-generate_html
sage_docbuild
frama-c-qed
octave-geometry
sage_numerical_backends_coin
frama-c-report
octave-gsl
sage_setup
frama-c-rtegen
octave-image
scilab-bin
frama-c-scope
octave-image-acquisition
sha1-polyml
frama-c-security-slicing
octave-instrument-control
shared_meataxe
frama-c-server
octave-interval
singular
frama-c-slicing
octave-io
slepc
frama-c-sparecode
octave-level-set
smtinterpol
frama-c-studia
octave-linear-algebra
snappy
frama-c-users
octave-lssa
snappy_manifolds
frama-c-variadic
octave-ltfat
sofastatistics
frama-c-wp
octave-mapping
spherogram
freefem++
octave-matgeom
spin
fricas
octave-meta
spline3
frobby
octave-miscellaneous
stp
FXrays
octave-msh
surface_dynamics
gap
octave-mvn
sympow
gap-core
octave-nan
the-omega-project
gappa
octave-ncarray
topcom
gappalib-coq
octave-netcdf
twelf
genius
octave-nurbs
unuran
geogebra-bin
octave-ocl
vampire
geomview
octave-ocs
verit
gfan
octave-octclip
why3
giac
octave-octproj
why3-for-spark
gimps
octave-optics
wxmaxima
ginac
octave-optim
xmds
glpk
octave-optiminterp
yacas
gmm
octave-parallel
yafu
gmp-ecm
octave-quaternion
z3
gp2c
octave-queueing