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

simple mathematics statistics from the command line interface

simple tools for data analysis (stda)

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

Parallel/Multiprocessor Standalone Ray Tracer - with OpenGL display

full-screen tape editor that lets the user edit a calculation

Quality Tetrahedral Mesh Generator

skin editor for TiEmu

Texas Instruments hand-helds <-> PC communication program for X

Triangulations Of Point Configurations and Oriented Matroids

Triangulations Of Point Configs and Oriented Matroids (examples)

realtime plotting utility for text mode consoles and terminals

Taiwan invoice reverse calculator

visualizer for intervals and boxes

header-only C++ template library for b-spline processing

Flexible command-line scientific calculator

Software verification platform

HTML Documentation of the why3 verification platform

PDF Documentation of the why3 verification platform

Examples for the why3 verification platform

GUI for the computer algebra system Maxima

Lossy compression and denoising