Precision Trigonometry: Advanced Calculator for Complex Math
Open Source and data mining software
Numerical models for chemical and process engineering
Computer calculations made easy
Bit level lambda continuations and nothing else - Queue automata
JBernstein: Exploration techniques for non-linear constraint checking
proof verifier for mathematical proofs and documentation generator
Java Api to manipulate simple on data of Matrix Type
Calculates NPA PPA of a human gait based on input of data
Lapack/quadprog QP for VBA/.Net/Java