A Free Mathematical and Computational Software Directory

*NIX distribution 3D FFT LaTeX / TeX ODE PDE Z notation algebra algebraic analysis algebraic geometry algebraic number theory analysis arbitrary precision arithmetic automated theorem proving braids calculator clustering combinatorics commutative algebra computational geometry computer algebra system cryptography data visualization database development tool differential algebra differential geometry digital signal processing discrete mathematics document preparation system editor education euclidean geometry evolutionary computing field theory finite element method fractals functional programming geometry graph theory graphics group theory harmonic analysis higher-order logic interval arithmetic knot theory library linear algebra linear programming logic logic programming number theory numerical methods optimization parallel computing parser physics plotting primality tests programming languages representation theory sequences special functions statistics tensor analysis text topology wavelets

Packages A–Z

A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

ADMesh

Program for processing triangulated solid meshes

Tags: geometry, computational geometry, finite element method.

Homepage: http://www.varlog.com/index.html

ADW-Charting

Simple chart drawing with Common Lisp

Tags: library, data visualization, plotting, graphics.

Homepage: http://common-lisp.net/project/adw-charting/

ALP

A C++ class library for scientific computing devoted to linear and polynomial algebra

Tags: algebra, linear algebra, library.

Homepage: http://www-sop.inria.fr/saga/Bernard.Mourrain/ALP/

Apfloat

A high performance arbitrary precision arithmetic package

Tags: arithmetic, arbitrary precision, library.

Homepage: http://apfloat.org/

Apophenia

Statistical library written in C

Tags: statistics, library.

Homepage: http://apophenia.sourceforge.net/

Aribas

Interactive interpreter with functions for algorithmic number theory

Tags: number theory.

Homepage: http://www.mathematik.uni-muenchen.de/~forster/sw/aribas.html

Armadillo

Fast C++ matrix library with interfaces to LAPACK and ATLAS

Tags: library, algebra, linear algebra.

Homepage: http://arma.sourceforge.net/

Asir

An open source general computer algebra system

Tags: algebra, computer algebra system.

Homepage: http://www.math.kobe-u.ac.jp/Asir/

ATLAS

Automatically tuned linear algebra software

Tags: library, algebra, linear algebra.

Homepage: http://math-atlas.sourceforge.net/

AutoClass

Automatic classification of data

Tags: statistics.

Homepage: http://ic-www.arc.nasa.gov/ic/projects/bayes-group/autoclass/

Axiom

General purpose computer algebra system

Tags: algebra, computer algebra system.

Homepage: http://www.axiom-developer.org/

Bc

Arbitrary precision numeric processing language

Tags: arithmetic, arbitrary precision.

Homepage: http://www.gnu.org/software/bc/

Bergman

A Gröbner basis calculator

Tags: algebra, computer algebra system, library.

Homepage: http://servus.math.su.se/bergman/

BGL

Boost Graph Library

Tags: discrete mathematics, graph theory, library.

Homepage: http://www.boost.org/doc/libs

Blitz++

A C++ class library for scientific computing

Tags: algebra, linear algebra, library.

Homepage: http://www.oonumerics.org/blitz/

blitzwave

A C++ wavelet mini-library

Tags: numerical methods, wavelets, library.

Homepage: http://blitzwave.sourceforge.net/

Boolean

A general boolean algebra class and some instances for Haskell

Tags: library, algebra, discrete mathematics, logic.

Homepage: http://repetae.net/recent/out/Boolean.html

Cadabra

A computer algebra system designed for the solution of the field theory problems

Tags: algebra, computer algebra system, physics.

Homepage: http://www.aei.mpg.de/~peekas/cadabra/

Calc

C-style arbitrary precision arithmetic system

Tags: arithmetic, arbitrary precision, calculator, number theory, algebra, linear algebra.

Homepage: http://www.isthe.com/chongo/tech/comp/calc/

CBraid

A C++ library for computations in braid groups

Tags: topology, knot theory, braids, library.

Homepage: http://knot.kaist.ac.kr/~jccha/cbraid/

CCVisu

Tool for general force-directed graph layout and co-change visualization

Tags: discrete mathematics, graph theory.

Homepage: http://www.cs.sfu.ca/~dbeyer/CCVisu/

CGAL

