Solve (mixed integer) linear programming problems

programs for calculating Littlewood-Richardson coefficients

package to enumerate vertices and extreme rays of a convex polyhedron

mathematical function graph plotter

3D fractal renderer and animator

3D fractal renderer and animator - data files

reachability analyzer for Algebraic System Nets

MATE desktop calculator

MATE desktop calculator (common files)

Compute Groebner bases (command line tool)

portable Computer Algebra System (CAS)

prime number tools for mathomatic

Java Computer Algebra System

MATLAB MAT File I/O Library - command-line tools

converter of Octave plots to TikZ figures (for integration into LaTeX)

Computer algebra system -- base system

Computer algebra system -- emacs interface

Computer algebra system -- extra code

Computer algebra system -- source code

Computer algebra system -- test suite

Markov Cluster algorithm

Language for mathematical proofs

Sample databases for Metamath

Serial Graph Partitioning and Fill-reducing Matrix Ordering. Binaries

simple tool for statistical comparison of data sets

Proof assistant based on first order natural deduction calculus

graph partitioning tool that can quickly compute edge cuts (executable)

package to enumerate vertices and extreme rays of a convex polyhedron (parallel binary)

Example/test binaries using MUMPS

library for graph automorphisms -- interface and tools

Automatic 3d tetrahedral mesh generator

math computing tools for affine monoids, rational polytopes and cones

math computing tools for affine monoids, rational polytopes and cones - bin

programs for dealing with numbers from the command line

GNU Octave language for numerical computations

Octave Arduino Toolkit

MIDI functions for Octave

PDE solver using a finite element/volume approach in Octave

biospeckle laser tool library for Octave

Common Gateway Interface for Octave

architecture-independent files for octave

communications package for Octave

communications package for Octave (arch-indep files)

computer-aided control system design (CACSD) for Octave

interface to SQL databases in Octave

manipulate data in Octave similar to R data.frame

functions to do data smoothing on noisy data

manipulate DICOM files in Octave