Use simulation to perform statistical analyses.
Computation and Visualization environment
A Stata plugin for connecting Stata with other software
Calculator that takes care of measurement units.
proof verifier for mathematical proofs and documentation generator
jHepWork was a name of the DataMelt program in 2005-20013
Visualize Galois sub-hierarchy of 2d matrix