Computational Geometry Algorithms Library

Tags: geometry, computational geometry, library.

Homepage: http://www.cgal.org/

Ciao

A Prolog development system

Tags: logic, logic programming.

Homepage: http://clip.dia.fi.upm.es/Software/Ciao/

CirclePack

Creation, manipulation, analysis, and display of circle packings

Tags: geometry, computational geometry.

Homepage: http://www.math.utk.edu/%7Ekens/CirclePack

CLN

Class Library for Numbers

Tags: arbitrary precision, library.

Homepage: http://www.ginac.de/CLN/

Clusutils

Data clustering utilities

Tags: statistics, clustering, library.

Homepage: http://clusutils.sourceforge.net/

CoCoA

Computations in commutative algebra

Tags: algebra, commutative algebra, computer algebra system.

Homepage: http://cocoa.dima.unige.it/

com.perisic.ring

A Java package for multivariate polynomials over rings

Tags: algebra, library.

Homepage: http://ring.perisic.com/

Coq

Formal proof management system

Tags: logic, automated theorem proving.

Homepage: http://coq.inria.fr/

CrocoPat

Tool for relational querying

Tags: discrete mathematics, database, statistics.

Homepage: http://mtc.epfl.ch/~beyer/CrocoPat/

CwMtx

Library for matrix and vector operations in engineering and science

Tags: algebra, linear algebra, number theory.

Homepage: http://www.xs4all.nl/~hkuiper/cwmtx/cwmtx.html

Dap

Statistics and graphics package

Tags: statistics, data visualization, plotting.

Homepage: http://www.gnu.org/software/dap/

DataCaptureTool

TCl/Tk package for getting data out of scientific plots

Tags: statistics, data visualization, plotting.

Homepage: http://people.rit.edu/ssm8867/data/datacapture.htm

deal.II

Finite element differential equations analysis library

Tags: geometry, computational geometry, finite element method.

Homepage: http://www.dealii.org/

DELORES

A forward-chaining reasoning engine for defeasible logic

Tags: logic.

Homepage: http://en.nothingisreal.com/wiki/DELORES

DESSolver

Ordinary differential equation system solver

Tags: analysis, ODE, numerical methods.

Homepage: http://www.jens-langner.de/dessolver/

DISCRETA

A program to construct t-designs with prescribed automorphism group

Tags: discrete mathematics, combinatorics.

Homepage: http://www.mathe2.uni-bayreuth.de/discreta/

DoCon

The Algebraic Domain Constructor

Tags: algebra, library, commutative algebra, linear algebra.

Homepage: http://haskell.org/docon/

Dr. Geo

Interactive geometry

Tags: geometry, education.

Homepage: http://www.ofset.org/drgeo

E

Automated theorem prover

Tags: logic, automated theorem proving.

Homepage: http://www4.informatik.tu-muenchen.de/~schulz/WORK/eprover.html

EIS Seeker

The library for scanning the Online Encyclopedia of Integer Sequences

Tags: number theory, sequences.

Homepage: http://eisseeker.sourceforge.net/

Elca

Real-time calculator

Tags: calculator.

Homepage: http://physics.muni.cz/~polcar/elca/

EO

Evolutionary Computation Framework

Tags: evolutionary computing, numerical methods, library.

Homepage: http://eodev.sourceforge.net/

Eukleides

Euclidean geometry drawing language

Tags: geometry, euclidean geometry, document preparation system, LaTeX / TeX.

Homepage: http://www.eukleides.org/

Euler

Program for quickly and interactively computing with real and complex numbers and matrices

Tags: arithmetic, algebra, linear algebra.

Homepage: http://euler.sourceforge.net/

FElt

A system for finite element analysis

Tags: geometry, computational geometry, finite element method.

Homepage: http://felt.sourceforge.net/

FEMLISP

A Common Lisp framework for finite element methods

Tags: finite element method, PDE.

Homepage: http://femlisp.org/

FFTW

A C subroutine library for computing the discrete Fourier transform

Tags: analysis, FFT, library.

Homepage: http://fftw.org/

FreeMat

Environment for rapid engineering and scientific prototyping and data processing

Tags: development tool, library, arithmetic, algebra, linear algebra, data visualization.

Homepage: http://freemat.sourceforge.net/

FriCAS

