Cross platform Mathematical expression solver
A portable C++ library for Compressed Sensing
Multiple Precision Arithmetic in C.
Highly efficient implementation of BLAS for sparse block matrices.
The LaTeX Equation Editor
DSOL: A Distributed Simulation Object Library implemented in Java
Computes Gauss-Legendre quadrature nodes and weights
an interactive 3D viewing program
A Turing Machine Simulator
Komplexe Funktionen Plotter
proof verifier for mathematical proofs and documentation generator
A science API for Java
Software for data analysis, image processing, simulations, solver.
Incan Abacus Emulator