Software system for algebraic geometry research (common files)

Jupyter kernel for Macaulay2

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 -- base system

Computer algebra system -- extra code

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

program to perform Lucas-Lehmer test on a Mersenne number

transitional dummy package for suitesparse-mongoose

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

computer algebra algorithms for solving polynomial systems

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

CLI for numbat, a programming language for scientific computations

programs for dealing with numbers from the command line

GNU Octave language for numerical computations

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

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