An advanced computer algebra system

Tags: algebra, computer algebra system, analysis.

Homepage: http://fricas.sourceforge.net/

FTensor

A high performance tensor library in C++

Tags: analysis, differential geometry, tensor analysis, library.

Homepage: http://www.oonumerics.org/FTensor/

GAlib

A C++ Library of Genetic Algorithm Components

Tags: evolutionary computing, library.

Homepage: http://lancet.mit.edu/ga/

Galois

Field arithmetic library

Tags: algebra, field theory, library.

Homepage: http://partow.net/projects/galois/

GAP

A system for computational discrete algebra

Tags: algebra, group theory, discrete mathematics, combinatorics.

Homepage: http://www.gap-system.org/

Gato

The Graph Animation Toolbox

Tags: discrete mathematics, graph theory.

Homepage: http://gato.sourceforge.net/

Genius

Arbitrary precision integer and multiple precision floating point calculator

Tags: arithmetic, arbitrary precision, calculator, number theory, algebra, linear algebra.

Homepage: http://www.jirka.org/genius.html

Geomview

An interactive 3D viewing program for *NIX

Tags: geometry, 3D.

Homepage: http://www.geomview.org/

GetDP

Finite element solver

Tags: geometry, computational geometry, finite element method.

Homepage: http://geuz.org/getdp/

GGobi

A visualization program for high-dimensional data

Tags: statistics, data visualization.

Homepage: http://www.ggobi.org/

GHC

The Glasgow Haskell Compiler

Tags: functional programming, programming languages.

Homepage: http://haskell.org/ghc/

Giac

Computer algebra system

Tags: algebra, computer algebra system.

Homepage: http://www-fourier.ujf-grenoble.fr/~parisse/giac.html

GiANT

Graphical Algebraic Number Theory

Tags: algebra, number theory, algebraic number theory.

Homepage: http://giantsystem.sourceforge.net/

GIMPS

Free Mersenne Research Software

Tags: number theory, primality tests.

Homepage: http://mersenne.org/freesoft.htm

GiNaC

GiNaC is Not a CAS

Tags: algebra, computer algebra system, library.

Homepage: http://www.ginac.de/

GLPK

GNU Linear Programming Kit

Tags: linear programming.

Homepage: http://www.gnu.org/software/glpk/glpk.html

GLUCAS

A program to test primality of Mersenne numbers

Tags: number theory, primality tests, FFT.

Homepage: http://oxixares.com/glucas/

GluCat

Generic library of universal Clifford algebra templates

Tags: algebra, library.

Homepage: http://glucat.sourceforge.net/

GMP

The GNU MP Bignum Library

Tags: arbitrary precision, number theory, library.

Homepage: http://gmplib.org/

Gmsh

3D finite element mesh generator with built-in CAD and post-processing facilities

Tags: geometry, computational geometry, finite element method, data visualization.

Homepage: http://geuz.org/gmsh/

GNU libmatheval

Library for evaluating mathematical expressions

Tags: parser.

Homepage: http://www.gnu.org/software/libmatheval/

GNU Math

Unfinished software to simplify programming for scientific applications

Tags: algebra, linear algebra, numerical methods, data visualization, plotting.

Homepage: http://www.delorie.com/gnu/docs/gnussl/

gNumExp

GUI frontend to to the NumExp language

Tags: programming languages, data visualization, plotting.

Homepage: http://numexp.sourceforge.net/

Gnuplot

A portable command-line driven interactive data and function plotting utility

Tags: data visualization, plotting.

Homepage: http://www.gnuplot.info/

Gnuplot-mode for Emacs

Tags: graphics, plotting.

Homepage: http://cars9.uchicago.edu/~ravel/software/gnuplot-mode.html

GOBLIN

A Graph library

Tags: discrete mathematics, graph theory, library.

Homepage: http://goblin2.sourceforge.net/

GraphThing

Tool for creating, manipulating, and studying graphs

Tags: discrete mathematics, graph theory.

Homepage: http://graph.seul.org/

Graphviz

Graph visualization software

Tags: discrete mathematics, graph theory.

Homepage: http://graphviz.org/

GSL

Numerical library for C and C++ programmers

Tags: numerical methods.

Homepage: http://www.gnu.org/software/gsl/

