Educational tool for relational algebra (graphical user interface)

Educational tool for relational algebra (command line interface)

find algebraic equations, given their solution

Fast computation of persistent homology of flag complexes

KDE frontend to the R statistics language

KDE frontend to the R statistics language - data files

graph theory IDE

Small collection of Rubik's cube solvers

Open Source Mathematical Software

Database of Conway polynomials

Databases of elliptic curves over the rationals

Databases for elliptic curves

Databases of graphs

Databases of combinatorial designs

Databases of polytopes

Open Source Mathematical Software - documentation

Open Source Mathematical Software - Jupyter kernel

Text-based spreadsheet with VI-like keybindings

Scalable Linear Algebra Package - Test files for MPI

Scientific software package for numerical computations

Scientific software package - Command Line Interpreter

Scientific software package for numerical computations (data files)

Scientific software package for numerical computations (all binary files)

Scientific software package for numerical computations (include files)

Scientific software package for numerical computations (minimal binary files)

Scientific software package for numerical computations (test files)

Text-based spreadsheet calculator with VI-like keybindings

programs and libraries for graph, mesh and hypergraph partitioning

Semidefinite program solver

Computer Algebra System for Polynomial Computations

Computer Algebra System for Polynomial Computations -- shared data

Computer Algebra System for Polynomial Computations -- console user interface

Computer Algebra System for Polynomial Computations -- emacs user interface

Computer Algebra System for Polynomial Computations -- xterm user interface

Social Networks Analysis and Visualization software

library for safe floating-point code development -- tool

sequential object-oriented simplex solver

Exact real calculator

Akima spline interpolation

distributed approximate nearest neighborhood search (ANN)

simple mathematics statistics from the command line interface

simple tools for data analysis (stda)

library for stochastic optimization problems (programs examples)

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

visualization of real algebraic geometry

visualization of real algebraic geometry -- no X support

mathematical program for SYMmetric POWer elliptic curve L-functions -- program

mathematical program for SYMmetric POWer elliptic curve L-functions -- shared

Parallel/Multiprocessor Standalone Ray Tracer - metapackage

Parallel/Multiprocessor Standalone Ray Tracer - with no X support