## Browse sci-mathematics

4ti2

software package for algebraic, geometric and combinatorial problemsacl2

agda

Proof assistant in Haskellagda-executable

agda-lib-ffi

agda-stdlib

alberta

An adaptive hierarchical finite element toolboxalt-ergo

apron

APRON is a library dedicated to the static analysis of the numerical variables of a program by Abstract Interpretationaribas

Interpreter for big integer and multi-precision floating point arithmeticaxiom

bedwyr

bertini

burrtools

Program to solve assembly and interlocking puzzlescadabra

Field-theory motivated computer algebra systemcado-nfs

calc

An arbitrary precision C-like arithmetic systemcdfplayer

cgal

C++ library for geometric algorithms and data structurescipi

coq

Coq is a proof assistant written in O'Camlcvc3

cvc4

dafny

dataplot

A program for scientific visualization and statistical analyisdiagrtb

dolfin

drgeo

Interactive geometry packagedsfmt

e

ecm

elefant

ent

eo

euler

Mathematical programming environmentextcalc

Extcalc scientific calculator based QTfactmsieve

fann

Fast Artificial Neural Network Library implements multilayer artificial neural networks in Cflint

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 domainsfreemat

Environment for rapid engineering and scientific processingfricas

FriCAS is a fork of Axiom computer algebra systemfrobby

Frobby is a software system and project for computations with monomial idealsgambit

gap

System for computational discrete algebragap-guava

GUAVA is a package that implements coding theory algorithms in GAPgappa

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.genius

Genius Mathematics Tool and the GEL Languagegeogebra

geomview

Interactive Geometry Viewergfan

Gfan computes Groebner fans and tropical varitiesggnfs

giac

gimps

GIMPS - The Great Internet Mersenne Prime Searchginac

C++ library and tools for symbolic calculationsglpk

GNU Linear Programming Kitgmm

Generic C++ template library for sparse, dense and skyline matricesgmp-ecm

graphthing

A tool that allows you to create, manipulate and study graphsgretl

Regression, econometrics and time-series librarygsl-shell

gwnum

htk

idl

isabelle

jags

javanns

an efficient universal simulator of neural networkskash-bin

kayali

Qt front-end for Computer Algebra System mainly maximakey

koctave

A KDE GUI for Octave numerical computing systemkodkod

kodkodi

kseg

Interactive geometry program for exploring Euclidean geometrylattE-macchiato

lattE-macchiato consists of tools for lattice point enumerationlibsfmt

SIMD-oriented Fast Mersenne Twisterlie

A Computer algebra package for Lie group computationslpsolve

ltl2ba

Fast LTL to Büchi Automata Translationlybniz

A function plotter program written in PyGTKMacaulay2

research tool for commutative algebra and algebraic geometrymathomatic

Automatic algebraic manipulatormatlab

maxima

Free computer algebra environment based on Macsymamcsim

mdp

A Python data processing framework.minisat

mlpy

Machine Learning PYthon (mlpy) is a high-performance Python library for predictive modelingmsieve

nauty

nestedsums

netgen

NETGEN is an automatic 3d tetrahedral mesh generatornormaliz

Normaliz is a tool for computations in affine monoids and morenum-utils

A set of programs for dealing with numbers from the command linenusmv

NuSMV: new symbolic model checkeroctave

High-level interactive language for numerical computationsoctave-epstk

Graphical output functions for Matlab and Octaveoctavede

Development environment for Octave.Oid

open-axiom

Symbolic and algebraic computations systemorange

otter

An Automated Deduction System.p9m4

pari

A software package for computer-aided number theorypari-data

pest

Model-independent Parameter ESTimation for model calibration and predictive uncertainty analysis.petsc

pff

Library for reasoning about floating point numbers in coq.polymake

research tool for polyhedral geometry and combinatoricsprng

prover9

pspp

Program for statistical analysis of sampled data.pulp

pvs

pybrain

A modular machine learning library for Pythonpymc

pyquante

a quantum chemistry package written in Python.qtoctave

QtOctave is a Qt4 front-end for Octavereduce

regina

relational

Qt4 relational algebra applicationrkward

An IDE/GUI for the R-projectrngstreams

rsltc

rstudio

sage

Math software for algebra, geometry, number theory, cryptography and numerical computationscilab

Scientific software package for numerical computationsscilab-bin

sha1-polyml

singular

Computer algebra system for polynomial computationssnns

Stuttgart Neural Network Simulatorspass

spin

surfer

Frontend to surf to visualize algebraic curves and surfacestopcom

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 Simulatoryacas

Powerful general purpose computer algebra systemyafu

yorick

Language for scientific computing and rapid prototypingz3