GTybalt

Computer algebra system

Tags: algebra, computer algebra system.

Homepage: http://wwwthep.physik.uni-mainz.de/~stefanw/gtybalt/

Harminv

Extracts frequencies and decay rates from a time series

Tags: harmonic analysis, digital signal processing.

Homepage: http://ab-initio.mit.edu/harminv/

hmatrix

A simple scientific library for Haskell

Tags: library, algebra, linear algebra.

Homepage: http://www.hmatrix.googlepages.com/

HPAlib

Quad or higher precision computations

Tags: arithmetic, arbitrary precision.

Homepage: http://www.nongnu.org/hpalib/

Hugs 98

A functional programming system based on Haskell 98

Tags: functional programming, programming languages.

Homepage: http://haskell.org/hugs/

Interpcom

Command interpreter library for building scientific applications

Tags: development tool, programming languages.

Homepage: http://www.math.jussieu.fr/~drezet/

IT++

C++ library of mathematical, signal processing, speech processing, and communications classes and functions

Tags: digital signal processing.

Homepage: http://itpp.sourceforge.net/

Jacal

Interactive symbolic mathematics program

Tags: algebra, computer algebra system.

Homepage: http://swissnet.ai.mit.edu/~jaffer/JACAL.html

JAMA

A Java Matrix Package

Tags: algebra, linear algebra, library.

Homepage: http://math.nist.gov/javanumerics/jama/

JAS

Java Algebra System

Tags: algebra, computer algebra system, library.

Homepage: http://krum.rz.uni-mannheim.de/jas/

JGraphT

A free Java graph library

Tags: discrete mathematics, graph theory, library.

Homepage: http://jgrapht.sourceforge.net/

JMathLib

Clone of Octave / Scilab / MatLab written in Java

Tags: algebra, computer algebra system.

Homepage: http://mathlib.sourceforge.net/

JSci

A science API for Java

Tags: algebra, linear algebra, wavelets, statistics, library.

Homepage: http://jsci.sourceforge.net/

jscl-meditor

Java symbolic computing library and mathematical editor

Tags: algebra, computer algebra system, library.

Homepage: http://jscl-meditor.sourceforge.net/

JTEM

Java Tools for Experimental Mathematics

Tags: algebra, linear algebra, library, analysis, ODE, special functions, numerical methods.

Homepage: http://www.math.tu-berlin.de/jtem/

Kan/sm1

A system for computing in the ring of differential operators D

Tags: algebra, analysis, differential algebra, algebraic analysis.

Homepage: http://www.math.kobe-u.ac.jp/KAN/

KANT / KASH

Computational Algebraic Number Theory / KAnt SHell

Tags: algebra, number theory, algebraic number theory.

Homepage: http://www.math.tu-berlin.de/~kant/kash.html

KFEM

KDE FEM

Tags: geometry, finite element method.

Homepage: http://kfem.sourceforge.net/

Kiss FFT

Simple FFT library

Tags: harmonic analysis, FFT.

Homepage: http://sourceforge.net/projects/kissfft/

Kmplot

Mathematical function plotter

Tags: data visualization, plotting.

Homepage: http://edu.kde.org/kmplot/

Knoppix Math

A Linux distribution for mathematicians

Tags: *NIX distribution.

Homepage: http://knoppix-math.org/

KNOT

A tool for knot theory

Tags: topology, knot theory.

Homepage: http://www.math.kobe-u.ac.jp/~kodama/knot.html

KSEG

Euclidean geometry simulator

Tags: geometry, euclidean geometry.

Homepage: http://www.mit.edu/~ibaran/kseg.html

L2P

Creates PNG images of mathematical expressions formatted in LaTeX

Tags: document preparation system, LaTeX / TeX.

Homepage: http://redsymbol.net/software/l2p/

LAPACK

Linear Algebra PACKage

Tags: algebra, linear algebra, library.

Homepage: http://netlib.org/lapack/

LAPACK++

Linear Algebra PACKage in C++

Tags: algebra, linear algebra, library.

Homepage: http://math.nist.gov/lapack++/

LiDIA

A C++ Library For Computational Number Theory

Tags: arithmetic, arbitrary precision, number theory, library.

Homepage: http://www.cdc.informatik.tu-darmstadt.de/TI/LiDIA/

