sci-mathematics packages

88 packages - The sci-mathematics category contains mathematical software.

sci-mathematics / 4ti2 : Software package for algebraic, geometric and combinatorial problems

sci-mathematics / Macaulay2 : Research tool for commutative algebra and algebraic geometry

sci-mathematics / agda : A dependently typed functional programming language and proof assistant

sci-mathematics / agda-lib-ffi : Auxiliary Haskell code used by Agda's standard library

sci-mathematics / agda-stdlib : Agda standard library

sci-mathematics / alt-ergo : Automatic theorem prover

sci-mathematics / arb : C library for arbitrary-precision interval arithmetic

sci-mathematics / axiom : Axiom is a general purpose Computer Algebra system

sci-mathematics / bertini : Software for Numerical Algebraic Geometry

sci-mathematics / calc : Arbitrary precision C-like arithmetic system

sci-mathematics / cgal : C++ library for geometric algorithms and data structures

sci-mathematics / coq : Proof assistant written in O'Caml

sci-mathematics / cvc3 : CVC3 is a theorem prover for Satisfiability Modulo Theories (SMT) problems

sci-mathematics / dataplot : Program for scientific visualization and statistical analyis

sci-mathematics / diagrtb : Calculation of some eigenvectors of a large real, symmetrical, matrix

sci-mathematics / drgeo : Interactive geometry package

sci-mathematics / dunshire : Python library to solve linear games over symmetric cones

sci-mathematics / e : E is a theorem prover for full first-order logic with equality

sci-mathematics / ent : Pseudorandom number sequence test

sci-mathematics / euler : Mathematical programming environment

sci-mathematics / factmsieve : Convenient factorization helper script using msieve and ggnfs

sci-mathematics / fann : Fast Artificial Neural Network Library

sci-mathematics / flint : Fast Library for Number Theory

sci-mathematics / form : Symbolic Manipulation System

sci-mathematics / fricas : FriCAS is a fork of Axiom computer algebra system

sci-mathematics / frobby : Software system and project for computations with monomial ideals

sci-mathematics / genius : Genius Mathematics Tool and the GEL Language

sci-mathematics / geogebra : Mathematics software for geometry

sci-mathematics / geomview : Interactive Geometry Viewer

sci-mathematics / gfan : computes Groebner fans and tropical varities

sci-mathematics / ggnfs : A suite of algorithms to help factoring large integers

sci-mathematics / gimps : The Great Internet Mersenne Prime Search

sci-mathematics / ginac : C++ library and tools for symbolic calculations

sci-mathematics / glpk : GNU Linear Programming Kit

sci-mathematics / gmm : Generic C++ template library for sparse, dense and skyline matrices

sci-mathematics / gmp-ecm : Elliptic Curve Method for Integer Factorization

sci-mathematics / gretl : Regression, econometrics and time-series library

sci-mathematics / gsl-shell : Lua interactive shell for sci-libs/gsl

sci-mathematics / gwnum : George Woltman's GWNUM library

sci-mathematics / isabelle : Isabelle is a generic proof assistant

sci-mathematics / jags : Just Another Gibbs Sampler for Bayesian MCMC simulation

sci-mathematics / kodkod : a constraint solver for relational logic

sci-mathematics / kodkodi : A text front-end for the Kodkod Java library

sci-mathematics / lpsolve : Mixed Integer Linear Programming (MILP) solver

sci-mathematics / lybniz : A function plotter program written in PyGTK

sci-mathematics / mathmod : Plot parametric and implicit surfaces

sci-mathematics / mathomatic : Automatic algebraic manipulator

sci-mathematics / maxima : Free computer algebra environment based on Macsyma

sci-mathematics / minisat : Small yet efficient SAT solver with reference paper

sci-mathematics / mlpy : High-performance Python library for predictive modeling

sci-mathematics / msieve : A C library implementing a suite of algorithms to factor large integers

sci-mathematics / nauty : Computing automorphism groups of graphs and digraphs

sci-mathematics / nestedsums : A GiNaC-based library for symbolic expansion of certain transcendental functions

sci-mathematics / normaliz : Tool for computations in affine monoids and more

sci-mathematics / num-utils : A set of programs for dealing with numbers from the command line

sci-mathematics / nusmv : NuSMV: new symbolic model checker

sci-mathematics / octave : High-level interactive language for numerical computations

sci-mathematics / octave-epstk : Graphical output functions for Matlab and Octave

sci-mathematics / otter : An Automated Deduction System

sci-mathematics / p9m4 : This is a Graphical User Interface for Prover9 and Mace4

sci-mathematics / pari : Computer-aided number theory C library and tools

sci-mathematics / pari-data : Data sets for pari

sci-mathematics / polymake : research tool for polyhedral geometry and combinatorics

sci-mathematics / prng : Pseudo-Random Number Generator library

sci-mathematics / prover9 : Automated theorem prover for first-order and equational logic

sci-mathematics / pspp : Program for statistical analysis of sampled data

sci-mathematics / pymc : Markov Chain Monte Carlo sampling toolkit

sci-mathematics / pymc3 : Bayesian Modeling and Probabilistic Machine Learning in Python

sci-mathematics / qtoctave : Qt4 front-end for Octave

sci-mathematics / reduce : A general-purpose computer algebra system

sci-mathematics / relational : Educational tool for relational algebra

sci-mathematics / rkward : IDE for the R-project

sci-mathematics / rngstreams : Multiple independent streams of pseudo-random numbers

sci-mathematics / rstudio : IDE for the R language

sci-mathematics / rw : Compute rank-width decompositions of graphs

sci-mathematics / sha1-polyml : implementation of SHA1 is taken from the GNU coreutils package

sci-mathematics / singular : Computer algebra system for polynomial computations

sci-mathematics / snns : Stuttgart Neural Network Simulator

sci-mathematics / spass : An Automated Theorem Prover for First-Order Logic with Equality

sci-mathematics / spin : Tool for formal verification of distributed software systems

sci-mathematics / topcom : Computing Triangulations Of Point Configurations and Oriented Matroids

sci-mathematics / twelf : Implementation of the logical framework LF

sci-mathematics / unuran : Universal Non-Uniform Random number generator

sci-mathematics / wxmaxima : Graphical frontend to Maxima, using the wxWidgets toolkit

sci-mathematics / xmds : XMDS - The eXtensible Multi-Dimensional Simulator

sci-mathematics / yacas : General purpose computer algebra system

sci-mathematics / yafu : Yet another factoring utility

sci-mathematics / z3 : An efficient theorem prover