Calculator with fractions
[frozen] A library for computing cycles in graphs or in Java code.
Pequeno script em Python para provar o problema de Monty Hall
A portable C++ library for Compressed Sensing
Highly efficient implementation of BLAS for sparse block matrices.
Calculator that takes care of measurement units.
an interactive 3D viewing program
Computes Gauss-Legendre quadrature nodes and weights
A Turing Machine Simulator
proof verifier for mathematical proofs and documentation generator
Software for data analysis, image processing, simulations, solver.
Incan Abacus Emulator
User Friendly Data Analysis Tool for Interaction Data
Capacity exhaustion prediction from RRD files