lp_solve

Mixed integer linear programming solver

Tags: linear programming.

Homepage: http://lpsolve.sourceforge.net/

MacAnova

A Program for Statistical Analysis and Matrix Algebra

Tags: algebra, statistics, linear algebra.

Homepage: http://www.stat.umn.edu/macanova/

Macaulay 2

Software for algebraic geometry research

Tags: algebra, algebraic geometry, commutative algebra.

Homepage: http://www.math.uiuc.edu/Macaulay2/

Mantissa

Algorithms for dynamics simulation and 3D geometry computation

Tags: algebra, linear algebra, numerical methods, library.

Homepage: http://www.spaceroots.org/software/mantissa/

Math::MatrixReal

The “matrix of real numbers” data type for Perl

Tags: algebra, linear algebra.

Homepage: http://search.cpan.org/search?query=Math%3A%3AMatrixReal&mode=module

Math::Pari

A Perl interface to PARI

Tags: number theory, library.

Homepage: http://search.cpan.org/search?query=Math%3A%3APari

Mathomatic

General purpose symbolic math program

Tags: algebra, computer algebra system.

Homepage: http://www.mathomatic.com/math/

MathStudio

Equation editor and math engine

Tags: editor.

Homepage: http://mathstudio.sourceforge.net/

Maxima

Computer algebra system

Tags: algebra, computer algebra system.

Homepage: http://maxima.sourceforge.net/

MCL

Markov Cluster Algorithm for graphs

Tags: discrete mathematics, graph theory, statistics.

Homepage: http://micans.org/mcl/

mcsim

Simulation software for designing, analyzing and calibrating mathematical models

Tags: algebra, analysis, statistics.

Homepage: http://fredomatic.free.fr/

MESH

Measures distortion between two discrete surfaces (triangular meshes)

Tags: geometry, computational geometry, finite element method.

Homepage: http://mesh.berlios.de/

MET

A C++ matrix class library

Tags: algebra, linear algebra, library.

Homepage: http://sourceforge.net/projects/met/

MPCA

Data analysis software intended for large data sets

Tags: statistics.

Homepage: http://www.componentanalysis.org/

MPFI

Library for arbitrary precision interval arithmetic

Tags: arithmetic, arbitrary precision, interval arithmetic, numerical methods.

Homepage: http://perso.ens-lyon.fr/nathalie.revol/software.html

MPFR

A C library for multiple-precision floating-point computations with correct rounding

Tags: analysis, arbitrary precision, special functions, library.

Homepage: http://mpfr.org/

MTL

The Matrix Template Library

Tags: algebra, linear algebra, library.

Homepage: http://osl.iu.edu/research/mtl/

MUNTL

Multiprecision unsigned number template library

Tags: arithmetic, arbitrary precision.

Homepage: https://sourceforge.net/projects/muntl/

nhc98

A small, easy to install, standards-compliant compiler for Haskell 98

Tags: functional programming, programming languages.

Homepage: http://haskell.org/nhc98/

NTL

A Library for doing Number Theory

Tags: number theory, library.

Homepage: http://shoup.net/ntl/

Numdiff

Numeric diff

Tags: text.

Homepage: http://www.nongnu.org/numdiff

NZMATH

A Python based number theory oriented calculation system

Tags: number theory.

Homepage: http://tnt.math.metro-u.ac.jp/nzmath/

Octave

High-level language for numerical computations

Tags: algebra, linear algebra, numerical methods.

Homepage: http://www.octave.org/

OOFEM

Object oriented finite element code

Tags: geometry, computational geometry, finite element method.

Homepage: http://oofem.org/

OpenAxiom

The open scientific computation platform

Tags: algebra, computer algebra system.

Homepage: http://open-axiom.org/

OpenXM

Open message eXchange for Mathematics

Tags: algebra, computer algebra system, analysis, differential algebra, algebraic analysis.

Homepage: http://www.math.kobe-u.ac.jp/OpenXM/

PARI/GP

CAS for fast computations in number theory

Tags: algebra, computer algebra system, number theory.

Homepage: http://pari.math.u-bordeaux.fr/

pdc

Desktop calculator designed for programmers

Tags: calculator.

Homepage: http://www.redfelineninja.dsl.pipex.com/software/pdc.html

