proof verifier for mathematical proofs and documentation generator
Hand Written Equation Creator
A simple programmable spreadsheet for learning statistics.
Octave Eclipse GUI
Interactive spherical geometry software.
Calculates NPA PPA of a human gait based on input of data
A simulation software for numerical techniques.
Lapack/quadprog QP for VBA/.Net/Java
combinational logic functions minimization
Este software obtém a determinante de uma matriz.
Lambda Calculus Interpreter for Android
Visualize Galois sub-hierarchy of 2d matrix
A fair attempt at the Keplerian tradition to explore the solar system
Zero Sum Game Solver Java Library