A cross-platform statistical package for econometric analysis
Uranie is CEA's uncertainty analysis platform, based on ROOT
Unicode XML TEI text analysis platform
This is a maths solving app and study guide for various levels..
Proof Logic : A logical framework for theorem proving
The new site is at http://psychometricon.net/libirt/
TI graphing calculators <-> computer communication software
Etchimaths(A'LEVEL) is a typical Mathematics software for A'LEVEL
Real-time interactive fractal zoomer
Software tools for applications of simulations by iterations.
Topographic calculations softwares
Polyhedron paper building