PDL

The Perl Data Language

Tags: numerical methods, algebra, linear algebra, library.

Homepage: http://pdl.perl.org/

PETSc

Portable, Extensible Toolkit for Scientific Computation

Tags: algebra, linear algebra, analysis, PDE, parallel computing, library.

Homepage: http://www-unix.mcs.anl.gov/petsc/petsc-as/

PlotDrop

A minimal GNOME frontend to Gnuplot

Tags: data visualization, plotting.

Homepage: http://icculus.org/~jcspray/plotdrop/

Ploticus

Plotting / data display package

Tags: data visualization, plotting.

Homepage: http://ploticus.sourceforge.net/

Plotutils

Plotting and graphics utilities

Tags: data visualization, plotting.

Homepage: http://www.gnu.org/software/plotutils/plotutils.html

PLplot

Scientific Plotting Library

Tags: data visualization, plotting.

Homepage: http://plplot.sourceforge.net/

PPL

The Parma Polyhedra Library

Tags: topology, library.

Homepage: http://www.cs.unipr.it/ppl/

ProofGeneral

Emacs-based frontend to a variety of theorem provers

Tags: automated theorem proving.

Homepage: http://proofgeneral.inf.ed.ac.uk/devel

ProofPower

A suite of tools supporting specification and proof in Higher Order Logic and in the Z notation

Tags: logic, Z notation, higher-order logic, automated theorem proving.

Homepage: http://lemma-one.com/ProofPower/

PSPP

Statistics package

Tags: statistics.

Homepage: http://www.gnu.org/software/pspp/pspp.html

PVS

Specification and Verification System

Tags: logic, automated theorem proving.

Homepage: http://pvs.csl.sri.com/

PyGSL

Python interface for GNU Scientific Library

Tags: numerical methods.

Homepage: http://pygsl.sourceforge.net/

Q-Graph

Q add-on library to deal with combinatorial graphs

Tags: discrete mathematics, combinatorics, graph theory, library.

Homepage: http://q-lang.sourceforge.net/addons.html

Qhull

Code for convex hull, Delaunay triangulation, Voronoi diagram, and halfspace intersection about a point

Tags: geometry, finite element method.

Homepage: http://www.qhull.org/

R

The project for statistical computing

Tags: statistics, data visualization.

Homepage: http://www.r-project.org/

ReferenceFinder

Finds sequence to locate a point in a square

Tags: geometry.

Homepage: http://origami.kvi.nl/programs/reffind2/

RKCheck

Checks the order of Runge-Kutta methods

Tags: analysis, numerical methods.

Homepage: http://www.spaceroots.org/software/rkcheck/

ROOT

Data analysis package developed at CERN

Tags: statistics.

Homepage: http://root.cern.ch/

SAGE

Framework for number theory, algebra, and geometry computation

Tags: algebra, group theory, computer algebra system, analysis, number theory, cryptography, arithmetic, arbitrary precision, discrete mathematics, combinatorics.

Homepage: http://www.sagemath.org/

SalStat

Rapid statistical analysis of scientific data

Tags: statistics.

Homepage: http://salstat.sourceforge.net/

SciGraphica

Data analysis and technical graphics

Tags: statistics, data visualization, plotting.

Homepage: http://scigraphica.sourceforge.net/

SCL

Star complement library

Tags: discrete mathematics, graph theory.

Homepage: http://www.matf.bg.ac.yu/%7ezstanic/scl.htm

Seldon

A C++ library for linear algebra

Tags: algebra, linear algebra, library.

Homepage: http://seldon.sourceforge.net/

slib

Portable Scheme library

Tags: functional programming, programming languages.

Homepage: http://www.swiss.ai.mit.edu/~jaffer/SLIB

SML/NJ

Standard ML of New Jersey, a compiler for the Standard ML ’97

Tags: functional programming, programming languages.

Homepage: http://smlnj.org/

Snap

A computer program for studying arithmetic invariants of hyperbolic 3-manifolds

Tags: topology.

Homepage: http://snap-pari.sourceforge.net/

SODE

Solves systems of ordinary differential equations

Tags: analysis, numerical methods.

Homepage: http://sode.sourceforge.net/

StarFLIP++

A reusable iterative optimization library for combinatorial problems with fuzzy constraints

