Computer algebra system -- extra code
Computer algebra system -- source code
Computer algebra system -- test suite
Markov Cluster algorithm
formal specification language toolset
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
program to perform Lucas-Lehmer test on a Mersenne number
graphical ODE simulator
graph partitioning tool that can quickly compute edge cuts (executable)
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
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
manipulate data in Octave similar to R data.frame
functions to do data smoothing on noisy data
manipulate DICOM files in Octave
n-dimensional interpolation for Octave
documentation tests for Octave
econometrics functions for Octave
financial package for Octave
manipulation of FITS files in Octave
plot data on unstructured triangular and tetrahedral meshes in Octave
fuzzy logic toolkit for Octave
genetic optimization code for Octave
provide extra general functions for Octave
geometric computing functions for Octave
GSL binding for Octave
image manipulation for Octave
image acquisition package for Octave
instrument control for Octave
real-valued interval arithmetic for Octave
input/output data functions for Octave
level-set toolbox for Octave
additional linear-algebra functions for Octave
least squares spectral analysis for Octave
Large Time/Frequency Analysis Toolbox