Open Source Mathematical Software - documentation (Japanese)
Open Source Mathematical Software - documentation (Portuguese)
Open Source Mathematical Software - documentation (Russian)
Open Source Mathematical Software - documentation (Turkish)
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)
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
program for creating and studying hyperbolic 3-manifolds
Social Network Analysis and Visualisation application
library for safe floating-point code development -- tool
High precision calculator
Exact real calculator
Akima spline interpolation
simple tools for data analysis (stda)
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
a full-screen tape editor that lets the user edit a calculation
Quality Tetrahedral Mesh Generator
Texas Instruments calculators emulator (without GDB)
skin editor for TiEmu
GTK+ TI Z80 calculator emulator
GTK+ TI Z80 calculator emulator (data files)
Texas Instruments hand-helds <-> PC communication program for X
Taiwan invoice reverse calculator
header-only C++ template library for uniform b-spline processing
Flexible command-line scientific calculator
Software verification platform
Coq support for the why3 verification platform
HTML Documentation of the why3 verification platform
PDF Documentation of the why3 verification platform
Examples for the why3 verification platform