Tags: discrete mathematics, combinatorics, optimization, library.

Homepage: http://www.dbai.tuwien.ac.at/proj/StarFLIP/

Statist

Small and portable statistics program

Tags: statistics.

Homepage: http://wald.intevation.org/projects/statist/

StatistX

Graphical user interface for Statist

Tags: statistics.

Homepage: http://www.usf.uni-osnabrueck.de/projects/StatistX/

surf

A tool to visualize algebraic curves and algebraic surfaces

Tags: algebra, geometry, algebraic geometry, plotting.

Homepage: http://surf.sourceforge.net/

SWI-Prolog

A comprehensive Free Software Prolog environment

Tags: logic, logic programming.

Homepage: http://www.swi-prolog.org/

Symaxx

A graphical frontend for the Maxima computer algebra system

Tags: algebra, computer algebra system.

Homepage: http://symaxx.sourceforge.net/

SymbolicC++

A computer algebra system in C++

Tags: algebra, computer algebra system, library.

Homepage: http://issc.uj.ac.za/symbolic/symbolic.html

Symmetrica

an object oriented computer algebra system for representations, combinatorics and applications of symmetric groups

Tags: algebra, computer algebra system, discrete mathematics, combinatorics, group theory, representation theory.

Homepage: http://www.mathe2.uni-bayreuth.de/axel/symneu_engl.html

SymPy

Python library for symbolic mathematics

Tags: algebra, computer algebra system, analysis, library.

Homepage: http://code.google.com/p/sympy/

TBCI

Template C++ library providing classes for vectors, matrices, etc., and for defining operations on them

Tags: library, algebra, linear algebra.

Homepage: http://plasimo.phys.tue.nl/TBCI/

TeLa

The Tensor Language

Tags: analysis, differential geometry, tensor analysis.

Homepage: http://www.ava.fmi.fi/prog/tela.html

TNT

Interfaces and reference implementations of numerical objects for scientific computing in C++

Tags: numerical methods, algebra, linear algebra, library.

Homepage: http://math.nist.gov/tnt/

TOCHNOG

Finite element analysis program

Tags: geometry, computational geometry, finite element method.

Homepage: http://tochnog.sourceforge.net/

TreeMaker

A program to desgin origami bases

Tags: geometry.

Homepage: http://www.langorigami.com/science/treemaker/

TVMET

Tiny Vector Matrix library using Expression Templates

Tags: algebra, linear algebra, library.

Homepage: http://tvmet.sourceforge.net/

uBLAS

A C++ template class library with BLAS level 1, 2, 3 functionality

Tags: algebra, linear algebra, library.

Homepage: http://www.boost.org/doc/libs

UMFPACK

Routines for solving unsymmetric sparse linear systems

Tags: algebra, linear algebra.

Homepage: http://www.cise.ufl.edu/research/sparse/umfpack/

Unit Circle

Showing the relationship between angles and trigonometric functions

Tags: education, analysis.

Homepage: http://www.coyotegulch.com/products/unit_circle/

Vilno

Data transformation, prepare data for analysis, use for statistics, reporting or ETL

Tags: statistics.

Homepage: http://code.google.com/p/vilno

Waveform

Function graph drawing / rendering application for use with audio applications

Tags: digital signal processing, data visualization, plotting.

Homepage: http://sourceforge.net/projects/waveform/

X-Bc

A Graphical User Interface to Bc

Tags: arithmetic, arbitrary precision, calculator.

Homepage: http://x-bc.sourceforge.net/

XaoS

An interactive fractal zoomer

Tags: fractals, graphics.

Homepage: http://wmi.math.u-szeged.hu/xaos/

XMDS

Extensible multi-dimensional simulator

Tags: physics, ODE, PDE.

Homepage: http://xmds.sourceforge.net/

Yorick

Language for scientific computing

Tags: algebra, computer algebra system.

Homepage: http://yorick-mb.sourceforge.net/

ZEN

A toolbox for fast computation in finite extension over finite rings

Tags: number theory, library.

Homepage: http://zenfact.sourceforge.net/

Zimpl

Translate the mathematical model of a problem into a linear or (mixed-) integer mathematical program

Tags: development tool, library.

Homepage: http://zimpl.zib.de/